DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Commit Graph

  • a9be273c2e Update README.md (#670) Mark Mossberg 2017-12-22 18:44:09 -05:00
  • 8a588c70f4 Manticore 0.1.6 (#662) Mark Mossberg 2017-12-22 18:30:16 -05:00
  • a7fb995aa1 Update __main__.py (#669) Mark Mossberg 2017-12-22 18:27:40 -05:00
  • 6499c0e281 Add --tx flag to control symbolic tx (#667) Mark Mossberg 2017-12-22 18:11:14 -05:00
  • 2e578acf9d Fix Unicorn exception handling; add a symbolic wrapper for exit(2) (#616) Yan Ivnitskiy 2017-12-22 16:24:56 -05:00
  • 8413f7e947 Rm unused evm workspace function (#666) Mark Mossberg 2017-12-22 16:24:21 -05:00
  • 7875aaf5fd Rename manticore.seth to manticore.ethereum (#665) Mark Mossberg 2017-12-22 14:05:37 -05:00
  • c200aeefec output the actual exit status when finalizing evm states (#664) Mark Mossberg 2017-12-22 13:14:09 -05:00
  • 7aa85f13bb Clean examples/evm (#661) Mark Mossberg 2017-12-22 12:23:17 -05:00
  • 6896c227ef Initial implementation of concolic algorithm (#653) Yan Ivnitskiy 2017-12-21 17:02:44 -05:00
  • b8ea5226d7 0.1.6-related cleanups (#659) Yan Ivnitskiy 2017-12-21 14:18:09 -05:00
  • 6b794fecaa eth int overflow: tests, mul support (#656) Mark Mossberg 2017-12-21 12:54:24 -05:00
  • aac83ada10 Add error handling to solc wrapper (#651) Mark Mossberg 2017-12-20 13:55:17 -05:00
  • cc8ee5685e Improve evm cli output (#652) Mark Mossberg 2017-12-20 13:54:56 -05:00
  • 95967f84df Seth: Fix uninitialized address in _generate_testcase_callback (#650) Feist Josselin 2017-12-19 18:47:10 +01:00
  • 591d7b81d5 EVM logging cleanup (#647) Yan Ivnitskiy 2017-12-18 16:06:44 -05:00
  • 6dd50da350 refactor logs files content (#646) Mark Mossberg 2017-12-18 12:00:01 -05:00
  • 833ef4af2f fix for #608 using a local definition (#644) ggrieco-tob 2017-12-15 18:57:02 -03:00
  • 670076c855 Fix compilation bug (#645) cole-lightfighter 2017-12-15 21:53:54 +00:00
  • 9839cbdbb0 Fix z3 oddity: reset vs optimization (#627) feliam 2017-12-15 16:45:30 -03:00
  • aabfecfe77 Fix for issue #642 (#643) Srinivas P G 2017-12-15 12:13:00 -05:00
  • db80685758 Better EVM workspace output (#641) feliam 2017-12-15 02:17:41 -03:00
  • 4b79711b92 Detectors () (#637) feliam 2017-12-12 14:56:39 -03:00
  • df9af1fd12 Implement initial evm workspace, fix small bugs (#638) Mark Mossberg 2017-12-11 16:14:06 -05:00
  • 7ea30192a1 evm: Make 'not enough funds' states finalized states (#636) Mark Mossberg 2017-12-11 11:36:30 -05:00
  • 3f0441148f Initial eth cli based on solidse.py (#633) Mark Mossberg 2017-12-08 11:15:03 -05:00
  • ed29a22fce EVM refactor and simple UI (#629) feliam 2017-12-07 20:19:16 -03:00
  • 764151de71 Emit .input instead of .txt files in workspace (#625) Daniel Bolognino 2017-12-06 18:51:20 -05:00
  • c6902d7265 Hide legacy cli flags from cli help (#622) Arun John Kuruvilla 2017-12-05 10:41:38 -05:00
  • e63838d204 Fixed Issue #619 (#623) Arun John Kuruvilla 2017-12-04 17:53:19 -05:00
  • be0141e501 Amend pr guidelines (#615) Yan Ivnitskiy 2017-12-01 16:14:56 -05:00
  • 77b0542b83 Fixed Issue #533 (#606) Arun John Kuruvilla 2017-11-30 10:16:08 -05:00
  • 9c777e6d2b EVM api refactor (#589) feliam 2017-11-29 19:00:49 -03:00
  • 3a63402ae5 EVM assembler/disassembler doc and cleanup (#563) feliam 2017-11-29 13:22:16 -03:00
  • e50cc6b9b2 Log unimplemented instructions (issue 163) (#599) awr|arr 2017-11-28 19:18:12 -05:00
  • 481e41991d Centralize system call logging (#602) Yan Ivnitskiy 2017-11-28 18:36:33 -05:00
  • 3c7d92bfcd Trace following mode (#513) Yan Ivnitskiy 2017-11-28 18:14:03 -05:00
  • 88b213de7e Fixes to thumb mode instruction implementations Garret Reece 2017-11-28 16:46:19 -06:00
  • d98ef22251 Fix Issue: 597 - Remove unused policy argument in function State.solve_n (#598) Srinivas P G 2017-11-27 18:13:13 -05:00
  • ce888766cd Fix for issue 556 and 591 (#590) Srinivas P G 2017-11-22 16:18:45 -05:00
  • fccf451406 Assert valid operand length (#558) cole-lightfighter 2017-11-21 11:56:00 -07:00
  • fbe70f1bc5 Updating README with solc binary requirements (#575) Sidhant Gupta 2017-11-21 04:14:19 +05:30
  • 5c52fcaf54 Updates travis cache to python 2.7.13 (#576) Sidhant Gupta 2017-11-21 02:36:57 +05:30
  • 652c99b471 Manticore prints linux ret code as uint instead of int (#578) Dushyanth Chowdary 2017-11-20 16:04:34 -05:00
  • 1dbf40ea8e Add UMD simple assert example (#573) Mark Mossberg 2017-11-20 15:35:32 -05:00
  • 35d8fce9df Only really fork when there's multiple solutions (#569) Mark Mossberg 2017-11-17 12:40:30 -05:00
  • 0e4e9a49e2 Added missing syscalls in decree syscall trace (#545) ggrieco-tob 2017-11-14 17:18:31 -03:00
  • 352b9ba48d Fix typo per issue #552 - s/arm64/amd64/ (#561) awr|arr 2017-11-14 15:10:14 -05:00
  • 8002a1d682 Add PCMPXSTRX Instructions (#507) HighW4y2H3ll 2017-11-14 14:39:51 -05:00
  • 94d2e94bf1 New API for EVM analysis (#551) feliam 2017-11-14 12:06:08 -03:00
  • b13a8c0c24 Fix SLOAD invalid memory access (#562) cole-lightfighter 2017-11-14 13:34:18 +00:00
  • d9b54675c5 Handle file.tell() error, which will happen for special files (/dev/tty) (#559) Mark Mossberg 2017-11-13 18:30:23 -05:00
  • 08f86cc892 [fix] Issue #550: generates extra workspace folder (#557) cole-lightfighter 2017-11-13 17:20:57 +00:00
  • 9535ec8fd3 Fix all integral type checks that forget long (#555) Mark Mossberg 2017-11-09 11:28:24 -05:00
  • d341bc94ff Move inline function definitions out of the AbstractCPU's execute method (#538) Peter Goodman 2017-11-08 14:48:23 -05:00
  • 7c1e5e16fc Localize log formatting changes (#547) Yan 2017-11-06 18:00:26 -05:00
  • 82d1621bfe Remove win32 support (#535) car bauer 2017-11-06 16:51:43 -05:00
  • baf2d769a6 Various bug fixes. (#530) Yan 2017-10-25 10:53:11 -04:00
  • 08e8c3b7d8 Fix coverage calculation vs. metadata (#529) feliam 2017-10-23 17:45:01 -03:00
  • a9ad183354 Fixes symbolic reentrancy example (#528) feliam 2017-10-20 16:43:22 -03:00
  • 5aa681dc76 0.1.5 Release (#501) Mark Mossberg 2017-10-19 15:46:22 -04:00
  • 23218d724e Simple event signature fixes (#525) feliam 2017-10-18 19:17:26 -03:00
  • 8591bff45f EVM support (#521) feliam 2017-10-17 19:47:20 -03:00
  • e84c0513a2 Manticore plugins (#506) feliam 2017-10-04 15:51:37 -03:00
  • 1edee15e5f Pythonic logger naming (#511) Yan 2017-09-25 18:09:18 -04:00
  • b9333838ad install z3 with pip in Dockerfile (#502) JP Smith 2017-09-14 11:52:15 -05:00
  • 0efa37933a Fix stderr file creation and test for it going forwards (#495) JP Smith 2017-09-13 19:17:13 -05:00
  • 58cdee814c Update test_workspace.py (#497) Mark Mossberg 2017-09-13 18:34:45 -04:00
  • 23c2585316 Refactor platform details out from Manticore (#421) feliam 2017-09-13 18:37:42 -03:00
  • f6fea10376 Use z3-solver package (#494) Mark Mossberg 2017-09-12 15:21:48 -04:00
  • 50923974e2 Fix logger verbosity and test (#491) Mark Mossberg 2017-09-12 15:08:53 -04:00
  • a8ef3ecd9f Added implementation for sys_dup and sys_dup2 (#490) John F.X. Galea 2017-09-12 20:03:01 +01:00
  • f8a8373e57 Request binaries that cause bugs in contributing.md (#486) Mark Mossberg 2017-09-11 13:05:51 -04:00
  • 8b66e58c7b Document cli better (#482) Mark Mossberg 2017-09-07 20:15:31 -04:00
  • 60c6813a80 Implemented getcwd sys call, along with a new helper function that wr… (#483) John F.X. Galea 2017-09-07 21:30:55 +01:00
  • d83fa737a7 Create CONTRIBUTING.md (#481) Mark Mossberg 2017-09-06 18:11:22 -04:00
  • 7679773088 Update examples (#477) Yan 2017-09-01 17:05:43 -04:00
  • 9b8ef3cd76 Concretize stdout in state summary (#478) Yan 2017-09-01 16:31:50 -04:00
  • 0cd2560138 Update Manticore docstring (#476) JP Smith 2017-09-01 11:43:29 -05:00
  • d5d22a8aaf Allow Manticore initialization with State object (#475) JP Smith 2017-08-31 16:44:43 -05:00
  • f9b02bd194 New Policy class (#368) feliam 2017-08-31 13:48:55 -03:00
  • c6f8fd1291 initialize executor at manticore initialization (#471) JP Smith 2017-08-31 10:16:52 -05:00
  • ca0d7b60d2 Add basic socket support (#428) Yan 2017-08-29 17:00:17 -04:00
  • a025bda97a Updated visualization plugin with coverage info & live update option (#444) Theofilos Petsios 2017-08-23 17:47:23 -04:00
  • 60a99d2f81 Seed random on policy init to make results deterministic (#466) JP Smith 2017-08-23 16:37:26 -05:00
  • 1b653be9b3 Basic Caching for Binja IL (#467) Theofilos Petsios 2017-08-23 14:46:17 -04:00
  • b32379d3d4 did_execute_instruction nit (#468) Theofilos Petsios 2017-08-21 23:03:47 -04:00
  • d3d1e9c924 Manticore 0.1.4 (#462) Mark Mossberg 2017-08-18 13:48:33 -04:00
  • 604de56cfd Update readme (#461) Mark Mossberg 2017-08-18 11:12:14 -04:00
  • 715cc436c7 Abstract Disassembler classes and Binja CPU + Platform (#364) Theofilos Petsios 2017-08-17 17:43:27 -04:00
  • f9489d3249 Document Manticore.locked_context API (#460) Mark Mossberg 2017-08-17 16:50:21 -04:00
  • 22974ca65e Add gotchas docs (#459) Mark Mossberg 2017-08-17 16:48:59 -04:00
  • 5d87fc83b3 Instructions and tests to support issue binary for issue #182 (#403) Garret Reece 2017-08-17 10:02:44 -05:00
  • 7bb64fe26e fix trace-saving behavior (#454) JP Smith 2017-08-15 10:50:46 -05:00
  • 09bb702fac Implement logging presets (#445) Theofilos Petsios 2017-08-14 16:05:29 -04:00
  • 1d8e051522 Fix state.generate_testcase (#451) Mark Mossberg 2017-08-14 14:44:53 -04:00
  • 36a58810f9 Use the same workspace URI in Executor.__init__ (#443) Yan 2017-08-10 15:07:53 -04:00
  • e78ae8904e Add Manticore version to issue template (#447) Mark Mossberg 2017-08-10 15:06:51 -04:00
  • eef3cd20e2 Implement state.generate_testcase (#438) Mark Mossberg 2017-08-08 18:12:55 -04:00
  • 9ae76a4430 Fix testcase generation output (#436) Mark Mossberg 2017-08-07 08:08:37 -07:00