Alex Groce
|
439c6a3c13
|
add --no-export-dynamic so clang static compile works, also add link for 32 bit
|
2018-07-27 12:06:22 -07:00 |
|
Alex Groce
|
5c9d843740
|
Add to summary that we now support file-based fuzzing
|
2018-07-26 15:30:22 -07:00 |
|
Alex Groce
|
7f80d83ba4
|
Update README.md
|
2018-07-26 14:29:09 -07:00 |
|
Alex Groce
|
d3b209a89d
|
Merge pull request #86 from trailofbits/add_input_test_file_option
Add option to run a single file, for test replay and for file-based fuzzing
|
2018-07-26 14:27:05 -07:00 |
|
Alex Groce
|
905f45f546
|
include info on fuzzing in readme
|
2018-07-26 14:25:03 -07:00 |
|
Alex Groce
|
d1cda2fec2
|
fix off-by-one in range in OneOf
|
2018-07-26 14:00:20 -07:00 |
|
Alex Groce
|
45abf8ea24
|
don't crash on abandons
|
2018-07-26 11:29:02 -07:00 |
|
Alex Groce
|
090f1f60af
|
Add abort option for fuzzing, way to run a set of generated tests
|
2018-07-26 11:24:46 -07:00 |
|
Alex Groce
|
dd27ac8b95
|
hope fixes help order, and lets you know when test is default
|
2018-07-25 15:52:08 -07:00 |
|
Alex Groce
|
4b639f4e61
|
let user know if they try to run a nonexistent test
|
2018-07-25 15:35:38 -07:00 |
|
Alex Groce
|
0a9ee0bbc6
|
initial stab at the option
|
2018-07-25 15:29:27 -07:00 |
|
Alex Groce
|
7d12b11706
|
function to call when running a single test
|
2018-07-25 14:56:52 -07:00 |
|
Alex Groce
|
b8fa722b56
|
Merge branch 'master' into add_input_test_file_option
|
2018-07-25 14:17:22 -07:00 |
|
Alex Groce
|
731bbffa9a
|
Merge pull request #83 from trailofbits/ggrieco-manticore-py2
Updated the manticore installation script to use the last python2-compatible revision
|
2018-07-25 14:14:49 -07:00 |
|
ggrieco-tob
|
cab535fa4c
|
Updated the manticore installation script to use the last python2-compatible revision
|
2018-07-25 17:41:32 -03:00 |
|
Alex Groce
|
9874efb53f
|
working on option to run a single saved test
|
2018-07-25 13:16:21 -07:00 |
|
Peter Goodman
|
5bf672b063
|
Merge branch 'master' of github.com:trailofbits/deepstate
|
2018-07-25 15:34:16 -04:00 |
|
Peter Goodman
|
a2ec146657
|
Adds support for --help.
|
2018-07-25 15:34:07 -04:00 |
|
Alex Groce
|
a9fef3157f
|
add options for replay of single file
|
2018-07-25 12:33:53 -07:00 |
|
Peter Goodman
|
9f959ac8bd
|
Merge pull request #82 from trailofbits/fix_file_ea
Fix angr error for file_ea
|
2018-07-24 17:04:26 -04:00 |
|
Peter Goodman
|
d1f07684e2
|
Update README.md
Add z3 to install deps.
Remove `$`s to make copy&paste easier.
|
2018-07-24 12:42:32 -04:00 |
|
Peter Goodman
|
ba06694341
|
Update README.md
|
2018-07-24 11:50:30 -04:00 |
|
Alex Groce
|
1b8b7f4040
|
try same concretization
|
2018-07-23 13:45:36 -07:00 |
|
Peter Goodman
|
5d5e0087da
|
Merge pull request #77 from trailofbits/issue_74_concretize_expr_ea_assume
Should fix issue #74.
|
2018-07-23 14:27:13 -04:00 |
|
Alex Groce
|
3367c38b44
|
Check return in streaming and formatting test
|
2018-07-23 10:58:27 -07:00 |
|
Peter Goodman
|
4ce79a0400
|
Merge pull request #75 from trailofbits/issue_34_stream_pointer
Change how pointers are streamed.
|
2018-07-23 12:50:37 -04:00 |
|
Peter Goodman
|
960c3069ed
|
Should fix issue #74.
|
2018-07-23 12:48:43 -04:00 |
|
Peter Goodman
|
5c97e7aa14
|
Change how pointers are streamed.
|
2018-07-23 11:56:23 -04:00 |
|
Peter Goodman
|
8180945829
|
Merge pull request #68 from trailofbits/add_more_tests
Additional tests and checks for existing tests
|
2018-07-19 07:48:30 -04:00 |
|
Alex Groce
|
70d812eda2
|
can't find tests
|
2018-07-18 12:54:10 -07:00 |
|
Alex Groce
|
1cfb65fb52
|
remove spurious import
|
2018-07-18 12:45:26 -07:00 |
|
Alex Groce
|
0a19191640
|
add directory for nosetests command
|
2018-07-18 12:41:00 -07:00 |
|
Alex Groce
|
ae35d9ee83
|
always need to install manticore now
|
2018-07-18 12:35:04 -07:00 |
|
Alex Groce
|
92ed4f7c15
|
fix stupid .yml file missing dash
|
2018-07-18 12:32:25 -07:00 |
|
Alex Groce
|
7c0289ffe4
|
change message in base class
|
2018-07-18 12:18:31 -07:00 |
|
Alex Groce
|
f7013ebad9
|
add base for all tests
|
2018-07-18 12:14:09 -07:00 |
|
Alex Groce
|
4eaa8e88c1
|
split testing into multiple tasks in travis
|
2018-07-18 12:13:45 -07:00 |
|
Alex Groce
|
7620fb3e42
|
refactor tests into multiple files for control in travis, easier editing
|
2018-07-18 12:07:23 -07:00 |
|
Alex Groce
|
97f06a81be
|
fix name of testing function, remove import of os
|
2018-07-18 11:35:38 -07:00 |
|
Peter Goodman
|
13403cb18f
|
Dumb mistake
|
2018-07-18 09:38:29 -04:00 |
|
Peter Goodman
|
c9e413cafa
|
Minor tweak to symbolically-sized containers.
|
2018-07-18 09:35:02 -04:00 |
|
Peter Goodman
|
15ee6c849c
|
Refactor tests, and pump symbolic container sizes
|
2018-07-18 09:26:44 -04:00 |
|
Peter Goodman
|
4de753a619
|
Merge branch 'add_more_tests' of github.com:trailofbits/deepstate into add_more_tests
|
2018-07-18 09:00:25 -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 |
|
Alex Groce
|
40f2e14a21
|
Merge pull request #71 from trailofbits/cmd-verbosity
Added verbosity command line flag
|
2018-07-15 16:29:33 -07:00 |
|
ggrieco-tob
|
8869a7afa4
|
added verbosity command line flag (manticore)
|
2018-07-15 18:45:49 -03:00 |
|
Alex Groce
|
80453f4650
|
skip manticore Lists test for now, since it times out on Travis
|
2018-07-14 14:23:13 -07:00 |
|
Alex Groce
|
375bfb4235
|
fix keepalive to only output at five minute intervals
|
2018-07-14 12:00:47 -07:00 |
|
Alex Groce
|
dd4c17e918
|
fix message on program exit to not claim internal error
|
2018-07-14 11:38:51 -07:00 |
|
Alex Groce
|
6ffd9b4486
|
give Lists more time, less verbose keepalive
|
2018-07-14 11:29:45 -07:00 |
|