212 Commits

Author SHA1 Message Date
agroce
d1c54022a2 need to add encoding to delimiters for py3 2019-08-09 09:43:36 -07:00
ex0dus-0x
542440c74f
Ensembling and seed synchronization API support
* Fine-grained compilation support and argparsing
* Refactored fuzzers, added better fuzzer process handling
* Add seed synchronization API support for frontends and API
2019-07-30 18:55:06 -04:00
ex0dus-0x
9b78a5a393
Refactor frontend API
* Refactor how API is instantiated and executed
* Add logging support
* Better sanity env checks
* Documentation
* Fix minor errors and usability concerns
* Implement changes to all frontend engines based on API changes
2019-07-30 18:13:04 -04:00
Alan
a407b844fc
Edits to Angora frontend (#220)
* Minor edits to Angora frontend

* Update CMake and Dockerfile
2019-07-22 14:02:04 -04:00
Alan
3c9e5c54d3
Fix Manticore tests that break CI (#221)
* Add timeout flag for killing hanging workers

* Fix mcore tests that hang
2019-07-22 13:59:59 -04:00
Alan
de96afd688
Merge pull request #219 from trailofbits/dev-default-frontend
AFL default frontend support
2019-07-18 18:33:20 -04:00
ex0dus-0x
5a3799f44f
Fix Manticore 0.3.0 exceptions
* Fix AttributeError

* Fix KeyErrors from uninstantiated API table in context

* Update deprecated verbosity method

* Fix FileNotFoundError race when accessing workspace

* Fix TerminateState runtime error

* Change how Manticore handles multiprocessing

* Refactor cli for proper test initialization and execution
2019-07-17 11:58:06 -04:00
ex0dus-0x
adfae99e80
Add default AFL frontend 2019-07-15 17:18:17 -04:00
ex0dus-0x
9789a1dd29
Migrate fuzzer frontends to submodule
* Move frontends to deepstate.frontend
* Add dynamic loading in __init__.py for future frontends
* Refactor setup.py.in
2019-07-15 17:17:09 -04:00
ex0dus-0x
8d005f0a2c
Add Angora fuzzer front-end 2019-06-25 10:07:26 -04:00
ex0dus-0x
5faee1d8c7
Enhance frontend API for better compilation and instrumentation cli support 2019-06-25 10:06:45 -04:00
agroce
ad544c99d7 change log_level to min_log_level 2019-06-17 10:17:33 -07:00
Alex Groce
02b602aa9a
Merge pull request #212 from trailofbits/reducer_exit_code_and_delimiters
Support exit code criterion and look for structure in text-like inputs
2019-06-17 09:20:41 -07:00
agroce
e0e3e11506 fix pyflake issues, add ability to turn off input structure extraction 2019-06-17 08:21:09 -07:00
Disconnect3d
73db893f63
Update common.py 2019-06-17 16:28:17 +02:00
agroce
5458b0f0e9 more delims, edge removal 2019-06-16 11:51:26 -07:00
agroce
a48270bc79 More criterion control 2019-06-16 11:28:31 -07:00
agroce
6a4dcb1d5c exit codes and delimiters 2019-06-15 10:17:28 -07:00
agroce
d6c2859a93 go back to not trying manticore/angr on mac (it'll fail) 2019-06-15 08:06:38 -07:00
Alex Groce
4dac14256c
Merge pull request #202 from ex0dus-0x/dev-frontend-api
DeepStateFrontend API support for front-ends
2019-06-11 09:08:52 -07:00
ex0dus-0x
70e4ce83d0
Minor edits based on pyflakes 2019-06-10 18:04:00 -04:00
ex0dus-0x
e5f4ec5e15
Implement Eclipser fuzzer with front-end API 2019-06-10 16:49:13 -04:00
ex0dus-0x
3831b25e63
Change indentation to match codebase 2019-06-10 16:32:56 -04:00
ex0dus-0x
9a3399073b
Improve argument collection with functools 2019-06-10 16:25:56 -04:00
ex0dus-0x
21554e5f00
Improvements to frontend.py
* Naming convention changes
* Compile-time errors fixes
* Minor API improvements for frontends
2019-06-10 15:45:12 -04:00
ex0dus-0x
f0fe7ee7ad
add base DeepStateFrontend object 2019-06-04 18:33:46 -04:00
agroce
7a6f0759ec Reducer now handles regexps, arbitrary commands 2019-05-31 10:03:45 -07:00
Aaron Suarez
9b28c98dca Add travis changes 2019-05-26 18:58:27 -05:00
Aaron Suarez
e3fdc25ce5 Dockerize the repository 2019-05-26 00:12:02 -05:00
agroce
cd116c0ad2 no pad option 2019-05-21 10:36:56 -07:00
agroce
831b9918f8 let user turn off use of DeepState structure 2019-05-21 08:56:09 -07:00
agroce
f916a93405 almost new reducer, with nested fixpoint passes 2019-05-20 11:51:54 -07:00
agroce
9914222076 fix loop 2019-05-19 17:50:30 -07:00
agroce
3b1e4f8fe4 restart them 2019-05-19 15:19:27 -07:00
Alex Groce
ab9b3fb843
Fix where pos is reset 2019-05-19 11:41:35 -07:00
Alex Groce
6607ceb85e
Now recalls pos, does 4/8 removes 2019-05-19 11:31:31 -07:00
Alex Groce
7cd1eda6ba
Start on tracking pos 2019-05-19 10:13:50 -07:00
agroce
bf3395f297 allow multiple reducer runs in a directory, using PID in filenames 2019-05-18 19:20:38 -07:00
agroce
c1a8f7d091 swap not slow 2019-05-18 17:47:35 -07:00
root
80421927a3 quick fix to avoid infinite loop 2019-05-17 21:21:00 +00:00
agroce
dd98f14ccb automatic range adjustments when reducing 2019-05-17 11:55:32 -07:00
agroce
3e756c2778 Improved reducer output, new OneOf swapping mode 2019-05-17 09:23:07 -07:00
agroce
594f980872 write after each change 2019-04-26 22:10:34 -07:00
agroce
ed35e6e225 verbose option 2019-04-26 21:31:04 -07:00
agroce
1001d37c9b fast mode 2019-04-26 19:59:16 -07:00
agroce
9c8a0106b3 Fix seeds usage 2019-04-25 11:41:47 -07:00
agroce
daa082a9fb fix args 2019-04-25 08:59:24 -07:00
agroce
b369913249 name change for args 2019-04-25 08:57:56 -07:00
agroce
596199aa8b fix arg passing, removal of decoded dir 2019-04-25 08:56:57 -07:00
agroce
d58c74c946 clean up the interface code 2019-04-25 08:32:27 -07:00