DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Commit Graph

  • dd27ac8b95 hope fixes help order, and lets you know when test is default Alex Groce 2018-07-25 15:52:08 -07:00
  • 4b639f4e61 let user know if they try to run a nonexistent test Alex Groce 2018-07-25 15:35:38 -07:00
  • 0a9ee0bbc6 initial stab at the option Alex Groce 2018-07-25 15:29:27 -07:00
  • 7d12b11706 function to call when running a single test Alex Groce 2018-07-25 14:56:52 -07:00
  • b8fa722b56 Merge branch 'master' into add_input_test_file_option Alex Groce 2018-07-25 14:17:22 -07:00
  • 731bbffa9a Merge pull request #83 from trailofbits/ggrieco-manticore-py2 Alex Groce 2018-07-25 14:14:49 -07:00
  • cab535fa4c Updated the manticore installation script to use the last python2-compatible revision ggrieco-tob 2018-07-25 17:41:32 -03:00
  • 9874efb53f working on option to run a single saved test Alex Groce 2018-07-25 13:16:21 -07:00
  • 5bf672b063 Merge branch 'master' of github.com:trailofbits/deepstate Peter Goodman 2018-07-25 15:34:16 -04:00
  • a2ec146657 Adds support for --help. Peter Goodman 2018-07-25 15:34:07 -04:00
  • a9fef3157f add options for replay of single file Alex Groce 2018-07-25 12:33:53 -07:00
  • 9f959ac8bd Merge pull request #82 from trailofbits/fix_file_ea Peter Goodman 2018-07-24 17:04:26 -04:00
  • d1f07684e2 Update README.md Peter Goodman 2018-07-24 12:42:32 -04:00
  • ba06694341 Update README.md Peter Goodman 2018-07-24 11:50:30 -04:00
  • 1b8b7f4040 try same concretization Alex Groce 2018-07-23 13:45:36 -07:00
  • 5d5e0087da Merge pull request #77 from trailofbits/issue_74_concretize_expr_ea_assume Peter Goodman 2018-07-23 14:27:13 -04:00
  • 3367c38b44 Check return in streaming and formatting test Alex Groce 2018-07-23 10:58:27 -07:00
  • 4ce79a0400 Merge pull request #75 from trailofbits/issue_34_stream_pointer Peter Goodman 2018-07-23 12:50:37 -04:00
  • 960c3069ed Should fix issue #74. Peter Goodman 2018-07-23 12:48:43 -04:00
  • 5c97e7aa14 Change how pointers are streamed. Peter Goodman 2018-07-23 11:56:23 -04:00
  • 8180945829 Merge pull request #68 from trailofbits/add_more_tests Peter Goodman 2018-07-19 07:48:30 -04:00
  • 70d812eda2 can't find tests Alex Groce 2018-07-18 12:54:10 -07:00
  • 1cfb65fb52 remove spurious import Alex Groce 2018-07-18 12:45:26 -07:00
  • 0a19191640 add directory for nosetests command Alex Groce 2018-07-18 12:41:00 -07:00
  • ae35d9ee83 always need to install manticore now Alex Groce 2018-07-18 12:35:04 -07:00
  • 92ed4f7c15 fix stupid .yml file missing dash Alex Groce 2018-07-18 12:32:25 -07:00
  • 7c0289ffe4 change message in base class Alex Groce 2018-07-18 12:18:31 -07:00
  • f7013ebad9 add base for all tests Alex Groce 2018-07-18 12:14:09 -07:00
  • 4eaa8e88c1 split testing into multiple tasks in travis Alex Groce 2018-07-18 12:13:45 -07:00
  • 7620fb3e42 refactor tests into multiple files for control in travis, easier editing Alex Groce 2018-07-18 12:07:23 -07:00
  • 97f06a81be fix name of testing function, remove import of os Alex Groce 2018-07-18 11:35:38 -07:00
  • 13403cb18f Dumb mistake Peter Goodman 2018-07-18 09:38:29 -04:00
  • c9e413cafa Minor tweak to symbolically-sized containers. Peter Goodman 2018-07-18 09:35:02 -04:00
  • 15ee6c849c Refactor tests, and pump symbolic container sizes Peter Goodman 2018-07-18 09:26:37 -04:00
  • 4de753a619 Merge branch 'add_more_tests' of github.com:trailofbits/deepstate into add_more_tests Peter Goodman 2018-07-18 09:00:25 -04:00
  • 790b66a2f7 Merge pull request #70 from trailofbits/fix_termination_message Peter Goodman 2018-07-18 08:57:53 -04:00
  • 40f2e14a21 Merge pull request #71 from trailofbits/cmd-verbosity Alex Groce 2018-07-15 16:29:33 -07:00
  • 8869a7afa4 added verbosity command line flag (manticore) ggrieco-tob 2018-07-15 18:45:49 -03:00
  • 80453f4650 skip manticore Lists test for now, since it times out on Travis Alex Groce 2018-07-14 14:23:13 -07:00
  • 375bfb4235 fix keepalive to only output at five minute intervals Alex Groce 2018-07-14 12:00:47 -07:00
  • dd4c17e918 fix message on program exit to not claim internal error Alex Groce 2018-07-14 11:38:51 -07:00
  • 6ffd9b4486 give Lists more time, less verbose keepalive Alex Groce 2018-07-14 11:29:45 -07:00
  • 96fc87f781 keep alive long silent tests, add integer overflow Alex Groce 2018-07-14 06:27:48 -07:00
  • b3f24d24a1 Merge pull request #67 from trailofbits/fix-hook-manticore Alex Groce 2018-07-14 06:16:54 -07:00
  • 8713846044 fix message check Alex Groce 2018-07-14 05:58:57 -07:00
  • 23a1da2c7c Fix for hook_MaxUInt and hook_MinUInt in Manticore ggrieco-tob 2018-07-14 09:44:03 -03:00
  • 843608c354 streaming and formatting Alex Groce 2018-07-14 05:20:11 -07:00
  • a07311706e add fixture test Alex Groce 2018-07-14 05:00:03 -07:00
  • ec52c6e27d print right return value Alex Groce 2018-07-13 21:30:19 -07:00
  • d06233b2cf better spacing Alex Groce 2018-07-13 21:29:28 -07:00
  • f710c38f58 actually return something from logrun Alex Groce 2018-07-13 21:28:48 -07:00
  • 476cdd97fd fix output Alex Groce 2018-07-13 21:27:38 -07:00
  • 3a35a44496 fix iteration over command Alex Groce 2018-07-13 21:24:02 -07:00
  • 7775492adc fix initial decison of which deepstate to use Alex Groce 2018-07-13 21:13:54 -07:00
  • ef3308b8ed outside travis, run everything; also more verbose execution Alex Groce 2018-07-13 21:08:14 -07:00
  • eb150fc13c Add tests for Crash, Klee, Lists examples; detect internal errors and exceptions Alex Groce 2018-07-13 20:50:00 -07:00
  • 751fe57042 change to not access state.solver Alex Groce 2018-07-13 15:14:33 -07:00
  • f61e4b4ff6 Minor readme edit Alex Groce 2018-07-13 14:32:22 -07:00
  • 4350815394 Note angr is preferred for now. Alex Groce 2018-07-13 13:23:37 -07:00
  • cd42127d6a Add build status to README Alex Groce 2018-07-13 13:22:17 -07:00
  • 38984fd59f split into three tasks, check OneOf, add fast prime test, try multiple workers Alex Groce 2018-07-13 11:41:48 -07:00
  • dcb1ce6518 clean up pyflakes issues, fix args missing in angr error message, and run pyflakes on deepstate code Alex Groce 2018-07-13 10:47:31 -07:00
  • f1129354bd write to stderr and flush Alex Groce 2018-07-13 10:34:16 -07:00
  • 8767374bfa log the run so travis doesn't timeout Alex Groce 2018-07-13 10:20:50 -07:00
  • 125e737057 Merge pull request #65 from trailofbits/fix-travis Alex Groce 2018-07-13 06:09:27 -07:00
  • 38f85c3f77 show result for debugging Alex Groce 2018-07-13 05:34:48 -07:00
  • 8c0d25e2ee Forgot to use sudo! ggrieco-tob 2018-07-13 09:05:38 -03:00
  • 516fa6e282 Use the latest revision of Manticore from its master branch ggrieco-tob 2018-07-13 09:04:44 -03:00
  • 06ce1af799 Update .travis.yml ggrieco-tob 2018-07-13 08:44:34 -03:00
  • 89129099c6 Simplified .travis.yml ggrieco-tob 2018-07-13 08:40:05 -03:00
  • 0ed5edf416 just use tee for now Alex Groce 2018-07-13 00:56:21 -07:00
  • 0116c12d47 pyflakes for tests (later deepstate itself) Alex Groce 2018-07-13 00:35:33 -07:00
  • 4551f0ba47 import sys Alex Groce 2018-07-13 00:34:41 -07:00
  • f0c840b251 avoid IO timeout on the python test Alex Groce 2018-07-13 00:28:36 -07:00
  • 097c79b846 fix fi Alex Groce 2018-07-12 22:45:40 -07:00
  • 7f0f2ea3f9 try to just install z3 from source Alex Groce 2018-07-12 22:41:05 -07:00
  • 5fa6a5fc2e add -y option to apt commands Alex Groce 2018-07-12 22:27:45 -07:00
  • 972c44d22a fix missing fi Alex Groce 2018-07-12 22:19:46 -07:00
  • 697f5ed2b1 try adding xenial to get z3 Alex Groce 2018-07-12 22:17:52 -07:00
  • c1616cf179 change to the right directory before running nose Alex Groce 2018-07-12 22:08:54 -07:00
  • 882cda798c Check results for pass/fail on properties, split into angr and manticore tests Alex Groce 2018-07-12 22:01:58 -07:00
  • 0f3e560ea4 try z3 after update Alex Groce 2018-07-12 21:48:56 -07:00
  • 5626068aac setup.py and angr Alex Groce 2018-07-12 19:59:57 -07:00
  • b5770a8a26 try setup.py to avoid the z3 issue Alex Groce 2018-07-12 19:53:27 -07:00
  • aeb8663167 go back to angr until z3 issue handled Alex Groce 2018-07-12 19:46:44 -07:00
  • 5a108f4659 z3 package not found, try the python bindings Alex Groce 2018-07-12 19:41:56 -07:00
  • a69b3fcfb9 try manticore with apt-get install of z3 Alex Groce 2018-07-12 19:37:57 -07:00
  • 61b78a4db7 switch to angr until add z3 install Alex Groce 2018-07-12 19:15:28 -07:00
  • 6fbbe0ba9d sudo for make install Alex Groce 2018-07-12 19:11:05 -07:00
  • c52812d578 fix directory change Alex Groce 2018-07-12 19:08:44 -07:00
  • bcc2e23ea7 dir check Alex Groce 2018-07-12 19:05:55 -07:00
  • 46de76d10a sudo needed Alex Groce 2018-07-12 19:02:08 -07:00
  • 9eddd47f35 try a simple test Alex Groce 2018-07-12 19:00:46 -07:00
  • 0a9b83c324 Merge pull request #63 from trailofbits/manticore-fix Alex Groce 2018-07-12 13:41:55 -07:00
  • dd0fdc27ed Fixed missing default value in run_test ggrieco-tob 2018-07-12 17:38:14 -03:00
  • 5495877f08 actually link static, and for now just ignore multiple definitions of vprintf... Alex Groce 2018-07-12 12:48:25 -07:00
  • dbd3286735 build everything static for faster analysis by angr/manticore Alex Groce 2018-07-11 20:10:17 -07:00
  • b3dcd964fe compile with no-avx Alex Groce 2018-07-11 20:01:24 -07:00
  • 1254c091fe Merge pull request #62 from trailofbits/elf-type Peter Goodman 2018-07-12 08:58:35 +10:00
  • 5d91dfd00b improved selection of base address in case of executables and shared objects ggrieco-tob 2018-07-11 10:24:18 -03:00