DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Commit Graph

  • 1001d37c9b fast mode agroce 2019-04-26 19:59:16 -07:00
  • 9c8a0106b3 Fix seeds usage agroce 2019-04-25 11:41:47 -07:00
  • 9d2d5d7e8b Mention we can use eclipser Alex Groce 2019-04-25 11:00:56 -07:00
  • a0b2640297 Merge pull request #177 from trailofbits/tidy_eclipser Alex Groce 2019-04-25 10:53:39 -07:00
  • 4ef19da2dd nicer way to crash agroce 2019-04-25 09:41:29 -07:00
  • 671457cb11 fix abandons looking like crashes in no-fork mode agroce 2019-04-25 09:23:39 -07:00
  • daa082a9fb fix args agroce 2019-04-25 08:59:24 -07:00
  • b369913249 name change for args agroce 2019-04-25 08:57:56 -07:00
  • 596199aa8b fix arg passing, removal of decoded dir agroce 2019-04-25 08:56:57 -07:00
  • d58c74c946 clean up the interface code agroce 2019-04-25 08:32:27 -07:00
  • 052042ac0b Merge pull request #175 from trailofbits/fix_eclipser Alex Groce 2019-04-24 13:32:15 -07:00
  • 81777f1e2d hard crash agroce 2019-04-24 13:09:11 -07:00
  • 68419e12e9 fix abort on fail for asserts in DeepState harness agroce 2019-04-24 12:35:42 -07:00
  • b1496d7ec6 first make Eclipser run no_fork agroce 2019-04-24 11:50:08 -07:00
  • 18bfcd48d7 Merge pull request #172 from trailofbits/actual_eclipser Alex Groce 2019-04-22 11:11:45 -07:00
  • 3409283fa1 proper file placement agroce 2019-04-22 10:46:32 -07:00
  • 6923e2c38a allow control of all interesting Eclipser settings agroce 2019-04-22 10:04:27 -07:00
  • d3704725b2 Update README.md Gustavo Grieco 2019-04-22 13:24:03 -03:00
  • 669bccf55f fix whichTest, add input length control agroce 2019-04-21 23:39:26 -07:00
  • d6e55def48 use env better, new dirs agroce 2019-04-21 20:44:49 -07:00
  • 9d64719e84 Fix Python3 support (#170) Gustavo Grieco 2019-04-21 22:06:24 -03:00
  • 5ea4a239a5 fixes agroce 2019-04-21 14:40:01 -07:00
  • 218ac0eb54 add setup agroce 2019-04-21 13:54:12 -07:00
  • e65ec12d65 add eclipser agroce 2019-04-21 13:53:07 -07:00
  • 30211fba72 Merge pull request #97 from trailofbits/dev-python3.6 Peter Goodman 2019-03-28 17:15:14 -04:00
  • 4dfd951882 allow building without static for compilers/sanitizers where that is not a good idea agroce 2019-03-02 09:27:22 -07:00
  • 6e5fe453fe entry point for fuzzbuzz.io agroce 2019-03-01 13:09:27 -07:00
  • 032ae5ba4e truncate too-long tests with warning, rather than abort (better for fuzzers, nicer for replay) agroce 2019-02-19 18:17:45 +00:00
  • 80576159a9 file too large now won't make AFL think it saw a crash agroce 2019-02-13 22:45:40 +00:00
  • ef9eae0668 fix mac OS stuff to point to a newer clang agroce 2019-02-11 13:31:35 -07:00
  • 4a6d170650 Fix input_which_test comparison Alex David Groce 2019-02-11 12:37:51 -07:00
  • 151354cb90 Update .travis.yml Gustavo Grieco 2019-01-24 14:17:50 -03:00
  • 19df0d94d1 Update .travis.yml Gustavo Grieco 2019-01-24 14:09:35 -03:00
  • 488279f4f1 Merge remote-tracking branch 'origin/master' into dev-python3.6 ggrieco-tob 2019-01-24 12:40:26 -03:00
  • c3a187aa0f Typo, info on defaults Alex Groce 2019-01-24 06:02:26 -07:00
  • c6fe91f9af mention blog posts Alex Groce 2019-01-23 14:04:08 -07:00
  • debe187777 mention property-based testing Alex Groce 2019-01-18 11:35:30 -07:00
  • 105248ca94 Note need to make install Alex Groce 2019-01-13 15:39:33 -07:00
  • 216e225fcb reducer now work fine under Python 3 Alex Groce 2019-01-13 13:43:48 -07:00
  • 16fcad4db1 change afl instructions slightly Alex Groce 2019-01-10 14:07:02 -07:00
  • b24e346d6c fix typo Alex Groce 2019-01-10 14:02:37 -07:00
  • e6281104a2 mention leveldb example Alex Groce 2019-01-10 14:01:34 -07:00
  • 7faf6a2e6b some readme cleanup, removing duplicate section Alex Groce 2019-01-10 14:00:33 -07:00
  • 6faf3dab38 tell which test failed when doing a replay Alex Groce 2019-01-09 14:28:51 -07:00
  • 84f317da06 exit on fail now supported Alex Groce 2019-01-09 12:44:52 -07:00
  • eeca3ab6ef Merge branch 'dev-python3.6' of ssh://github.com/trailofbits/deepstate into dev-python3.6 ggrieco-tob 2019-01-07 12:41:37 -03:00
  • 3abda23601 fixed TerminateState identification issue ggrieco-tob 2019-01-07 12:40:40 -03:00
  • 3ce73c78f4 Update main_manticore.py ggrieco-tob 2019-01-07 12:24:09 -03:00
  • 011639cea4 Update .travis.yml ggrieco-tob 2019-01-07 11:21:32 -03:00
  • b676147c7a Update .travis.yml ggrieco-tob 2019-01-07 11:16:29 -03:00
  • 317794bd38 Update .travis.yml ggrieco-tob 2019-01-07 11:15:09 -03:00
  • 5e4980c212 Update .travis.yml ggrieco-tob 2019-01-07 10:50:19 -03:00
  • bddaca59d5 Upgrade to bionic (to use python3.6 from the official repositories) ggrieco-tob 2019-01-07 10:36:10 -03:00
  • e97c5fa1ee Update CMakeLists.txt ggrieco-tob 2019-01-07 10:22:52 -03:00
  • 0ac3c733ba Update .travis.yml ggrieco-tob 2019-01-07 09:28:23 -03:00
  • a3c4560d28 Fixed python-nose ggrieco-tob 2019-01-07 09:11:57 -03:00
  • 8ba19cb121 merge + fixes in travis ggrieco-tob 2019-01-07 09:05:19 -03:00
  • 8ced662872 mention loud option Alex Groce 2019-01-06 16:35:06 -07:00
  • b7e44b511e proper default Alex Groce 2019-01-06 14:58:29 -07:00
  • af4a0a2007 Add a loud mode for debugging libFuzzer on mac OS Alex Groce 2019-01-06 14:56:20 -07:00
  • f9334cdbc6 Merge pull request #161 from trailofbits/readme_example Alex Groce 2019-01-04 13:24:00 -07:00
  • 43fd179d6f Merge branch 'master' into readme_example Alex Groce 2019-01-04 13:22:54 -07:00
  • 0ef1e9b4c2 Multiple spelling error and readability fixes Alex Groce 2019-01-04 13:17:44 -07:00
  • 58df6801a1 more readme edits, typo fixes, etc. Alex Groce 2019-01-04 13:13:57 -07:00
  • cbdda8bdea reorg of README Alex Groce 2019-01-04 13:02:34 -07:00
  • a30234fc7c fix log level arg Alex Groce 2019-01-04 13:00:31 -07:00
  • 878528e672 add boring unit test Alex Groce 2019-01-04 12:49:43 -07:00
  • 0c8185567d comment clarifying example Alex Groce 2019-01-04 12:35:06 -07:00
  • f55bad722a comment on the code Alex Groce 2019-01-04 12:25:31 -07:00
  • 65e86bcc82 add code in README Alex Groce 2019-01-04 12:19:27 -07:00
  • 276ce6cb3f clean up formatting Alex Groce 2019-01-04 12:00:57 -07:00
  • 59a3b51f9f Tidy up the example Alex Groce 2019-01-04 11:44:33 -07:00
  • c5479ba663 Typos Alex Groce 2019-01-03 20:19:06 -07:00
  • 2fbfa652b4 minor fixes to output improvements, correct README Alex Groce 2019-01-03 19:22:14 -07:00
  • c58ca9b116 Fix check Alex Groce 2019-01-03 18:32:47 -07:00
  • d29654832e Merge pull request #156 from trailofbits/add_deepstate_string Alex Groce 2019-01-03 17:25:04 -07:00
  • 405a1948d7 Merge pull request #157 from trailofbits/more_readable_output Alex Groce 2019-01-03 17:24:47 -07:00
  • fadd43ce71 test replay is quiet but reports numbers Alex Groce 2019-01-03 15:48:11 -07:00
  • d2b632ef25 default replay of multiple tests to a quiet mode Alex Groce 2019-01-03 15:28:26 -07:00
  • 91b8b5b8d1 Fix the mac OS abort problem with libFuzzer Alex Groce 2019-01-03 15:02:59 -07:00
  • ca400bc2a0 fix so count of failed tests is correct Alex Groce 2019-01-03 14:52:46 -07:00
  • 80e285a3bc Change fuzzing status to timestamped speed and failure count Alex Groce 2019-01-03 14:29:55 -07:00
  • 68307c1111 Much nicer fuzzer output with status updates Alex Groce 2019-01-03 13:23:30 -07:00
  • 63952ff067 fix output check in tests Alex Groce 2019-01-03 12:58:42 -07:00
  • 3133540027 fix various messages in DeepState to be more helpful and consistent Alex Groce 2019-01-03 12:56:35 -07:00
  • 2b6e57b1e1 change FATAL to CRITICAL to match Python Alex Groce 2019-01-03 12:11:30 -07:00
  • dec77fd926 more quiet Alex Groce 2019-01-03 12:03:25 -07:00
  • 652d6355b2 More silent: nothing about test failures Alex Groce 2019-01-03 11:59:55 -07:00
  • 1247ac64a2 fix random range issue Alex Groce 2019-01-03 00:30:28 -07:00
  • 8a5d681c16 temp fix Alex Groce 2019-01-02 20:50:53 -07:00
  • fec2849bfb Fix logging level in logrun, demote assumption checks Alex Groce 2019-01-02 20:16:09 -07:00
  • 9e99978043 tests are verbose for debugging and checking output Alex Groce 2019-01-02 18:17:15 -07:00
  • 4b6316fd71 Merge branch 'more_readable_output' of https://github.com/trailofbits/deepstate into more_readable_output Alex Groce 2019-01-02 16:32:12 -07:00
  • e65adca27b assign logging.TRACE Alex Groce 2019-01-02 16:15:08 -07:00
  • 8ef1bd6af8 assign LOGGING.trace Alex Groce 2019-01-02 16:13:19 -07:00
  • 9f8f0f0a41 set default log level in symex Alex Groce 2019-01-02 16:08:48 -07:00
  • 4bc1a3c00d start on symex logging changes Alex Groce 2019-01-02 15:37:19 -07:00
  • caa3d33429 change log level when fuzzing if not specified Alex Groce 2019-01-02 15:23:23 -07:00
  • 16de1bc68c assign logging.TRACE Alex Groce 2019-01-02 16:15:08 -07:00
  • 1bfaeaac68 assign LOGGING.trace Alex Groce 2019-01-02 16:13:19 -07:00