Skip to main content

Browse the archive

https://github.com/trailofbits/manticore
05 April 2024, 22:53:39 UTC
sort by:
Revision Author Date Message Commit Date
5957e44 Eric Hennenfent 30 April 2019, 20:08:23 UTC Merge branch 'merge-aarch64' into aarch64-instruction-tests-t-u 30 April 2019, 20:08:23 UTC
50340c9 Nikita Karetnikov 30 April 2019, 20:07:29 UTC aarch64: add instruction tests: M-S (#1422) * aarch64: add instruction tests: A-B * aarch64: add instruction tests: C-L * aarch64: add instruction tests: M-S * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' 30 April 2019, 20:07:29 UTC
4c406b1 Nikita Karetnikov 30 April 2019, 20:05:56 UTC aarch64: add instruction tests: C-L (#1421) * aarch64: add instruction tests: A-B * aarch64: add instruction tests: C-L * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' 30 April 2019, 20:05:56 UTC
dd6e565 Nikita Karetnikov 30 April 2019, 20:03:04 UTC aarch64: add instruction tests: A-B (#1420) * aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. * aarch64: add instructions * aarch64: add instruction tests: A-B * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' 30 April 2019, 20:03:04 UTC
b590c41 Eric Hennenfent 30 April 2019, 20:02:31 UTC Fix conflicts 30 April 2019, 20:02:31 UTC
ff4d419 Eric Hennenfent 30 April 2019, 20:01:14 UTC merge into merge-aarch64 30 April 2019, 20:01:14 UTC
04a1cd3 Nikita Karetnikov 30 April 2019, 19:57:41 UTC aarch64: add everything except instructions (#1418) * aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' 30 April 2019, 19:57:41 UTC
a01593f Nikita Karetnikov 30 April 2019, 17:01:59 UTC fixup: support ARM64 in '_reg_name' 30 April 2019, 17:21:41 UTC
f6db31c Nikita Karetnikov 30 April 2019, 16:59:49 UTC Revert "fixup: remove x86-specific code from '_reg_name'" 30 April 2019, 17:21:41 UTC
add459e Nikita Karetnikov 30 April 2019, 17:01:59 UTC fixup: support ARM64 in '_reg_name' 30 April 2019, 17:19:53 UTC
9fc99bd Nikita Karetnikov 30 April 2019, 16:59:49 UTC Revert "fixup: remove x86-specific code from '_reg_name'" 30 April 2019, 17:19:45 UTC
204c027 Nikita Karetnikov 30 April 2019, 12:22:05 UTC review: avoid wildcard imports 30 April 2019, 13:11:33 UTC
c49194e Nikita Karetnikov 30 April 2019, 09:11:57 UTC review: rename the file 30 April 2019, 13:11:32 UTC
e33f165 Nikita Karetnikov 30 April 2019, 12:22:05 UTC review: avoid wildcard imports 30 April 2019, 13:11:32 UTC
8769389 Nikita Karetnikov 30 April 2019, 09:11:57 UTC review: rename the file 30 April 2019, 13:11:32 UTC
b5dcbb7 Nikita Karetnikov 30 April 2019, 10:02:13 UTC fixup: remove x86-specific code from '_reg_name' 30 April 2019, 11:52:10 UTC
75b6f7c Nikita Karetnikov 30 April 2019, 10:02:13 UTC fixup: remove x86-specific code from '_reg_name' 30 April 2019, 10:05:34 UTC
4c00329 Nikita Karetnikov 29 April 2019, 12:53:09 UTC fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. 29 April 2019, 12:59:05 UTC
ab70743 Nikita Karetnikov 29 April 2019, 12:53:09 UTC fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. 29 April 2019, 12:57:37 UTC
54c5a15 feliam 29 April 2019, 12:37:24 UTC Generates a more sensible symbolic default for constructor arguments (#1414) * Fix #1412 * Add basic test * CC 29 April 2019, 12:37:24 UTC
808b808 Nikita Karetnikov 29 April 2019, 09:31:21 UTC aarch64: add instruction tests: T-U 29 April 2019, 10:52:24 UTC
50b6d7f Nikita Karetnikov 29 April 2019, 09:29:24 UTC aarch64: add instruction tests: M-S 29 April 2019, 10:52:02 UTC
103bc64 Nikita Karetnikov 29 April 2019, 09:27:44 UTC aarch64: add instruction tests: C-L 29 April 2019, 10:51:39 UTC
7c726f3 Nikita Karetnikov 29 April 2019, 09:20:26 UTC aarch64: add instruction tests: A-B 29 April 2019, 10:51:14 UTC
229d2d6 Nikita Karetnikov 29 April 2019, 09:05:34 UTC aarch64: add instructions 29 April 2019, 10:46:14 UTC
0002b20 Nikita Karetnikov 29 April 2019, 06:52:47 UTC aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. 29 April 2019, 10:45:32 UTC
2a1c341 Eric Hennenfent 25 April 2019, 22:58:17 UTC Switches the Travis-CI badge from .org to .com (#1416) 25 April 2019, 22:58:17 UTC
4d5d5b8 Catena cyber 25 April 2019, 22:57:57 UTC Performance optimization : use set instead of list (#1415) Better average performance for `ìn` operation : O(1) instead of O(n) 25 April 2019, 22:57:57 UTC
22cdf85 Eric Hennenfent 24 April 2019, 00:42:02 UTC Fix DECREE Magic Pages (#1413) Travis is almost done and the relevant parts have passed 24 April 2019, 00:42:02 UTC
aadd7a0 Alan 22 April 2019, 21:15:19 UTC Migrate sandshrew concolic executor as Manticore script (#1396) * Add consolidated sandshrew concolic testing script * Migrate repository content into one-file script * Reorganize for code style consistency * Optimizations to sandshrew script * Add sandshrew example test cases * Move test cases over from standalone repo * Add Makefile * Add sandshrew documentation files 22 April 2019, 21:15:19 UTC
9c9b619 Eric Hennenfent 19 April 2019, 21:18:14 UTC Fix Travis Coverage (#1409) * Fix JOB_COUNT env var That took way longer than it should have to figure out * Fix incorrect comment Whoops... 19 April 2019, 21:18:14 UTC
3fc2faa Eric Hennenfent 19 April 2019, 18:37:08 UTC Fix CodeClimate Master (#1408) Fixes a few CC bugs that made it into master, and marks the "too many functions" issues that we always ignore as wontfix. Travis is green so I'm just going to merge this. 19 April 2019, 18:37:08 UTC
efdac08 Mark Mossberg 18 April 2019, 17:59:28 UTC Remove all broad excepts (#1405) 18 April 2019, 17:59:28 UTC
220b949 Logan Campos 17 April 2019, 09:53:01 UTC PEP-257: Change docstrings using single quotes to double quotes (#1401) * PEP-257: change docustrings using single quotes to double quotes Signed-off-by: binaryflesh <logan.campos123@gmail.com> * fix pseudocode in docstring Signed-off-by: binaryflesh <logan.campos123@gmail.com> 17 April 2019, 09:53:01 UTC
d0a5ec2 Logan Campos 17 April 2019, 09:49:43 UTC Add bash syntax highlighting to shell examples in README (#1402) Signed-off-by: binaryflesh <logan.campos123@gmail.com> 17 April 2019, 09:49:43 UTC
67c1d66 Gustavo Grieco 04 April 2019, 00:27:08 UTC Update README.md (#1397) 04 April 2019, 00:27:08 UTC
913c258 Evan Sultanik 28 March 2019, 20:23:50 UTC Concretize `pc` if possible to resolve issue #1394 (#1395) 28 March 2019, 20:23:50 UTC
a1f8fb3 Eric Kilmer 26 March 2019, 15:14:25 UTC Fix logic for solc relative path (#1393) This allows solc-select (which runs in docker) to correctly access the relative path of a sol file. 26 March 2019, 15:14:25 UTC
f4582b3 Catena cyber 26 March 2019, 15:14:02 UTC Only publish events when there is one subscriber (#1388) * Only publish events when there is one subscriber Performance optimization * Move sub_events to init. * Revert "Move sub_events to init." This reverts commit 0859a630203edaa7b7d2bd63fdb676a6bdb5f84a. * Update event.py 26 March 2019, 15:14:02 UTC
d3e4c0f feliam 25 March 2019, 13:39:23 UTC Fix #1391 (#1392) 25 March 2019, 13:39:23 UTC
d287024 Eric Hennenfent 18 March 2019, 22:09:42 UTC Release 0.2.5 (#1390) Travis passed in a previous build so we won't bother re-running it for changes to documentation. 18 March 2019, 22:09:42 UTC
3a460d5 feliam 18 March 2019, 18:50:56 UTC Load truffle json artifacts (#1376) * WIP load truffle json artifacts * No 'signature' * Better truffle -artifact support * CC * Add basic test for truffle artifacs and update solidity linking * Missing data file for truffle test * CC * Add full fledged example for truffle json * Clean argument dosc for truffle * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/ethereum/manticore.py Necessary for 9a93cc5 * Add check for byte type and fix f string * New lib linking bugfix * Ability to pass constructor arguments to a Truffle JSON contract (#1376) * Added sampling capabilities to RETURN.size * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> 18 March 2019, 18:50:56 UTC
4d0cfd4 feliam 14 March 2019, 23:49:29 UTC Better doc for solc fails (#1386) * Better solc invocation failing doc * Better solc invocation failing doc * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> 14 March 2019, 23:49:29 UTC
9097916 Evan Sultanik 14 March 2019, 11:56:23 UTC More informative errors for unimplemented EVM features (#1387) * Report the transaction type that is not yet supported * Added a more informative error about the `STATICCALL` opcode (#1168) * Reminder for when #1168 is addressed 14 March 2019, 11:56:23 UTC
10707f6 Disconnect3d 06 March 2019, 19:48:43 UTC Fix #1380 - add parsetab to repo (#1383) * Fix #1380 - add parsetab to repo * Ignore parsetab in codeclimate We don't need to check autogenerated files since they shouldn't be modified by humans anyway * Yaml paths are top-level 06 March 2019, 19:48:43 UTC
71b8d2b William Woodruff 27 February 2019, 00:47:55 UTC examples/linux: Refactor, fix crackme.py (#1378) * examples/linux: Refactor crackme.py * Dockerfile: Re-add LANG environment variable See: #1300 See: #1137 27 February 2019, 00:47:55 UTC
bc77660 Eric Hennenfent 26 February 2019, 19:28:22 UTC Unicorn Preload (#1356) Modifies the Unicorn emulator module to allow it to be used for "preloading" large binaries. It uses Unicorn to execute x64 instructions in bulk while Manticore handles IO and syscalls. State changes are aggressively written from Manticore back to Unicorn, and lazily written from Unicorn to Manticore before a syscall. Can be used to concretely execute entire binaries, but should not be used once symbolic data has been introduced. The following script demonstrates this. The user can register a plugin at startup that tells Manticore to use Unicorn to quickly execute the initialization instructions leading up to the start of `main`. The binary in question is [`multiple-styles`](https://gist.github.com/ehennenfent/a5ad9746615d1490c618a88b98769c10) from an old example. ```python from manticore.native import Manticore from manticore.core.plugin import Plugin address_of_main = 0x4009ae class concretePlugin(Plugin): def will_start_run_callback(self, state, *_args): state.cpu.emulate_until(address_of_main) m = Manticore("multiple-styles", concrete_start='coldlikeminisoda') m.register_plugin(concretePlugin()) m.run() ``` Once `main` is reached, Manticore takes over and continues execution as normal. In the case of this example, the full solution is `coldlikeminisodas`, so Manticore generates two different test cases for the remaining byte. The performance improvement for this example is only marginal because the bulk of the time is taken up by the solver, and relatively little initialization is required before executing `main`. However, more complex binaries can see very significant speedups. 26 February 2019, 19:28:22 UTC
cdae2bc Disconnect3d 14 February 2019, 15:22:23 UTC Inline EVM's get_possible_solutions (#1372) This was an internal function used just once and it was recreated each time the _consume was executed which can be slow. 14 February 2019, 15:22:23 UTC
c113a13 Joel Frank 12 February 2019, 20:37:10 UTC Fix ethereum Manticore API issue, where creating a new account with the code field failed (#1371) * Fix Manticore API issue * - Added test for Manticore API issue - also bugfix for assertion 12 February 2019, 20:37:10 UTC
627abaf Disconnect3d 12 February 2019, 19:25:00 UTC Rename tests: add solidity_ prefix (#1311) 12 February 2019, 19:25:00 UTC
2a48b66 Nicolai Søborg 07 February 2019, 14:24:19 UTC Ensure native deps (better error message) (#1367) The error message for first time users can be a bit confusing ("NameError: name 'native_main' is not defined"), if native deps isn't installed and the user is running the program against a binary file. ``` $ pip3 install manticore [...] $ manticore ./app Traceback (most recent call last): File "/home/user/.local/bin/manticore", line 11, in <module> sys.exit(main()) File "/home/user/.local/lib/python3.6/site-packages/manticore/__main__.py", line 43, in main native_main(args, logger) NameError: name 'native_main' is not defined ``` After this patch, the code will instead return "ImportError: Missing some packages for native binary analysis. Please install them with pip install manticore[native]." 07 February 2019, 14:24:19 UTC
214f9e8 Eric Hennenfent 21 January 2019, 21:02:02 UTC Make sys_lseek return offset location (#1355) Per the [man page](http://man7.org/linux/man-pages/man2/lseek.2.html#RETURN_VALUE), `lseek` should return the offset location as measured in bytes from the beginning of the file. 21 January 2019, 21:02:02 UTC
efeb5b5 Nikita Karetnikov 21 January 2019, 16:43:34 UTC Fix a typo in the documentation (#1360) 21 January 2019, 16:43:34 UTC
18265f3 Disconnect3d 17 January 2019, 10:10:02 UTC Refactor tests structure (#1352) * Refactor tests structure * Travis: run whole test suite * Fix travis * Fix travis * Fix import * travis_test.sh: split tests/ directories into jobs * Fix travis_test.sh * Fix VMTests proper setup/teardown * Fix tests 17 January 2019, 10:10:02 UTC
26dc0d2 feliam 17 January 2019, 01:32:40 UTC Dev single gas calc (#1353) * Try fix concolic * Let gas calc be done in a single place * Fix refactoring 17 January 2019, 01:32:40 UTC
1da68dc Eric Hennenfent 16 January 2019, 16:04:39 UTC Symbolic memory model bugfixes (#1350) * Apply returned operands from memory read callbacks * Limit memory callbacks in favor of pluggable memory model * Support len() in bytes for bitvectors * Rolled back changes to read_int * Fix misdirected imports in logging module * Add docstring * Update expression.py 16 January 2019, 16:04:39 UTC
0627a5a disconnect3d 15 January 2019, 19:41:41 UTC Refactor not-existing SValue into BitVecVariable 15 January 2019, 19:42:30 UTC
81d42d0 Disconnect3d 15 January 2019, 15:53:48 UTC Config with context (#1345) * config: try instead of asking * config.Group: `with statement` usage This changes introduces possibility to make temporary changes to config groups. * Review changes 15 January 2019, 15:53:48 UTC
3a01591 Disconnect3d 15 January 2019, 14:38:11 UTC Update Capstone to 4.0.1 (#1312) * Update Capstone to 4.0 * Update Capstone to 4.0.1 As it is there! https://pypi.org/project/capstone/#history It has a minor bug with getting the extra version number but it doesn't hit us at all (see https://github.com/aquynh/capstone/issues/1315#issuecomment-454386418). 15 January 2019, 14:38:11 UTC
848fb7e Disconnect3d 15 January 2019, 12:27:11 UTC evm: fix _check_jumpdest when run with detectors (#1347) * evm: fix _check_jumpdest when run with detectors When ManticoreEVM is run with detectors, the self.pc in EVM is a Constant (as we need to taint it). Because of that, the check: ``` if pc not in self._valid_jumpdests: raise InvalidOpcode() ``` failed - i.e. we raised an InvalidOpcode because we checked if the list contains the `Constant` object and not its value. This commit fixes this issue. * Fix the test 15 January 2019, 12:27:11 UTC
6804661 Disconnect3d 14 January 2019, 21:37:20 UTC Move tx default gas value to config (#1346) 14 January 2019, 21:37:20 UTC
c705e85 Disconnect3d 14 January 2019, 17:30:50 UTC Refactor config (#1335) * Optimize config.py imports * Use dict literal instead of dict() * config.py: process_config_values: add type adnotations * Annotation and docstring 14 January 2019, 17:30:50 UTC
cb078ff Disconnect3d 14 January 2019, 17:28:08 UTC Fix writing pc address finding (#1344) * Print as hex values * Fix wrong attribute * Fix test 14 January 2019, 17:28:08 UTC
35be876 Luigi Coniglio 14 January 2019, 13:37:11 UTC Fix unexisting attribute (#1341) 14 January 2019, 13:37:11 UTC
ea01069 Disconnect3d 14 January 2019, 12:05:22 UTC Add info about ulimit 14 January 2019, 12:05:22 UTC
e1c519a Disconnect3d 10 January 2019, 22:37:28 UTC Manticore 0.2.4 (#1338) * Manticore 0.2.4 * Move terminated state ressurecting bug to ethereum in changelog * Changelog improvements * Linkify * Add missing PR id 10 January 2019, 22:37:28 UTC
97cfde0 disconnect3d 10 January 2019, 17:21:12 UTC Fix tests that used --timeout 10 January 2019, 17:21:12 UTC
324504e disconnect3d 10 January 2019, 16:40:43 UTC Revert back the test file name 10 January 2019, 16:40:43 UTC
a812635 Disconnect3d 10 January 2019, 15:47:22 UTC Fix missing consts in CLI args (#1337) * Fix constants missing from manticore --help * Use has_native for native constants * Remove duplicated args from consts: stdin_size and timeout * Move timeout back to shutdown_timeout * Update manticore/core/manticore.py 10 January 2019, 15:47:22 UTC
6f7f200 disconnect3d 10 January 2019, 02:13:27 UTC Fix verbose_trace test Fixes test regression introduced in 0e90ca3: the gas default value has changed from 90k to 3kk. 10 January 2019, 02:13:28 UTC
8b9632e Disconnect3d 10 January 2019, 02:09:05 UTC Refactor solver (#1334) * Refactor docstrings and add type adnotations * Rename _check to _is_sat and return bool So we won't have to do `== 'sat'` comparison in tons of places. * Compile regular expressions just once! * Refactor imports * Refactor docstrings and recv method * Fix imports in ethereum.detectors 10 January 2019, 02:09:05 UTC
0e90ca3 Disconnect3d 09 January 2019, 23:31:47 UTC Evm: change default gas to 3000000 when creating contract (#1332) 09 January 2019, 23:31:47 UTC
0814222 Disconnect3d 09 January 2019, 22:19:35 UTC Explicitly require Python>=3.6 when using CLI (#1331) * Require Python>=3.6 We have this in setup.py python_requires but it doesn't work with old pip versions and we get reports that Manticore throws a SyntaxError (on a f-string literal :/). * Move check to __init__ 09 January 2019, 22:19:35 UTC
be81fb5 disconnect3d 09 January 2019, 13:38:05 UTC Speed up the EMVWorld.__str__ a bit ...so we can debug a bit faster. * moved `FILTER` outside of `hexdump` so it is created once, also renamed to `_FILTER` * moved `hexdump` func outside of `__str__` (so it doesn't recreate it each time) * changed list comprehensions to generator expressions (so we don't create unnecessary lists) This still isn't perfect and there are rooms for improvements. It's probably good to drop from using lists at all and use some efficient string concatenation method (see also https://waymoot.org/home/python_string/). 09 January 2019, 13:42:19 UTC
e83fae8 Disconnect3d 09 January 2019, 13:21:53 UTC Add VerboseTraceStdout plugin (#1330) 09 January 2019, 13:21:53 UTC
28f6a46 Disconnect3d 09 January 2019, 11:37:31 UTC Minor evm refactor (#1329) 09 January 2019, 11:37:31 UTC
d6aa04d Disconnect3d 08 January 2019, 20:28:24 UTC Hotfix regressions (#1328) * Fix ConcretizeStack -> ConcretizeArgument rename * Fix: remove redundant calc in CALLDATACOPY_gas Note that it could crash the execution when the argument was symbolic (tested on contract from issue 1295) * Fix: not declared _value * Fix ConcretizeFee: set concretize value 08 January 2019, 20:28:24 UTC
c9eb624 feliam 07 January 2019, 23:44:36 UTC Make gas calculation faithfulness configurable (#1279) * split extra gas calculation to it's own method * Fix MSTORE8 * Fix some legacy tests * Remove fork selection * Fix legacy tests. Iff Stack Underflow then gas is consumed in full * memfee is zero when size is zero * CC * 1st version of configurable gas faitfulness * Try fix concolic * Fix typo * Fix logic bug * If everything is concrete lets just check at every instruction * Fix bad import at test * CC * CC * CC * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Fix tab * Documment check_jmpdest * Remove unnecesary local var * Fix get_memfee arguments * Change docstrings comments * Fix concrete gas consumption for accesses with size 0 (Frontier). Fix auto tests maker. * Add comment of deleted constant * CC * fix merged test and add gas to vm.__str__ * Update evm.__str__ related tests * Try to fix/update output checking test * docstring OCD * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * docstring SOCD and fix oog config var * Fix oog config variable * Fix CC * Typo: ammmmount 07 January 2019, 23:44:36 UTC
e83a608 Disconnect3d 07 January 2019, 19:37:56 UTC Fix terminated states resurrection (#1326) * Add testcase for 1325 * Fixes 1325 07 January 2019, 19:37:56 UTC
f349adb Disconnect3d 07 January 2019, 16:52:17 UTC Make is_human a property (#1323) * Make is_human a property * Update manticore/platforms/evm.py * Better docstring 07 January 2019, 16:52:17 UTC
b7f9a46 Sharon Lin 06 January 2019, 21:49:36 UTC added warning and error to sys_arch_prctl (#1319) * added warning and error to sys_arch_prctl * Changed error message and list to set literals * Removed trailing whitespace 06 January 2019, 21:49:36 UTC
64c75fb Disconnect3d 03 January 2019, 11:25:31 UTC Fix evm's make_symbolic_address (#1318) * Fix evm's make_symbolic_address The code that created a constrain for created symbolic address was unreachable. * Add testcase for make_symbolic_address 03 January 2019, 11:25:31 UTC
23199f2 Disconnect3d 02 January 2019, 15:44:06 UTC Minor state/platform refactor (#1320) The `StateBase` class had two properties that are only used in native engines: `cpu` and `mem`. Those two used `self._platform.current` and that `current` is a property in linux and decree platforms that returns current process platfrom (?). 02 January 2019, 15:44:06 UTC
b7626fc Alan 01 January 2019, 15:46:59 UTC Add symbol resolution feature for binary analysis (#1302) * Remove obsolete symbol resolver helper * Add resolve helper for function sym resolving * Add test case for symbol resolution * Add binary path property, fix decree, fix m.resolve Refactor out resolver helper Decree missing self.program attribute Fix use of exceptions in m.resolve Make m.resolve raise exception instead of returning None Add another test case 01 January 2019, 15:46:59 UTC
4cb7e3b Disconnect3d 20 December 2018, 23:21:05 UTC Refactor events and test_events (#1314) 20 December 2018, 23:21:05 UTC
c0b6ce1 Disconnect3d 20 December 2018, 22:49:49 UTC Speed up ArmV7Operand.type assertions (#1313) * Speed up ArmV7Operand.type assertions So .type will now just return the value instead of building a mapping and returning a result. * Update manticore/native/cpu/arm.py * Revert debug changes 20 December 2018, 22:49:49 UTC
94991c8 Disconnect3d 18 December 2018, 00:49:36 UTC Fix eth private func calls (#1306) * Add test for calling contract._func * Fix contract._func calls * EVMContract: make attributes protected * Move EVMContract __hashes={} to __init__ * Fix attribute error * Review fix 18 December 2018, 00:49:36 UTC
e3f8801 Disconnect3d 18 December 2018, 00:40:13 UTC __main__.py: fetch manticore version from installed module (#1310) 18 December 2018, 00:40:13 UTC
6b80359 Alan 17 December 2018, 22:44:47 UTC Migrate hook callback methods to native.Manticore (#1309) * Migrate hook callback methods to native.Manticore * Fix indentations 17 December 2018, 22:44:47 UTC
f1fa154 Disconnect3d 17 December 2018, 19:24:45 UTC test_manticore: remove redundant imports (#1308) 17 December 2018, 19:24:45 UTC
b399080 Disconnect3d 17 December 2018, 19:15:06 UTC Remove Py3 redundant object inheritance (#1307) 17 December 2018, 19:15:06 UTC
580b358 Disconnect3d 17 December 2018, 14:04:00 UTC Refactor generate_testcase events and fix eth verbose trace plugin (#1305) * WIP * Add test * Add missing test data file * Fix missing testcase msg and assert it in test * Remove Executor.generate_testcase - just publish event * Remove redundant import * Add ManticoreBase._last_run_stats * Review fixes * Remove redundant assertions in test_basic_arm * Elapsed time calc fix 17 December 2018, 14:04:00 UTC
463a394 Eric Hennenfent 14 December 2018, 18:05:23 UTC Fix logging regressions (#1304) * Fix logging Creates custom loggers so that we no longer need to call init_logging. Verbosity is automatically set upon logger creation, and updated in the event of manticore_verbosity being set after the fact. * Strip the stateid from the loggers It literally only ever gets set to None. * Fix deleted line That's what source control is for * Appease CodeClimate Trouble me no more, damnable machine 14 December 2018, 18:05:23 UTC
54bf795 Disconnect3d 12 December 2018, 21:07:09 UTC Display registered eth detectors (#1301) * Display registered eth detectors ``` root@52356aa06255:/# manticore test.sol 2018-12-12 13:53:58,615: [1496] m.c.manticore:INFO: Verbosity set to 1. 2018-12-12 13:53:58,798: [1496] m.main:INFO: Registered plugins/detectors: DetectInvalid, DetectExternalCallAndLeak, DetectEnvInstruction, DetectReentrancySimple, DetectUninitializedMemory, DetectDelegatecall, DetectUninitializedStorage, DetectReentrancyAdvanced, DetectUnusedRetVal, DetectSuicidal, DetectIntegerOverflow 2018-12-12 13:53:58,799: [1496] m.main:INFO: Beginning analysis 2018-12-12 13:53:58,800: [1496] m.e.manticore:INFO: Starting symbolic create contract Mnemonic return Mnemonic return hooman 2018-12-12 13:53:58,933: [1496] m.e.manticore:INFO: Starting symbolic transaction: 0 2018-12-12 13:53:59,072: [1496] m.e.manticore:INFO: 0 alive states, 2 terminated states 2018-12-12 13:53:59,117: [1496] m.e.manticore:INFO: Starting symbolic transaction: 1 2018-12-12 13:53:59,133: [1558] m.e.manticore:INFO: Generated testcase No. 0 - REVERT 2018-12-12 13:53:59,462: [1558] m.e.manticore:INFO: Generated testcase No. 1 - RETURN 2018-12-12 13:53:59,590: [1496] m.c.manticore:INFO: Results in /mcore_f7hsxcpn 2018-12-12 13:53:59,591: [1496] m.c.manticore:INFO: Total time: 0.6525142192840576 ``` * Update manticore/ethereum/cli.py * Update tests/test_binaries.py 12 December 2018, 21:07:09 UTC
787237f Disconnect3d 12 December 2018, 19:41:59 UTC Don't clone Manticore in Docker image (#1300) * Don't clone Manticore in Docker image So people can build image from given Manticore version, if they want. * Remove editable pip install mode * Fix typo * Dockerfile: Use LABEL instead of deprecated MAINTAINER * Download binary solc 0.4.25 * Revert debug changes from different branch 12 December 2018, 19:41:59 UTC
9412296 Mark Mossberg 12 December 2018, 00:47:34 UTC fix changelog bug 12 December 2018, 00:47:34 UTC
578fdc6 Mark Mossberg 12 December 2018, 00:21:26 UTC Manticore 0.2.3 (#1298) * bump vers * Add instructions for native install * add changelog * update * Update desc * Add contributors * fmt * correct * Update CHANGELOG.md * fix eth cli usage * update linux script * docker use native install * use native in quickstart 12 December 2018, 00:21:26 UTC
e8170ba Disconnect3d 12 December 2018, 00:10:48 UTC Disable RaceCondition detector (#1299) 12 December 2018, 00:10:48 UTC
e21cdea Disconnect3d 11 December 2018, 22:27:18 UTC Refactor detectors cli (#1286) * Use triple quotes for docstrings * Refactor detectors CLI * Add prettyable dependency to setup.py * Fix typo in prettytable dependency name * Fix test * Unregister detectors and plugins after finalize * Add docstrings to unregister plugin/detector * Changes: leave just --exclude-all and --exclude flags * Fix eth test * Fix setup 11 December 2018, 22:27:18 UTC
e8a6321 feliam 11 December 2018, 18:58:33 UTC Add new auto CONCRETE test generator for eth vmTests (#1160) * New auto evm test generator [WIP] * New auto test generator for EVM * New VMTest mcore translator * Allow to auto-make single tests * New concrete auto test for vmTests snad tests * MAke bytecode bytes or array in tests too * Make bytecode bytes or array in tests too more * initial timestamp fix * Fix jmpdest gas test and evm * New tests style and some fixes * __init__ in test folders * Fix VMTest to unitests. Fix Array/ArraySlice default values * Added rlp to setup.py * Remove old deprecated tests * Debugging storage/memory default values * avoid gas consumption of empty reads * CC * Fix .written list for sliced arrays * Move blocknumber/timestamp out of evmworld * CC * Several gas related fix. Frontier concrete pass * Fix ArrayProxy tests * Debug travis * Split the regresion test so it prints . (dots) * If value is in the cache then it is a known index. optimization * add main to some unittest * FIx test maker * CC and skip slow test * Skipp other slow test for now * initial_timestamp -> timestamp * more skipping * Fix/mitigate expression copying issue * Try fix concolic * Fix simplification so it does not loose taint * Fix no-testcases and verbosity in tests * Extra visitor tests * Extra visitor tests * Better array slicing test. Code review. Basic fork support. VMTest concrete added * bump pyevmasm version * Remove pyevmasm version pinning * Pyevmasm from github for now * Setup.py crazyness * Pyevmasm version bump - again * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Remove cache oddity and fix auto tests * Add some type checks * A fix 11 December 2018, 18:58:33 UTC
back to top