Alex Groce
|
3d560daaf4
|
try actual reduction
|
2018-09-05 13:22:56 -07:00 |
|
Alex Groce
|
a2926c0aea
|
ignore double zeros
|
2018-09-05 12:55:04 -07:00 |
|
Alex Groce
|
3978ea0fe9
|
print actual values
|
2018-09-05 12:41:59 -07:00 |
|
Alex Groce
|
c00c11f5f2
|
fix for loop
|
2018-09-05 12:34:54 -07:00 |
|
Alex Groce
|
d412dff965
|
just see if bytes match
|
2018-09-05 12:27:15 -07:00 |
|
Alex Groce
|
4c16c7d61f
|
allow searching for a satisfying test
|
2018-09-03 13:29:42 -07:00 |
|
Alex Groce
|
cd34e03d5b
|
add break
|
2018-09-03 13:20:09 -07:00 |
|
Alex Groce
|
5961ce366c
|
fix bug introduced in refactor
|
2018-09-03 13:17:40 -07:00 |
|
Alex Groce
|
6f3a4a9bdd
|
handle shrinking correctly
|
2018-09-03 13:09:06 -07:00 |
|
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 |
|