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 |
|
Alex Groce
|
96fc87f781
|
keep alive long silent tests, add integer overflow
|
2018-07-14 06:27:48 -07:00 |
|
Alex Groce
|
b3f24d24a1
|
Merge pull request #67 from trailofbits/fix-hook-manticore
Fix for hook_MaxUInt and hook_MinUInt in Manticore
|
2018-07-14 06:16:54 -07:00 |
|
Alex Groce
|
8713846044
|
fix message check
|
2018-07-14 05:58:57 -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
|
843608c354
|
streaming and formatting
|
2018-07-14 05:20:11 -07:00 |
|
Alex Groce
|
a07311706e
|
add fixture test
|
2018-07-14 05:00:03 -07:00 |
|
Alex Groce
|
ec52c6e27d
|
print right return value
|
2018-07-13 21:30:19 -07:00 |
|
Alex Groce
|
d06233b2cf
|
better spacing
|
2018-07-13 21:29:28 -07:00 |
|
Alex Groce
|
f710c38f58
|
actually return something from logrun
|
2018-07-13 21:28:48 -07:00 |
|
Alex Groce
|
476cdd97fd
|
fix output
|
2018-07-13 21:27:38 -07:00 |
|
Alex Groce
|
3a35a44496
|
fix iteration over command
|
2018-07-13 21:24:02 -07:00 |
|
Alex Groce
|
7775492adc
|
fix initial decison of which deepstate to use
|
2018-07-13 21:13:54 -07:00 |
|
Alex Groce
|
ef3308b8ed
|
outside travis, run everything; also more verbose execution
|
2018-07-13 21:08:14 -07:00 |
|
Alex Groce
|
eb150fc13c
|
Add tests for Crash, Klee, Lists examples; detect internal errors and exceptions
|
2018-07-13 20:50:00 -07:00 |
|
Alex Groce
|
751fe57042
|
change to not access state.solver
|
2018-07-13 15:14:33 -07:00 |
|
Alex Groce
|
f61e4b4ff6
|
Minor readme edit
|
2018-07-13 14:32:22 -07:00 |
|
Alex Groce
|
4350815394
|
Note angr is preferred for now.
|
2018-07-13 13:23:37 -07:00 |
|
Alex Groce
|
cd42127d6a
|
Add build status to README
|
2018-07-13 13:22:17 -07:00 |
|
Alex Groce
|
38984fd59f
|
split into three tasks, check OneOf, add fast prime test, try multiple workers
|
2018-07-13 11:41:48 -07:00 |
|