Comments (11)
For transparency, I'm going to be mirroring my todo list here as well.
TODO
- Make bb.py more user friendly
- Remove C:\users\user
- fix launch options
- walkthrough for the toy example
- resolve all TODOs
- clean up printfs
- bb-file verification
- process groups
- update help strings
- cancelio?
- deal with legacy winafl code for the default mode. it probably doesn't even work anymore
- destroy_target_process
- dbgapi.h
- document AFL_SAME_CONSOLE
- load_bbs() ?
- merge fullspeed.h into forkserver.h
- handle persistentmode temrination
- explain HeapEnableTerminationOnCorruption in readme
- watchdog timer for persistent mode
- Finish writing readme
- add sample harnesses for adobe reader and source engine and socket
- add some pre built recipes for common tasks
PRE-RELEASE
- test intelpt again
- test persistent again
- check for handle leaks
- format code (tabs/spaces, indent size, braces)
- test 32 bits again
from winnie.
I'm really glad for the community interest! Maybe I should just push what I have and refactor it publicly :)
The WinAFL code quality, as I'm pretty sure everyone is aware, is not the best. I feel like an important part of the project (to me at least) is streamlining the fuzzing experience. But this work was saved until now since before we were focused on getting evaluations, etc done. Academic code isn't production ready so I'm working hard to do this.
from winnie.
I can't wait. :)
from winnie.
It should be out within the next few days.
from winnie.
Done! The fuzzer source code is published
from winnie.
@stong I can't wait. :)
from winnie.
Hello, any update on this? The community is eagerly waiting :-)
from winnie.
Code is pretty much done. After I finish writing some walkthroughs/examples I will release :)
from winnie.
Thank you!
from winnie.
For transparency -- Jinho's timeline for open sourcing the harness synthesizer
- library installation
- examples
- tracer (changed dynamorio to pin)
- clean up LCA analysis (dynamic)
- prepare harness generator for public
- prepare LCA analysis (static) for public
from winnie.
Harness generator is released. A big Thank You to Yonghwi (Jinmo) for the work to prepare it for public release.
https://github.com/sslab-gatech/winnie/tree/master/harnessgen
from winnie.
Related Issues (20)
- Entrypoint trap trimed out: the forkserver injection failed, or the target process never reached its entrypoint. HOT 6
- Why is the calling convention either stdcall or cdecl in harnessgen? HOT 2
- NULL
- drltrace.PID.log may not have CALLID and TID in synthesizer.py HOT 7
- What does sample_name mean? HOT 4
- Generating basic block file HOT 1
- How to debug winnie? HOT 2
- How to use harnessgen as described in the paper? HOT 17
- Strange bug trying to fuzz jq HOT 7
- python2 dependency HOT 1
- harness generate HOT 9
- how to generate correct log file๏ผ
- Windows 11 Support HOT 1
- toy_example harness.dll
- result HOT 1
- NO new instrumentation output HOT 2
- Synthesizer.py Giving AssertionError HOT 1
- "Invalid handle when map PE file" when try to execute anothe binary file
- Questions on the harness example
- The harness generated for the toy example is not compilable
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from winnie.