DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Commit Graph

  • 4120429688 Merge pull request #61 from trailofbits/missing-ubuntu-package Peter Goodman 2018-07-11 08:48:41 +10:00
  • 6850ed3262 libffi-dev is necessary to install angr in Ubuntu 16.04 ggrieco-tob 2018-07-10 18:29:16 -03:00
  • 234a95ccab Merge pull request #60 from trailofbits/fix-manticore ggrieco-tob 2018-07-04 08:51:10 -03:00
  • 4df001bf29 fixed manticore backend ggrieco-tob 2018-07-04 08:43:31 -03:00
  • b0be9abf18 fix args missing in run_tests Alex Groce 2018-07-02 15:22:20 -07:00
  • 70dd92cb27 Fix message on abandon Alex Groce 2018-06-25 17:32:38 -07:00
  • 2aa6e9f1d5 Fix fatal in .h file also Alex Groce 2018-06-25 17:29:58 -07:00
  • f821097775 Log Error on abandon Alex Groce 2018-06-25 17:26:02 -07:00
  • 16e9255396 abandon, rather than fatal, on failed assumption, for fuzzing Alex Groce 2018-06-23 15:00:52 -07:00
  • 079b8083fa Merge pull request #58 from withzombies/master Dan Guido 2018-06-20 19:28:03 -04:00
  • 1ab3d0d01f Add gitignore Ryan Stortz 2018-06-20 19:16:56 -04:00
  • b314bb25c8 Update README.md Alex Groce 2018-05-25 10:50:50 -07:00
  • 9f5ef8e053 Move links to NAU website Alex Groce 2018-05-06 10:52:02 -07:00
  • f1ba0ff2f8 Merge pull request #55 from DeforaNetworks/khorben/malloc-check Peter Goodman 2018-03-15 19:48:59 +08:00
  • 4246294f86 Merge pull request #56 from arunjohnkuruvilla/master Peter Goodman 2018-03-06 10:57:44 +08:00
  • 72aea332aa Used toplevel manticore.issymbolic instead of manticore.utils.helpers.issymbolic. Fixed Issue #14 arunjohnkuruvilla 2018-03-02 20:15:04 -05:00
  • 7ce41d6bc7 Check malloc() for errors khorben/malloc-check Pierre Pronchery 2018-02-26 22:05:24 +01:00
  • ca5fada9f4 Merge pull request #54 from trailofbits/require-c99 Joe Ranweiler 2018-02-25 15:20:18 -08:00
  • f9ab98e43a Explicitly use C99 standard when building library Joe Ranweiler 2018-02-25 15:17:06 -08:00
  • 2752af7c22 Merge pull request #50 from trailofbits/klee-support Joe Ranweiler 2018-02-25 10:34:37 -08:00
  • 35f73f2496 Add KLEE support to Manticore executor Joe Ranweiler 2018-02-24 17:06:51 -08:00
  • 96dafe6f41 Fix wrapped indentation Joe Ranweiler 2018-02-24 16:24:58 -08:00
  • 376235808a Internally support varying take-over symbols in Manticore executor Joe Ranweiler 2018-02-24 16:23:44 -08:00
  • 2cb1bf002d Add impl for klee_choose() Joe Ranweiler 2018-02-24 14:38:26 -08:00
  • dc9c353244 Comment out unsupported klee_is_symbolic Joe Ranweiler 2018-02-24 14:22:51 -08:00
  • 2ff08e5d70 Add impls for KLEE symbolic int functions Joe Ranweiler 2018-02-24 14:20:57 -08:00
  • 63f22739f9 Impl supported klee_get_val functions Joe Ranweiler 2018-02-24 14:04:28 -08:00
  • a1aaeee8c8 Use short-lived preprocessor def Joe Ranweiler 2018-02-24 13:44:46 -08:00
  • 16ce8d6e00 Add decl, impl for klee_abort() Joe Ranweiler 2018-02-24 13:22:42 -08:00
  • 27b2a490ee Comment out unsupported KLEE functions Joe Ranweiler 2018-02-24 13:07:03 -08:00
  • 994d29b2d3 Add no-op impls for KLEE-internal debugging functions Joe Ranweiler 2018-02-24 12:47:13 -08:00
  • e33b910182 Add no-op impls for KLEE engine commands Joe Ranweiler 2018-02-24 12:22:21 -08:00
  • 6b95aab503 Impl klee_silent_exit() Joe Ranweiler 2018-02-23 16:48:14 -08:00
  • 9e3d1d1eb2 Impl KLEE warning funcs Joe Ranweiler 2018-02-23 16:40:11 -08:00
  • 330f58b944 Add KLEE support to angr executor Joe Ranweiler 2018-02-23 14:49:21 -08:00
  • 4edfccd953 Internally support varying take-over symbols in angr executor Joe Ranweiler 2018-02-23 14:47:57 -08:00
  • 973d2a9264 Add KLEE example Joe Ranweiler 2018-02-23 14:51:26 -08:00
  • 236ee6856e Add lib impl for klee_make_symbolic() Joe Ranweiler 2018-02-23 15:09:02 -08:00
  • f7791f216f Add stub header that declares the KLEE API Joe Ranweiler 2018-02-23 14:50:44 -08:00
  • 4947890344 Merge pull request #49 from trailofbits/child-proc-mem-share Joe Ranweiler 2018-02-22 09:35:35 -08:00
  • f39a89d059 Use consistent naming conventions Joe Ranweiler 2018-02-21 19:32:15 -08:00
  • 49fd41f5e1 Return bool from DeepState_Catch... functions Joe Ranweiler 2018-02-21 19:28:28 -08:00
  • 691cf24108 Remove usage of old internal globals Joe Ranweiler 2018-02-21 19:22:20 -08:00
  • f07fd1cab7 Split up mapping and init of current test run globals Joe Ranweiler 2018-02-21 19:06:37 -08:00
  • 4f711da986 Use DeepState_CurrentTestRun in take-over test case replays Joe Ranweiler 2018-02-21 18:52:23 -08:00
  • d4dc9eaa01 Add struct for info about single test runs, update in global setters Joe Ranweiler 2018-02-21 18:49:42 -08:00
  • 9d47f21f5a Hide mutation of test globals behind internal functions Joe Ranweiler 2018-02-21 17:17:43 -08:00
  • 341c2da0f8 Fix type of --take_over flag Joe Ranweiler 2018-02-21 16:56:12 -08:00
  • 454ee11a6e Merge pull request #44 from trailofbits/take-over-api Joe Ranweiler 2018-02-20 16:06:21 -08:00
  • c09feec114 Call DeepState_Begin() for each forked take-over test case Joe Ranweiler 2018-02-20 15:52:14 -08:00
  • 23dbbbdc57 Log all test run result cases in native take-over Joe Ranweiler 2018-02-20 15:38:41 -08:00
  • a81f816d89 If in take-over mode, exit on fatal error Joe Ranweiler 2018-02-20 15:29:39 -08:00
  • 065c97c2c0 Add --take_over flag to native binaries Joe Ranweiler 2018-02-20 15:29:12 -08:00
  • 661c600d2b Add impl of native takeover test case replay Joe Ranweiler 2018-02-20 15:17:12 -08:00
  • 93a95b0e96 Use native fake test and file name that matches executors Joe Ranweiler 2018-02-20 13:17:28 -08:00
  • 4d5e390c15 Factor out native runs of saved cases for a single test Joe Ranweiler 2018-02-20 13:16:44 -08:00
  • 2ea978999b Replace DeepState_TakeOver() with Manticore function model Joe Ranweiler 2018-02-20 12:31:14 -08:00
  • 9e7266399c Add TakeOver impl to Manticore executor Joe Ranweiler 2018-02-19 18:04:06 -08:00
  • 353bed10ee Factor out unit test running in Manticore executor Joe Ranweiler 2018-02-19 12:37:07 -08:00
  • 76965704b4 Add TakeOver impl to angr executor Joe Ranweiler 2018-02-19 12:09:38 -08:00
  • 281c5117ed Add example for DeepState_TakeOver() Joe Ranweiler 2018-02-19 11:46:38 -08:00
  • dfd027e8ff Fix to #47 (missing -) Alex Groce 2018-02-20 14:11:01 -07:00
  • 45fcfe0921 Add DeepState_TakeOver() interface Joe Ranweiler 2018-02-19 11:45:57 -08:00
  • 0a746ca078 Factor out deepstate-angr API hook setup, unit test exec Joe Ranweiler 2018-02-19 11:43:59 -08:00
  • c2b227481f Merge pull request #46 from trailofbits/default-out-dir Joe Ranweiler 2018-02-20 10:26:32 -08:00
  • 20781f91d0 Add default output directory for saved test cases Joe Ranweiler 2018-02-20 10:01:45 -08:00
  • df6ffd7dbd Merge pull request #45 from trailofbits/deepstate-manticore Joe Ranweiler 2018-02-19 18:28:37 -08:00
  • b7aca2196c Add explicit deepstate-manticore executor script Joe Ranweiler 2018-02-19 18:23:58 -08:00
  • a4cb4f4127 First stab at "why DeepState" Alex Groce 2018-02-19 18:21:15 -07:00
  • ff3ae3debd remove unused variable i Alex Groce 2018-02-19 14:52:08 -07:00
  • 956ee3261e Update main_manticore.py Peter Goodman 2018-02-19 11:45:23 +08:00
  • 1294def677 Update README.md (#36) Dan Guido 2018-02-18 23:54:35 +01:00
  • c9fa425e4b Add link to BAR paper Alex Groce 2018-02-18 13:13:33 -07:00
  • 7e69ee208f Merge pull request #33 from trailofbits/improve-mc-crash-saving Peter Goodman 2018-02-18 12:00:45 +08:00
  • 4cb2354759 Better failure when using Manticore but Z3 is not installed alex 2018-02-16 16:26:50 -08:00
  • 39e57b6725 Be stricter about what terminated states are saved as crashes Joe Ranweiler 2018-02-16 11:41:55 -08:00
  • febe14ac89 Merge pull request #30 from trailofbits/save-crashes Joe Ranweiler 2018-02-16 10:46:37 -08:00
  • 226d0f5513 Add enum for test run results and exit codes Joe Ranweiler 2018-02-15 12:43:12 -08:00
  • 4814e8184b Flag unknown Manticore state terminations as crashes Joe Ranweiler 2018-02-14 17:21:17 -08:00
  • c1b91432fd Fix executor docstrings Joe Ranweiler 2018-02-14 14:25:10 -08:00
  • 0b82d4e409 Run saved .crash test cases in native harness Joe Ranweiler 2018-02-14 12:30:14 -08:00
  • 7fbb966777 Detect, report crashes in deepstate-angr Joe Ranweiler 2018-02-14 12:05:07 -08:00
  • 23af5b562d Add DeepState_Crash() hook Joe Ranweiler 2018-02-14 12:03:45 -08:00
  • 8ede1e2ddc Remove stray whitespace Joe Ranweiler 2018-02-13 15:20:59 -08:00
  • 86d0fac206 Log error when test crashes Joe Ranweiler 2018-02-13 15:04:29 -08:00
  • 12dc706534 Add crashing example tests Joe Ranweiler 2018-02-13 15:01:30 -08:00
  • ac7e57a833 Consistently stub test case save hooks Joe Ranweiler 2018-02-13 14:51:07 -08:00
  • ab43f75361 Add hook to save crashing tests Joe Ranweiler 2018-02-13 14:49:36 -08:00
  • dd9c16865d Merge pull request #29 from trailofbits/fork-test-runs Joe Ranweiler 2018-02-14 10:25:26 -08:00
  • 68595a9493 Fix handling of test failures due to uncaught exceptions Joe Ranweiler 2018-02-14 10:10:51 -08:00
  • a68520642a Fully factor out forking and running a single test Joe Ranweiler 2018-02-13 14:22:59 -08:00
  • 3c5d5daeaf Use more accurate function name Joe Ranweiler 2018-02-13 14:11:55 -08:00
  • b61b3e7f2d Fork for all test runs Joe Ranweiler 2018-02-13 12:19:09 -08:00
  • 8f39961b3f Save result of forked test run if flag set Joe Ranweiler 2018-02-13 12:18:36 -08:00
  • 8ff5f6cac6 Fork when running saved test cases Joe Ranweiler 2018-02-13 11:48:30 -08:00
  • b15e2a6f17 Merge pull request #26 from trailofbits/read-auto-generated-tests Joe Ranweiler 2018-02-12 08:46:32 -08:00
  • 879000bc73 Document functions for running saved test cases Joe Ranweiler 2018-02-11 12:52:56 -08:00
  • d25a181771 Fix indent level Joe Ranweiler 2018-02-10 15:55:16 -08:00
  • 579cba3705 Check for error when stating test input file Joe Ranweiler 2018-02-10 15:49:37 -08:00
  • d81cbba137 Clear log stream before failing with longjmp in fatal log Joe Ranweiler 2018-02-09 17:33:17 -08:00