sslab-gatech/winnie

Issues

• Trying to fuzz 7z using Winnie

  #14 opened 3 years ago by omkarbhat1995
  19

• The harness generated for the toy example is not compilable

  #57 opened 9 months ago by symexec
  0

• Questions on the harness example

  #56 opened 9 months ago by symexec
  0

• How to use harnessgen as described in the paper?

  #43 opened 2 years ago by RLee063
  17

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

  #55 opened a year ago by Shehroz111
  0

• Problem generating csrss_header.h file.

  #11 opened 2 years ago by rish9101
  6

• Synthesizer.py Giving AssertionError

  #54 opened a year ago by Austin-Src
  1

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

  #20 opened 3 years ago by gonbbb
  7

• Strange bug trying to fuzz jq

  #44 opened 2 years ago by leocstone
  7

• NO new instrumentation output

  #53 opened 2 years ago by mineechor
  2

• result

  #52 opened 2 years ago by mineechor
  1

• harness generate

  #46 opened 2 years ago by mineechor
  9

• Are there any examples from HarnessGen?

  #7 opened 3 years ago by Fstark-prog
  5

• toy_example harness.dll

  #51 opened 2 years ago by mineechor
  0

• Windows 11 Support

  #50 opened 2 years ago by stong
  1

• python2 dependency

  #45 opened 2 years ago by syheliel
  1

• What does sample_name mean?

  #40 opened 3 years ago by gonbbb
  4

• how to generate correct log file？

  #47 opened 2 years ago by mineechor
  0

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

  #17 opened 3 years ago by newuser54
  6

• How to debug winnie?

  #42 opened 2 years ago by dms1lva
  2

• Pin.exe can't make memdump

  #16 opened 2 years ago by smlijun
  5

• Generating basic block file

  #41 opened 2 years ago by Mipam
  1

• Where to find and How to choose the START_FUNCTION in harnessgen

  #13 opened 3 years ago by JsHuang
  2

• Unicorn 2.0 - Bochs Emulator Support

  #15 opened 3 years ago by UnlimitedChild
  1

• Why is the calling convention either stdcall or cdecl in harnessgen?

  #18 opened 3 years ago by gonbbb
  2

• NULL

  #19 opened 3 years ago by qriosa
  0

• Exception: Cannot find the starting function from the trace file

  #8 opened 3 years ago by prksastry
  1

• Fullspeed Instrumentation with Ghidra API

  #10 opened 3 years ago by leocstone
  4

• Broken forkserver pipe (invalid handle)

  #4 opened 3 years ago by 0x4d5a-ctf
  2

• std io stream not work in harness(forkserver's child process)

  #9 opened 3 years ago by 50u1w4y
  0

• Harness Generator

  #6 opened 3 years ago by ilvxob
  2

• when your source code will be released?

  #1 opened 3 years ago by leepeter2019
  11

• Query about handle inherit in source code and paper

  #5 opened 3 years ago by 50u1w4y
  4

• error in perform_dry_run()

  #3 opened 3 years ago by fish3rman
  7

• help compiling the project

  #2 opened 3 years ago by FantasyWarrior
  2