DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Commit Graph

  • 5101fc7252 Use libc.so instead khorben/netbsd khorben 2018-05-12 17:33:10 +02:00
  • f22afeb235 Work-in-Progress support for NetBSD/amd64 binaries khorben/elf khorben 2018-05-12 17:23:44 +02:00
  • 1cb83b41d6 Merge branch 'master' of github.com:trailofbits/manticore master khorben 2018-05-12 17:18:28 +02:00
  • 6747c437b1 Partially implement fork(2) (#892) khorben 2018-05-11 17:52:07 +02:00
  • f6d0cd4e8e Partially implement chroot(2) (#891) khorben 2018-05-11 17:43:27 +02:00
  • 07740c2fc7 Merge branch 'khorben/netbsd' khorben 2018-05-09 03:30:15 +02:00
  • 6b7dfa3a6c Merge branch 'khorben/linux-syscall-fork' khorben 2018-05-09 03:30:09 +02:00
  • 76072192d6 Merge branch 'khorben/linux-syscall-chroot' khorben 2018-05-09 03:29:40 +02:00
  • a36ebdc210 Merge branch 'khorben/479-assert-brk' khorben 2018-05-09 03:29:29 +02:00
  • 42ef3431ea Add support for NetBSD as a host OS khorben 2018-05-09 02:02:58 +02:00
  • 84fca4cabf Avoid creating memory mappings with a negative size khorben/479-assert-brk khorben 2018-05-09 01:26:01 +02:00
  • 24374e6dea Minor optimization khorben 2018-05-09 01:25:39 +02:00
  • 285f1cf8b1 Partially implement chroot(2) khorben/linux-syscall-chroot khorben 2018-05-09 01:23:12 +02:00
  • cacc50abb5 Partially implement fork(2) khorben/linux-syscall-fork khorben 2018-05-09 01:20:46 +02:00
  • 44ef97ec6c Loads shared ELF to analyze a function (#861) Catena cyber 2018-05-08 20:15:03 +02:00
  • b9a515ccfe Added optional message parameter in ConcretizeMemory (#885) ggrieco-tob 2018-05-07 10:23:40 -03:00
  • 109180fc15 Merge pull request #888 from trailofbits/dev-019 feeb 2018-05-04 16:03:35 -04:00
  • 23a1412e15 Finish changelog Mark Mossberg 2018-05-04 14:27:41 -04:00
  • 66640c8ed8 Initial changelog Mark Mossberg 2018-05-04 14:17:47 -04:00
  • 5c9e63555e Bump version Mark Mossberg 2018-05-04 14:07:20 -04:00
  • 9c258bd68d Update concolic.py (#887) Yan Ivnitskiy 2018-05-03 18:52:29 -04:00
  • 9307475af5 Raises exception for Solidity compiler not installed. Issue #867 (#877) Arun John Kuruvilla 2018-04-24 12:36:06 -04:00
  • fb3c01fe1c Sign extends x86 AND operand (capstone bug) (#852) Catena cyber 2018-04-24 12:32:18 +02:00
  • 4a98110f4a Support Solidity compilation of a file handle (#873) Daniel James 2018-04-20 11:05:04 -04:00
  • 92cfab3a42 Fix check of solc metadata tail (#848) feliam 2018-04-17 18:58:58 -03:00
  • 71bf5d4f11 Remove assertion on brk() (#860) khorben 2018-04-17 23:25:40 +02:00
  • 2814723cc8 Support ABI parsing of specs that use function types (#874) Daniel James 2018-04-16 20:44:29 -04:00
  • bfffa78b5f Fix Issue #869 (#872) Daniel James 2018-04-13 16:32:17 -04:00
  • aa792588fe Added --txnocoverage option to manticore cli (#849) ggrieco-tob 2018-04-10 10:34:38 -03:00
  • d5a692fc59 Rm the slow solver code (#859) Mark Mossberg 2018-04-09 10:01:12 -06:00
  • 4276bd5c7c Remove assertion on brk() khorben 2018-04-06 03:22:00 +02:00
  • 0fc4bba9ad Added all the uint types supported by Solidity (#811) ggrieco-tob 2018-04-05 17:43:15 -03:00
  • 6616b9e05c Ethereum ABI and misc fixes (#855) Mark Mossberg 2018-04-05 13:31:16 -06:00
  • af779d8baa Do not forget self (again) (#854) cclauss 2018-04-03 22:47:47 +02:00
  • bda9c091b5 Manticore 0.1.8 (#851) Mark Mossberg 2018-03-30 18:26:26 -04:00
  • 2f382a9d1c Added KeyError Exception for offsets not in srcmap. Issue #832 (#839) Arun John Kuruvilla 2018-03-30 10:44:34 -04:00
  • 03af65e55f A more complete example to initialize and explore a smart contract with manticore (#827) ggrieco-tob 2018-03-22 09:40:51 -03:00
  • 9c19014e4b Fix duplicated armv7 test name (#833) Disconnect3d 2018-03-22 02:34:19 +07:00
  • d1051f6c84 Push 0 on internal revert (#830) feliam 2018-03-20 14:30:09 -03:00
  • 2eb002593e evm: add per state trace file (#817) Mark Mossberg 2018-03-19 14:22:08 -04:00
  • 8acd2293b8 Added --txaccount parameter to control the caller of the symbolic exploration of smart contracts (#819) ggrieco-tob 2018-03-19 15:08:22 -03:00
  • e97e631d8e port ethereum tests to individual files (issue #809) (#820) Matthew Roll 2018-03-19 09:24:04 -04:00
  • fb79127bc2 Graceful exit when no states to run (#815) Mark Mossberg 2018-03-16 17:48:36 -04:00
  • a21c8b6012 Improve evm docs (#816) Mark Mossberg 2018-03-16 13:32:32 -04:00
  • eaa0e524b4 Fix off by 1 error in codecopy (#812) Mark Mossberg 2018-03-15 16:41:29 -04:00
  • fb3938bb3e Raises exception for contract with a function without code. Issue #789 (#797) Arun John Kuruvilla 2018-03-15 16:31:18 -04:00
  • cf789a4291 Introduce concretized_args decorator (#803) Yan Ivnitskiy 2018-03-14 16:45:12 -04:00
  • 61babdbe21 Fix evm RETURN implementation (#808) Yan Ivnitskiy 2018-03-12 15:27:18 -04:00
  • bb4a7966a8 Add codeclimate, tox, and pycodestyle configs (#772) Dan Guido 2018-03-12 14:40:06 -04:00
  • fceb48ce0c Update Create (evm exception) arguments (#805) Yan Ivnitskiy 2018-03-12 12:19:38 -04:00
  • fbf0823cb6 Very quick fix to avoid STOP instructions to return random values (#792) ggrieco-tob 2018-03-07 14:57:59 -03:00
  • f4118f4f0f Added a function to generate evm testcases without using callbacks (#791) ggrieco-tob 2018-03-06 18:35:19 -03:00
  • fe2538f6bc Add docstring for ARM's operand.is_shifted (#788) Disconnect3d 2018-03-06 06:42:48 +07:00
  • 328b62350a Change assertion->exception and add msg when target file is not present (#778) Disconnect3d 2018-03-03 03:55:13 +07:00
  • 7349a0b13d Fix out-of-bound index in EVMWorld._process_pending_transaction (#786) Feist Josselin 2018-03-02 21:52:56 +01:00
  • 03ecb3fd9f Fix cli --data parameter (#781) Mark Mossberg 2018-03-01 18:48:10 -05:00
  • 17e90986b8 Used a namedtuple for pending transaction. Issue #689 (#775) Arun John Kuruvilla 2018-03-01 18:27:52 -05:00
  • 9b75a1f0fe Unicorn emulator: get uc_arch & uc_mode values just once (#779) Disconnect3d 2018-03-02 06:24:27 +07:00
  • 20cb97f7ae Fix Cpu.execute's improper reporting of Unimplemented instruction (#777) Disconnect3d 2018-03-02 01:40:51 +07:00
  • 48f88be759 Dev fix solver getvalue (#739) feliam 2018-02-28 20:11:54 -03:00
  • 39370ccf3c Let the Python interpreter be specified externally (#774) khorben 2018-02-27 18:33:25 +01:00
  • 461da57ea3 Array value configurable. 8,16,32..256 bits (not prefixed to 8) (#732) feliam 2018-02-26 21:09:34 -03:00
  • 3b00199dd2 Let the Python interpreter be specified externally khorben/makefile-python khorben 2018-02-26 20:32:33 +01:00
  • a3ee31e6e6 Manticore 0.1.7 Release (#764) Yan Ivnitskiy 2018-02-23 18:31:31 -05:00
  • 394401e3f4 Fix ARMv7's ADD (#769) Yan Ivnitskiy 2018-02-23 18:07:49 -05:00
  • b9aa483745 evm: Fix MUL overflow false positive (#767) Mark Mossberg 2018-02-23 12:42:15 -08:00
  • 3f1c51fa91 Improve solc error output (#765) Mark Mossberg 2018-02-23 08:13:55 -08:00
  • d0f69c755c Add ethereum regression tests (#763) Mark Mossberg 2018-02-22 13:04:01 -08:00
  • 8e47a6ebe9 Drive-by typo correction ;-) (#762) Jean Jordaan 2018-02-22 20:17:49 +07:00
  • ebe0baa178 Emit events for exception raising evm instructions (#722) Mark Mossberg 2018-02-20 12:10:29 -08:00
  • 9f0d25c5d9 Fix evm state handling regression (#741) Mark Mossberg 2018-02-20 04:57:07 -08:00
  • 105a7d3aee Speedup x86 execution by caching AMD64RegFile.all_registers (#755) Disconnect3d 2018-02-20 08:48:26 +07:00
  • 680fc8f17e Armv7 code refactor (#749) Disconnect3d 2018-02-17 17:51:58 +01:00
  • c6f457d72e Updates for thumb mode (#610) Garret Reece 2018-02-15 14:47:36 -06:00
  • fca3179dd0 System calls addition - sys_getrandom and sys_openat (#640) Srinivas P G 2018-02-14 16:52:54 -05:00
  • 843a4f399e Fix finalize (#738) feliam 2018-02-14 18:28:50 -03:00
  • 2f2de29d36 Better plugin context management. (#730) feliam 2018-02-14 17:13:40 -03:00
  • 84aca4ac1b Add docs on symbolic input (#750) Mark Mossberg 2018-02-13 19:15:54 -05:00
  • f8587ff13e Bump default gas budget (#740) feliam 2018-02-13 20:55:52 -03:00
  • 4d84551375 Fixed Issue #723 - changed _pop() to _pop_vm() (#745) Arun John Kuruvilla 2018-02-08 15:25:40 -05:00
  • 5a38737ede Fix sha3 (#703) feliam 2018-02-05 15:00:05 -03:00
  • 2f2b081aa9 Added multiprocessing support to generate testcases in finalize (#697) ggrieco-tob 2018-02-02 15:37:24 -03:00
  • 97307906c5 Fix incorrect number of transaction in certain states (#724) Mark Mossberg 2018-02-02 13:23:04 -05:00
  • 9f7b87d0b8 Use the 'force' flag for bss zeroing (#719) Yan Ivnitskiy 2018-01-31 11:47:46 -05:00
  • a1f809732d Quick evm header fix (#679) feliam 2018-01-30 17:31:28 -03:00
  • c0068431c9 Introduce a 'force' parameter to memory access functions (#632) Yan Ivnitskiy 2018-01-30 12:17:27 -05:00
  • faf1d16b99 Allow importing solidity files from current folder (#717) feliam 2018-01-29 20:28:31 -03:00
  • 60d2b61fb3 Run linux examples in Travis (#668) Yan Ivnitskiy 2018-01-18 15:50:13 -05:00
  • 7907d0179d Added support to analyze solidity source code with multiple contracts using the --contract command line option (#712) ggrieco-tob 2018-01-17 16:11:13 -03:00
  • aeb3b99f7d the fix (#702) feliam 2018-01-16 13:53:01 -03:00
  • 000ef094f9 Update state.py (#709) Alexander Holman MBCS AMIAP 2018-01-16 16:26:07 +00:00
  • 03f92a7f0b Update manticore.py (#710) Alexander Holman MBCS AMIAP 2018-01-16 16:25:16 +00:00
  • 465c926a2e Fix metadata setting race (#675) feliam 2018-01-08 20:34:27 -03:00
  • 7b2607b0a6 Improved readability of .tx files using repr to print function call arguments (#694) ggrieco-tob 2018-01-08 14:09:27 -03:00
  • 98712cf426 Adds support for unmarshaling bytes32 type (#680) feliam 2018-01-05 18:04:35 -03:00
  • 976f31446d Add missing DivideByZeroError import and replaced DivideError by DivideByZeroError (#692) ggrieco-tob 2018-01-05 16:06:00 -03:00
  • 743d479cbf Added missing **kwargs to ManticoreEVM constructor (#686) ggrieco-tob 2018-01-05 12:39:25 -03:00
  • 3b796091c2 NotImplemented(x) -> NotImplementedError(x) (#677) ggrieco-tob 2017-12-29 12:49:50 -03:00
  • b6753a34ae Adds support for unmarshaling uint8 type (#681) ggrieco-tob 2017-12-29 12:48:07 -03:00
  • 4c0f4bc6cf Trick rtd into thinking we don't need z3 (#671) Mark Mossberg 2017-12-22 19:11:25 -05:00