e08c7c8479
reduce + del operation
2018-09-02 13:03:44 -07:00
faa241b160
remove sys import
2018-09-01 21:58:04 -07:00
473ad72d07
fix help
2018-09-01 21:11:06 -07:00
ab03350142
get rid of my help
2018-09-01 21:09:23 -07:00
f6cceffa33
fix argument name
2018-09-01 21:04:24 -07:00
21c23d1152
silence pyflakes until we use the parser
2018-09-01 17:26:14 -07:00
69a84c7b68
fix C code according to pgoodman comments, annotate multi-byte reads
2018-09-01 17:22:40 -07:00
97618c2a24
start addressing peter's comments
2018-09-01 15:53:21 -07:00
90a94ef2fb
start with new pass on reduction
2018-09-01 14:31:58 -07:00
b2e1d86cf7
allow byte range removal too
2018-09-01 14:27:39 -07:00
2fdd239827
make pyflakes happy by removing spurious imports
2018-09-01 14:19:29 -07:00
54d2c8180a
update README, nicer output from reducer
2018-09-01 14:04:31 -07:00
9923c591c1
add entry point for reducer
2018-09-01 20:48:09 +00:00
ef30504908
Fix manticore version
2018-08-28 18:16:30 -03:00
12ff87a15b
Merge branch 'master' into support_libfuzzer
2018-08-02 14:25:57 -07:00
3ccf682db2
try claripy first
2018-08-02 13:30:28 -07:00
fe6d642b9a
try forcing old angr
2018-08-02 13:22:48 -07:00
c607630572
on program exit, call pass test
2018-08-01 23:00:16 -07:00
556ba2c026
report
2018-08-01 22:20:21 -07:00
c65901a418
don't abandon
2018-08-01 13:40:58 -07:00
9d8889e3f2
change name to external, let python konw about new level
2018-07-28 18:06:07 -07:00
0428686581
let python know about new logging level
2018-07-28 18:04:19 -07:00
1b8b7f4040
try same concretization
2018-07-23 13:45:36 -07:00
960c3069ed
Should fix issue #74 .
2018-07-23 12:48:43 -04:00
790b66a2f7
Merge pull request #70 from trailofbits/fix_termination_message
...
Change message on manticore program exit to not claim "internal error"
2018-07-18 08:57:53 -04:00
8869a7afa4
added verbosity command line flag (manticore)
2018-07-15 18:45:49 -03:00
dd4c17e918
fix message on program exit to not claim internal error
2018-07-14 11:38:51 -07:00
23a1da2c7c
Fix for hook_MaxUInt and hook_MinUInt in Manticore
...
(untested!)
2018-07-14 09:44:03 -03:00
751fe57042
change to not access state.solver
2018-07-13 15:14:33 -07:00
dcb1ce6518
clean up pyflakes issues, fix args missing in angr error message, and run pyflakes on deepstate code
2018-07-13 10:47:31 -07:00
dd0fdc27ed
Fixed missing default value in run_test
...
This small fix will enables Manticore to work properly as a backend.
2018-07-12 17:38:14 -03:00
5d91dfd00b
improved selection of base address in case of executables and shared objects
2018-07-11 10:24:18 -03:00
4df001bf29
fixed manticore backend
2018-07-04 08:43:31 -03:00
b0be9abf18
fix args missing in run_tests
2018-07-02 15:22:20 -07:00
72aea332aa
Used toplevel manticore.issymbolic instead of manticore.utils.helpers.issymbolic. Fixed Issue #14
2018-03-02 20:15:04 -05:00
35f73f2496
Add KLEE support to Manticore executor
2018-02-25 10:27:48 -08:00
96dafe6f41
Fix wrapped indentation
2018-02-25 10:27:48 -08:00
376235808a
Internally support varying take-over symbols in Manticore executor
2018-02-25 10:27:48 -08:00
330f58b944
Add KLEE support to angr executor
2018-02-25 10:27:47 -08:00
4edfccd953
Internally support varying take-over symbols in angr executor
2018-02-25 10:27:47 -08:00
2ea978999b
Replace DeepState_TakeOver() with Manticore function model
...
Now we have API parity with the angr executor, and return 1 from
`DeepState_TakeOver()` when it is hooked for symbolic execution under
the Manticore backend.
2018-02-20 15:43:34 -08:00
9e7266399c
Add TakeOver impl to Manticore executor
2018-02-20 15:43:34 -08:00
353bed10ee
Factor out unit test running in Manticore executor
2018-02-20 15:43:34 -08:00
76965704b4
Add TakeOver impl to angr executor
...
- Add `--take_over` flag
- Allow running tests from non-function instruction addr
- Hook `DeepState_TakeOver()` with a `SimProcedure` that returns 1
- Make a fake test case that starts after `TakeOver` returns
2018-02-20 15:43:34 -08:00
0a746ca078
Factor out deepstate-angr API hook setup, unit test exec
2018-02-20 10:31:24 -08:00
20781f91d0
Add default output directory for saved test cases
2018-02-20 10:01:45 -08:00
b7aca2196c
Add explicit deepstate-manticore executor script
...
This matches the command-line API described in the paper, and lets users
invoke the Manticore backend without relying on the fact that it is the
default (which might change).
2018-02-19 18:23:58 -08:00
ff3ae3debd
remove unused variable i
2018-02-19 14:52:08 -07:00
956ee3261e
Update main_manticore.py
2018-02-19 11:45:23 +08:00
7e69ee208f
Merge pull request #33 from trailofbits/improve-mc-crash-saving
...
Be stricter about what terminated states are saved as crashes
2018-02-18 12:00:45 +08:00
Alex Groce
ggrieco-tob
Peter Goodman
ggrieco-tob
arunjohnkuruvilla
Joe Ranweiler