Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sslab-gatech/winnie issues and pull requests

#57 - The harness generated for the toy example is not compilable

Issue - State: open - Opened by symexec about 1 year ago

#57 - The harness generated for the toy example is not compilable

Issue - State: open - Opened by symexec about 1 year ago

#56 - Questions on the harness example

Issue - State: open - Opened by symexec about 1 year ago

#54 - Synthesizer.py Giving AssertionError

Issue - State: closed - Opened by Austin-Src almost 2 years ago - 1 comment

#54 - Synthesizer.py Giving AssertionError

Issue - State: closed - Opened by Austin-Src almost 2 years ago - 1 comment

#53 - NO new instrumentation output

Issue - State: open - Opened by mineechor about 2 years ago - 2 comments

#53 - NO new instrumentation output

Issue - State: open - Opened by mineechor about 2 years ago - 2 comments

#52 - result

Issue - State: closed - Opened by mineechor about 2 years ago - 1 comment

#51 - toy_example harness.dll

Issue - State: closed - Opened by mineechor about 2 years ago

#50 - Windows 11 Support

Issue - State: open - Opened by stong about 2 years ago - 1 comment

#49 - Community-contributed walkthrough

Pull Request - State: closed - Opened by stong about 2 years ago

#48 - Python3

Pull Request - State: closed - Opened by wkpark about 2 years ago - 1 comment

#48 - Python3

Pull Request - State: closed - Opened by wkpark about 2 years ago - 1 comment

#47 - how to generate correct log file？

Issue - State: open - Opened by mineechor over 2 years ago

#47 - how to generate correct log file？

Issue - State: open - Opened by mineechor over 2 years ago

#46 - harness generate

Issue - State: closed - Opened by mineechor over 2 years ago - 9 comments

#45 - python2 dependency

Issue - State: closed - Opened by syheliel over 2 years ago - 1 comment

#44 - Strange bug trying to fuzz jq

Issue - State: closed - Opened by leocstone over 2 years ago - 7 comments

#43 - How to use harnessgen as described in the paper?

Issue - State: open - Opened by RLee063 almost 3 years ago - 17 comments

#43 - How to use harnessgen as described in the paper?

Issue - State: open - Opened by RLee063 almost 3 years ago - 17 comments

#42 - How to debug winnie?

Issue - State: closed - Opened by dms1lva almost 3 years ago - 2 comments

#42 - How to debug winnie?

Issue - State: closed - Opened by dms1lva almost 3 years ago - 2 comments

#41 - Generating basic block file

Issue - State: closed - Opened by Mipam almost 3 years ago - 1 comment

#41 - Generating basic block file

Issue - State: closed - Opened by Mipam almost 3 years ago - 1 comment

#40 - What does sample_name mean?

Issue - State: open - Opened by gonbbb almost 3 years ago - 4 comments

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

Issue - State: open - Opened by gonbbb almost 3 years ago - 7 comments

#19 - NULL

Issue - State: closed - Opened by qriosa almost 3 years ago

#18 - Why is the calling convention either stdcall or cdecl in harnessgen?

Issue - State: closed - Opened by gonbbb almost 3 years ago - 2 comments

#18 - Why is the calling convention either stdcall or cdecl in harnessgen?

Issue - State: closed - Opened by gonbbb almost 3 years ago - 2 comments

#16 - Pin.exe can't make memdump

Issue - State: closed - Opened by smlijun about 3 years ago - 5 comments

#15 - Unicorn 2.0 - Bochs Emulator Support

Issue - State: closed - Opened by UnlimitedChild about 3 years ago - 1 comment
Labels: wontfix

#15 - Unicorn 2.0 - Bochs Emulator Support

Issue - State: closed - Opened by UnlimitedChild about 3 years ago - 1 comment
Labels: wontfix

#14 - Trying to fuzz 7z using Winnie

Issue - State: open - Opened by omkarbhat1995 about 3 years ago - 19 comments

#13 - Where to find and How to choose the START_FUNCTION in harnessgen

Issue - State: open - Opened by JsHuang over 3 years ago - 2 comments

#12 - Improve Ghidra script

Pull Request - State: closed - Opened by leocstone over 3 years ago - 1 comment

#11 - Problem generating csrss_header.h file.

Issue - State: closed - Opened by rish9101 over 3 years ago - 6 comments

#10 - Fullspeed Instrumentation with Ghidra API

Issue - State: closed - Opened by leocstone over 3 years ago - 4 comments
Labels: question

#9 - std io stream not work in harness(forkserver's child process)

Issue - State: closed - Opened by 50u1w4y over 3 years ago

#8 - Exception: Cannot find the starting function from the trace file

Issue - State: open - Opened by prksastry over 3 years ago - 1 comment
Labels: question

#7 - Are there any examples from HarnessGen?

Issue - State: open - Opened by Fstark-prog over 3 years ago - 5 comments
Labels: question

#6 - Harness Generator

Issue - State: closed - Opened by ilvxob almost 4 years ago - 2 comments

#5 - Query about handle inherit in source code and paper

Issue - State: closed - Opened by 50u1w4y almost 4 years ago - 4 comments

#4 - Broken forkserver pipe (invalid handle)

Issue - State: open - Opened by 0x4d5a-ctf almost 4 years ago - 2 comments
Labels: bug

#3 - error in perform_dry_run()

Issue - State: closed - Opened by fish3rman almost 4 years ago - 7 comments

#2 - help compiling the project

Issue - State: closed - Opened by FantasyWarrior almost 4 years ago - 2 comments

#1 - when your source code will be released?

Issue - State: closed - Opened by leepeter2019 about 4 years ago - 11 comments