Search results

The harness generated for the toy example is not compilable

Status: Open.

#57 In sslab-gatech/winnie;

· symexec opened on Jan 2, 2024

Questions on the harness example

Status: Open.

#56 In sslab-gatech/winnie;

· symexec opened on Jan 2, 2024

"Invalid handle when map PE file" when try to execute anothe binary file

Status: Open.

#55 In sslab-gatech/winnie;

· Shehroz111 opened on Aug 10, 2023

NO new instrumentation output

Status: Open.

#53 In sslab-gatech/winnie;

· mineechor opened on Dec 16, 2022

Windows 11 Support

Status: Open.

#50 In sslab-gatech/winnie;

· stong opened on Nov 28, 2022

how to generate correct log file？

Status: Open.

#47 In sslab-gatech/winnie;

· mineechor opened on Nov 14, 2022

How to use harnessgen as described in the paper?

Status: Open.

#43 In sslab-gatech/winnie;

· RLee063 opened on Apr 17, 2022

What does sample_name mean?

Status: Open.

#40 In sslab-gatech/winnie;

· gonbbb opened on Mar 17, 2022

drltrace.PID.log may not have CALLID and TID in synthesizer.py

Status: Open.

#20 In sslab-gatech/winnie;

· gonbbb opened on Mar 11, 2022

Entrypoint trap trimed out: the forkserver injection failed, or the target process never reached its entrypoint.

Status: Open.

#17 In sslab-gatech/winnie;

· newuser54 opened on Mar 4, 2022

Trying to fuzz 7z using Winnie

Status: Open.

#14 In sslab-gatech/winnie;

· omkarbhat1995 opened on Dec 23, 2021

Where to find and How to choose the START_FUNCTION in harnessgen

Status: Open.

#13 In sslab-gatech/winnie;

· JsHuang opened on Oct 21, 2021