623 Commits

Author SHA1 Message Date
ggrieco-tob
5e4980c212
Update .travis.yml 2019-01-07 10:50:19 -03:00
ggrieco-tob
bddaca59d5
Upgrade to bionic (to use python3.6 from the official repositories) 2019-01-07 10:36:10 -03:00
ggrieco-tob
e97c5fa1ee
Update CMakeLists.txt 2019-01-07 10:22:52 -03:00
ggrieco-tob
0ac3c733ba
Update .travis.yml 2019-01-07 09:28:23 -03:00
ggrieco-tob
a3c4560d28
Fixed python-nose 2019-01-07 09:11:57 -03:00
ggrieco-tob
8ba19cb121 merge + fixes in travis 2019-01-07 09:05:19 -03:00
Alex Groce
8ced662872 mention loud option 2019-01-06 16:35:06 -07:00
Alex Groce
b7e44b511e proper default 2019-01-06 14:58:29 -07:00
Alex Groce
af4a0a2007 Add a loud mode for debugging libFuzzer on mac OS 2019-01-06 14:56:20 -07:00
Alex Groce
f9334cdbc6
Merge pull request #161 from trailofbits/readme_example
Clean up the Runlen.cpp example and add it to README
2019-01-04 13:24:00 -07:00
Alex Groce
43fd179d6f
Merge branch 'master' into readme_example 2019-01-04 13:22:54 -07:00
Alex Groce
0ef1e9b4c2 Multiple spelling error and readability fixes 2019-01-04 13:17:44 -07:00
Alex Groce
58df6801a1 more readme edits, typo fixes, etc. 2019-01-04 13:13:57 -07:00
Alex Groce
cbdda8bdea reorg of README 2019-01-04 13:02:34 -07:00
Alex Groce
a30234fc7c fix log level arg 2019-01-04 13:00:31 -07:00
Alex Groce
878528e672 add boring unit test 2019-01-04 12:49:43 -07:00
Alex Groce
0c8185567d comment clarifying example 2019-01-04 12:35:06 -07:00
Alex Groce
f55bad722a comment on the code 2019-01-04 12:25:31 -07:00
Alex Groce
65e86bcc82 add code in README 2019-01-04 12:19:27 -07:00
Alex Groce
276ce6cb3f clean up formatting 2019-01-04 12:00:57 -07:00
Alex Groce
59a3b51f9f Tidy up the example 2019-01-04 11:44:33 -07:00
Alex Groce
c5479ba663
Typos 2019-01-03 20:19:06 -07:00
Alex Groce
2fbfa652b4 minor fixes to output improvements, correct README 2019-01-03 19:22:14 -07:00
Alex Groce
c58ca9b116
Fix check 2019-01-03 18:32:47 -07:00
Alex Groce
d29654832e
Merge pull request #156 from trailofbits/add_deepstate_string
stab at string generator
2019-01-03 17:25:04 -07:00
Alex Groce
405a1948d7
Merge pull request #157 from trailofbits/more_readable_output
Change symex and fuzzing outputs to default to something readable and friendly
2019-01-03 17:24:47 -07:00
Alex Groce
fadd43ce71 test replay is quiet but reports numbers 2019-01-03 15:48:11 -07:00
Alex Groce
d2b632ef25 default replay of multiple tests to a quiet mode 2019-01-03 15:28:26 -07:00
Alex Groce
91b8b5b8d1 Fix the mac OS abort problem with libFuzzer 2019-01-03 15:02:59 -07:00
Alex Groce
ca400bc2a0 fix so count of failed tests is correct 2019-01-03 14:52:46 -07:00
Alex Groce
80e285a3bc Change fuzzing status to timestamped speed and failure count 2019-01-03 14:29:55 -07:00
Alex Groce
68307c1111 Much nicer fuzzer output with status updates 2019-01-03 13:23:30 -07:00
Alex Groce
63952ff067 fix output check in tests 2019-01-03 12:58:42 -07:00
Alex Groce
3133540027 fix various messages in DeepState to be more helpful and consistent 2019-01-03 12:56:35 -07:00
Alex Groce
2b6e57b1e1 change FATAL to CRITICAL to match Python 2019-01-03 12:11:30 -07: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
1247ac64a2 fix random range issue 2019-01-03 00:30:28 -07:00
Alex Groce
8a5d681c16 temp fix 2019-01-02 20:50:53 -07:00
Alex Groce
fec2849bfb Fix logging level in logrun, demote assumption checks 2019-01-02 20:16:09 -07:00
Alex Groce
9e99978043 tests are verbose for debugging and checking output 2019-01-02 18:17:15 -07:00
Alex Groce
4b6316fd71 Merge branch 'more_readable_output' of https://github.com/trailofbits/deepstate into more_readable_output 2019-01-02 16:32:12 -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
caa3d33429 change log level when fuzzing if not specified 2019-01-02 16:31:45 -07:00
Alex Groce
16de1bc68c assign logging.TRACE 2019-01-02 16:15:08 -07:00
Alex Groce
1bfaeaac68 assign LOGGING.trace 2019-01-02 16:13:19 -07:00
Alex Groce
b449111ecf set default log level in symex 2019-01-02 16:08:48 -07:00