agroce
|
596199aa8b
|
fix arg passing, removal of decoded dir
|
2019-04-25 08:56:57 -07:00 |
|
agroce
|
d58c74c946
|
clean up the interface code
|
2019-04-25 08:32:27 -07:00 |
|
agroce
|
b1496d7ec6
|
first make Eclipser run no_fork
|
2019-04-24 11:50:08 -07:00 |
|
Alex Groce
|
18bfcd48d7
|
Merge pull request #172 from trailofbits/actual_eclipser
Support Eclipser fuzzer
|
2019-04-22 11:11:45 -07:00 |
|
agroce
|
3409283fa1
|
proper file placement
|
2019-04-22 10:46:32 -07:00 |
|
agroce
|
6923e2c38a
|
allow control of all interesting Eclipser settings
|
2019-04-22 10:04:27 -07:00 |
|
agroce
|
669bccf55f
|
fix whichTest, add input length control
|
2019-04-21 23:39:26 -07:00 |
|
agroce
|
d6e55def48
|
use env better, new dirs
|
2019-04-21 20:44:49 -07:00 |
|
Gustavo Grieco
|
9d64719e84
|
Fix Python3 support (#170)
* Update main_manticore.py
* Fix python3 in CMake [skip ci]
* Update StreamingAndFormatting.cpp
* [skip ci]
* Update .travis.yaml [skip ci]
* Temporarily disable OneOf test using manticore (it is broken)
* Update README [skip ci]
|
2019-04-21 22:06:24 -03:00 |
|
agroce
|
5ea4a239a5
|
fixes
|
2019-04-21 14:40:01 -07:00 |
|
agroce
|
218ac0eb54
|
add setup
|
2019-04-21 13:54:12 -07:00 |
|
agroce
|
e65ec12d65
|
add eclipser
|
2019-04-21 13:53:07 -07:00 |
|
ggrieco-tob
|
488279f4f1
|
Merge remote-tracking branch 'origin/master' into dev-python3.6
|
2019-01-24 12:40:26 -03:00 |
|
Alex Groce
|
216e225fcb
|
reducer now work fine under Python 3
|
2019-01-13 13:43:48 -07:00 |
|
ggrieco-tob
|
eeca3ab6ef
|
Merge branch 'dev-python3.6' of ssh://github.com/trailofbits/deepstate into dev-python3.6
|
2019-01-07 12:41:37 -03:00 |
|
ggrieco-tob
|
3abda23601
|
fixed TerminateState identification issue
|
2019-01-07 12:40:40 -03:00 |
|
ggrieco-tob
|
3ce73c78f4
|
Update main_manticore.py
|
2019-01-07 12:24:09 -03:00 |
|
ggrieco-tob
|
8ba19cb121
|
merge + fixes in travis
|
2019-01-07 09:05:19 -03:00 |
|
Alex Groce
|
dec77fd926
|
more quiet
|
2019-01-03 12:03:25 -07:00 |
|
Alex Groce
|
652d6355b2
|
More silent: nothing about test failures
|
2019-01-03 11:59:55 -07:00 |
|
Alex Groce
|
e65adca27b
|
assign logging.TRACE
|
2019-01-02 16:31:45 -07:00 |
|
Alex Groce
|
8ef1bd6af8
|
assign LOGGING.trace
|
2019-01-02 16:31:45 -07:00 |
|
Alex Groce
|
9f8f0f0a41
|
set default log level in symex
|
2019-01-02 16:31:45 -07:00 |
|
Alex Groce
|
4bc1a3c00d
|
start on symex logging changes
|
2019-01-02 16:31:45 -07:00 |
|
Alex Groce
|
54c42c78c9
|
fix check in reducer
|
2018-12-26 12:02:59 -07:00 |
|
ggrieco-tob
|
bb9e02834d
|
improved python3 support
|
2018-12-24 11:39:46 -03:00 |
|
Alex Groce
|
c91853828d
|
restore spacing in manticore to avoid confusion
|
2018-12-23 13:13:59 -07:00 |
|
Alex Groce
|
12c23f78b9
|
restore old manticore/angr code
|
2018-12-23 13:13:08 -07:00 |
|
Alex Groce
|
fca5c8795b
|
fix missing comma
|
2018-12-23 13:10:03 -07:00 |
|
Alex Groce
|
37d9d35d5a
|
aha, used wrong logger
|
2018-12-23 13:07:27 -07:00 |
|
Alex Groce
|
4409762f24
|
functools annoys pyflakes
|
2018-12-23 13:00:25 -07:00 |
|
Alex Groce
|
6daee3cfa0
|
try just using the info logger
|
2018-12-23 12:53:16 -07:00 |
|
Alex Groce
|
43ddfa895c
|
oops, remove log_trace def
|
2018-12-23 12:44:20 -07:00 |
|
Alex Groce
|
ce343948e2
|
try different python approach
|
2018-12-23 12:40:47 -07:00 |
|
Alex Groce
|
276b493681
|
log in manticore/angr
|
2018-12-22 20:49:10 -07:00 |
|
Alex Groce
|
3590a6025c
|
add trace to manticore/angr logging
|
2018-12-22 20:46:08 -07:00 |
|
Alex Groce
|
55644b534e
|
set level
|
2018-12-22 19:53:02 -07:00 |
|
Alex Groce
|
7fb1a04a4a
|
change name
|
2018-12-22 15:22:00 -07:00 |
|
Alex Groce
|
feec722f83
|
handled for TRACE
|
2018-12-22 14:34:24 -07:00 |
|
Alex Groce
|
6f168e8e1c
|
add level name at right place
|
2018-12-22 14:16:16 -07:00 |
|
Alex Groce
|
816ec7a27d
|
try to add trace level
|
2018-12-22 14:12:17 -07:00 |
|
Alex Groce
|
0f9fe27288
|
handle new logging in symex
|
2018-12-22 14:00:11 -07:00 |
|
Alex Groce
|
18e8761576
|
Remove dependency on angr/manticore on macOS
|
2018-12-11 12:15:08 -07:00 |
|
Alex Groce
|
375659421d
|
Simple brute-force fuzzer (#134)
|
2018-12-08 19:41:10 -03:00 |
|
Alex Groce
|
2f6dd8e047
|
use all 1s just in case other-endian
|
2018-12-06 17:20:52 -07:00 |
|
Alex Groce
|
c2745be882
|
move setting UsingSymExec to right place
|
2018-12-06 17:16:38 -07:00 |
|
Alex Groce
|
062e62106c
|
Try writing symexec in do_run_test
|
2018-12-06 15:13:52 -07:00 |
|
Peter Goodman
|
48092c7b4b
|
Update main_manticore.py
|
2018-12-05 13:57:07 -05:00 |
|
Peter Goodman
|
5288d5da3d
|
Saturating version of InRange, new variable UsingSymExec
|
2018-12-05 13:55:57 -05:00 |
|
Alex Groce
|
6d2a06d9a0
|
fix parenthesis issue
|
2018-09-06 11:12:15 -07:00 |
|