Alex Groce
5a7e6ad76b
get ready for python 3, refactor code to be easier to follow/change
2018-09-03 13:05:20 -07:00
Alex Groce
494a5eaaf4
fix indent to two
2018-09-02 20:17:13 -07:00
Alex Groce
3625454fbb
range, not value
2018-09-02 13:16:30 -07:00
Alex Groce
ba25358ebf
handle zero bytes in reduce-delete
2018-09-02 13:07:23 -07:00
Alex Groce
b0ca3ee60e
fix typo in type name
2018-09-02 13:05:44 -07:00
Alex Groce
e08c7c8479
reduce + del operation
2018-09-02 13:03:44 -07:00
Alex Groce
faa241b160
remove sys import
2018-09-01 21:58:04 -07:00
Alex Groce
473ad72d07
fix help
2018-09-01 21:11:06 -07:00
Alex Groce
ab03350142
get rid of my help
2018-09-01 21:09:23 -07:00
Alex Groce
f6cceffa33
fix argument name
2018-09-01 21:04:24 -07:00
Alex Groce
21c23d1152
silence pyflakes until we use the parser
2018-09-01 17:26:14 -07:00
Alex Groce
69a84c7b68
fix C code according to pgoodman comments, annotate multi-byte reads
2018-09-01 17:22:40 -07:00
Alex Groce
97618c2a24
start addressing peter's comments
2018-09-01 15:53:21 -07:00
Alex Groce
90a94ef2fb
start with new pass on reduction
2018-09-01 14:31:58 -07:00
Alex Groce
b2e1d86cf7
allow byte range removal too
2018-09-01 14:27:39 -07:00
Alex Groce
2fdd239827
make pyflakes happy by removing spurious imports
2018-09-01 14:19:29 -07:00
Alex Groce
54d2c8180a
update README, nicer output from reducer
2018-09-01 14:04:31 -07:00
root
9923c591c1
add entry point for reducer
2018-09-01 20:48:09 +00:00
ggrieco-tob
ef30504908
Fix manticore version
2018-08-28 18:16:30 -03:00
Alex Groce
12ff87a15b
Merge branch 'master' into support_libfuzzer
2018-08-02 14:25:57 -07:00
Alex Groce
3ccf682db2
try claripy first
2018-08-02 13:30:28 -07:00
Alex Groce
fe6d642b9a
try forcing old angr
2018-08-02 13:22:48 -07:00
Alex Groce
c607630572
on program exit, call pass test
2018-08-01 23:00:16 -07:00
Alex Groce
556ba2c026
report
2018-08-01 22:20:21 -07:00
Alex Groce
c65901a418
don't abandon
2018-08-01 13:40:58 -07:00
Alex Groce
9d8889e3f2
change name to external, let python konw about new level
2018-07-28 18:06:07 -07:00
Alex Groce
0428686581
let python know about new logging level
2018-07-28 18:04:19 -07:00
Alex Groce
1b8b7f4040
try same concretization
2018-07-23 13:45:36 -07:00
Peter Goodman
960c3069ed
Should fix issue #74 .
2018-07-23 12:48:43 -04:00
Peter Goodman
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
ggrieco-tob
8869a7afa4
added verbosity command line flag (manticore)
2018-07-15 18:45:49 -03:00
Alex Groce
dd4c17e918
fix message on program exit to not claim internal error
2018-07-14 11:38:51 -07:00
ggrieco-tob
23a1da2c7c
Fix for hook_MaxUInt and hook_MinUInt in Manticore
...
(untested!)
2018-07-14 09:44:03 -03:00
Alex Groce
751fe57042
change to not access state.solver
2018-07-13 15:14:33 -07:00
Alex Groce
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
ggrieco-tob
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
ggrieco-tob
5d91dfd00b
improved selection of base address in case of executables and shared objects
2018-07-11 10:24:18 -03:00
ggrieco-tob
4df001bf29
fixed manticore backend
2018-07-04 08:43:31 -03:00
Alex Groce
b0be9abf18
fix args missing in run_tests
2018-07-02 15:22:20 -07:00
arunjohnkuruvilla
72aea332aa
Used toplevel manticore.issymbolic instead of manticore.utils.helpers.issymbolic. Fixed Issue #14
2018-03-02 20:15:04 -05:00
Joe Ranweiler
35f73f2496
Add KLEE support to Manticore executor
2018-02-25 10:27:48 -08:00
Joe Ranweiler
96dafe6f41
Fix wrapped indentation
2018-02-25 10:27:48 -08:00
Joe Ranweiler
376235808a
Internally support varying take-over symbols in Manticore executor
2018-02-25 10:27:48 -08:00
Joe Ranweiler
330f58b944
Add KLEE support to angr executor
2018-02-25 10:27:47 -08:00
Joe Ranweiler
4edfccd953
Internally support varying take-over symbols in angr executor
2018-02-25 10:27:47 -08:00
Joe Ranweiler
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
Joe Ranweiler
9e7266399c
Add TakeOver impl to Manticore executor
2018-02-20 15:43:34 -08:00
Joe Ranweiler
353bed10ee
Factor out unit test running in Manticore executor
2018-02-20 15:43:34 -08:00
Joe Ranweiler
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
Joe Ranweiler
0a746ca078
Factor out deepstate-angr API hook setup, unit test exec
2018-02-20 10:31:24 -08:00
