Alex Groce
|
03c47607cf
|
timeout instead of control over which to run
|
2018-09-05 18:49:38 -07:00 |
|
Alex Groce
|
edbc055b4b
|
nicer output
|
2018-09-05 14:09:16 -07:00 |
|
Alex Groce
|
44074cfd49
|
try byte reductions
|
2018-09-05 14:08:35 -07:00 |
|
Alex Groce
|
fc57ba1628
|
change output
|
2018-09-05 13:59:16 -07:00 |
|
Alex Groce
|
3e521bcb48
|
verbose
|
2018-09-05 13:49:14 -07:00 |
|
Alex Groce
|
83cdc2f070
|
less verbose
|
2018-09-05 13:39:23 -07:00 |
|
Alex Groce
|
47f29219dd
|
verbose
|
2018-09-05 13:33:58 -07:00 |
|
Alex Groce
|
6c613126c1
|
fix convert to bytearray
|
2018-09-05 13:27:01 -07:00 |
|
Alex Groce
|
845f237d37
|
try actual reduction
|
2018-09-05 13:23:10 -07:00 |
|
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 |
|
ggrieco-tob
|
b473726781
|
proof-of-concept of the experimental python3.6 version (manticore only)
|
2018-08-08 09:01:02 -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 |
|