f863048 | feliam | 06 August 2018, 16:35:42 UTC | CC | 06 August 2018, 16:35:42 UTC |
3571494 | feliam | 06 August 2018, 16:23:52 UTC | doc and reporting related bugfixes | 06 August 2018, 16:23:52 UTC |
0d84345 | defunct | 02 August 2018, 14:35:35 UTC | Merge pull request #990 from defunctio/py3-optimization-pass Python 3; optimization / stylization pass | 02 August 2018, 14:35:35 UTC |
08751c5 | defunct | 01 August 2018, 21:23:45 UTC | resolves #1008 (#1014) | 01 August 2018, 21:23:45 UTC |
822cc88 | defunct | 01 August 2018, 21:19:59 UTC | cleanup examples (#1010) | 01 August 2018, 21:19:59 UTC |
90fdbb8 | defunct | 01 August 2018, 14:35:46 UTC | re-enable and fix eth regression 808 (#1011) | 01 August 2018, 14:35:46 UTC |
cfedea7 | Yan Ivnitskiy | 31 July 2018, 18:04:57 UTC | Fix CC coverage (#1007) This fix does two things: 1. Ignores non-manticore files from the coverage report to limit what can fail. 2. Changes how travis runs s3 sync on completion. (Fixes #1006) | 31 July 2018, 18:39:57 UTC |
99f158a | Yan Ivnitskiy | 30 July 2018, 23:36:34 UTC | Report test coverage to CodeClimate (#1004) This PR enables the reporting of test coverage of all the test jobs (`eth` and `tests`) to CodeClimate. This uses S3 to temporarily store results between jobs and later upload them to CC. Fixes #1000 | 31 July 2018, 18:39:57 UTC |
b1a09d2 | Yan Ivnitskiy | 31 July 2018, 18:04:57 UTC | Fix CC coverage (#1007) This fix does two things: 1. Ignores non-manticore files from the coverage report to limit what can fail. 2. Changes how travis runs s3 sync on completion. (Fixes #1006) | 31 July 2018, 18:04:57 UTC |
b9d17ce | feliam | 31 July 2018, 13:57:10 UTC | Tests doc | 31 July 2018, 13:57:10 UTC |
4e73bc3 | defunct | 31 July 2018, 13:44:03 UTC | codeclimate - bump similar-code thresh; false positive | 31 July 2018, 13:44:03 UTC |
b0e0a1b | defunct | 30 July 2018, 14:19:07 UTC | codeclimate | 31 July 2018, 13:42:28 UTC |
812db39 | feliam | 31 July 2018, 13:28:40 UTC | Merge branch 'master' into dev-yolo-retvalthing | 31 July 2018, 13:28:40 UTC |
59a5ff0 | Yan Ivnitskiy | 30 July 2018, 23:36:34 UTC | Report test coverage to CodeClimate (#1004) This PR enables the reporting of test coverage of all the test jobs (`eth` and `tests`) to CodeClimate. This uses S3 to temporarily store results between jobs and later upload them to CC. Fixes #1000 | 30 July 2018, 23:36:34 UTC |
08b809e | feliam | 30 July 2018, 13:27:55 UTC | CC | 30 July 2018, 13:27:55 UTC |
5155ce8 | feliam | 30 July 2018, 12:56:10 UTC | P0rt to py3 | 30 July 2018, 12:56:10 UTC |
fe609d1 | feliam | 30 July 2018, 03:04:19 UTC | POrt to py3 | 30 July 2018, 03:04:19 UTC |
80a352d | feliam | 30 July 2018, 03:02:47 UTC | POrt to py3 | 30 July 2018, 03:02:47 UTC |
c798584 | defunct | 28 July 2018, 02:19:37 UTC | remove/update deprecated | 28 July 2018, 02:19:37 UTC |
e1b6f1a | defunct | 27 July 2018, 23:59:06 UTC | super() | 27 July 2018, 23:59:06 UTC |
7dfcbcd | defunct | 27 July 2018, 23:39:44 UTC | numbers.Integral | 27 July 2018, 23:39:44 UTC |
66d8581 | defunct | 27 July 2018, 23:37:59 UTC | cleanup | 27 July 2018, 23:37:59 UTC |
bff9bfa | defunct | 27 July 2018, 23:27:47 UTC | merge master | 27 July 2018, 23:27:47 UTC |
cb29302 | feliam | 27 July 2018, 22:49:53 UTC | Remove duplicated ReentrancyDetector | 27 July 2018, 22:49:53 UTC |
442ad0b | feliam | 27 July 2018, 22:21:36 UTC | Yolo dev evm fix address concretization (#1002) * DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix account policy refactor * CC | 27 July 2018, 22:21:36 UTC |
254779c | feliam | 27 July 2018, 22:15:05 UTC | CC | 27 July 2018, 22:15:05 UTC |
ba13e81 | feliam | 27 July 2018, 22:09:11 UTC | new solc for travis | 27 July 2018, 22:09:11 UTC |
0b60f9a | ian klatzco | 27 July 2018, 21:32:10 UTC | rm make_evm (#978) | 27 July 2018, 21:32:10 UTC |
f32db4b | feliam | 27 July 2018, 21:31:33 UTC | Experiment reporting the finding at a JUMPI (#949) * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * Fix contract names in benchmark * Move default plugin registration * merge | 27 July 2018, 21:31:33 UTC |
5346a10 | feliam | 27 July 2018, 21:02:01 UTC | Merge branch 'dev-yolo-retvalthing' of github.com:trailofbits/manticore into dev-yolo-retvalthing | 27 July 2018, 21:02:01 UTC |
a4c8f1c | feliam | 27 July 2018, 20:58:37 UTC | merge py3 | 27 July 2018, 20:58:37 UTC |
e18016a | defunct | 27 July 2018, 18:12:09 UTC | py3 yolo_master (feature / bugfixes) (#994) * DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix/refactor symbolic address/caller concretization * Fix caller concretization * Fix expression visiting * Fix account policy refactor * Accept numbers in function names abitypes * Simplify installation instructions to recommend install manticore only for the current user * Run some tests in parallel (#970) This PR splits the current test runner into three environments: 1. Linux examples 2. Ethereum tests 3. Remaining tests to faster complete each testing run. Ethereum tests include a number of integration tests that execute scripts to completion, which takes a while. We run them concurrently with other tests to save on execution time. The split is done by naming Ethereum tests differently (`eth_*.py` vs `test_*.py`) and updating what pattern unittest's `discover` uses. This change also updates the installation script and chooses to forego installing Keystone for EVM tests as it takes a while, and it adds a `setup.cfg` config file so that Nose finds the eth tests as well by default. * Be less verbose when testing * Fix slicing wrongly reference to proxyArray. Fix #912 * Only export human/external tx in the testcase (#972) * Make ManticoreEVM.make_symbolic_value size adjustable (#974) * Make size adjustable * Default to 256 * Dev evm yolo fix gas (#975) * Fix gas stipend on CALL and check dao * Add order dependence 1 * missing files * 985 * formatting fixes; codeclimate * review changes | 27 July 2018, 18:12:09 UTC |
9122230 | defunct | 25 July 2018, 16:43:38 UTC | Python 3; optimization / stylization pass * cleanup list() from automation tools * style; use dict comprehensions * style; use set literals | 25 July 2018, 16:58:37 UTC |
664e53b | defunct | 25 July 2018, 14:10:44 UTC | Python 3 (#968) * Initial commit for Python3 branch that targets porting the following; * Core manticore functionality * x86/x64/arm architectures * linux platform * functioning unit tests for the above * WIP ethereum support notes: * eth unit tests passing * decree disabled * ManticoreEVM.__init__ procs=1 * no iterpickle; see eth tests for setting stack size/recursion * EVMAccount; add __hash__ remove redefinition of __eq__ port/update EVM examples * update stacksize / recursion limit * pyevmasm dep updates, port linux examples * update docs, tox/travis configs, port missing x86 unit test * disable decree tests * update example, update pyevmasm dep_links * disable testArgumentsAssertions to speed up tests * py35/36 json.loads compat fix * fix summary output encoding * disable eth binary test 808 * PEP479 - Python 3.7 support * travisci; fix code coverage reporting * port decree and tests * codeclimate * review changes; * cleanup * reset version * remove EVMAccount.__hash__, fix EVMWorld.get_balance() * switch to official pyevmasm * z3 version check - py3.5 fix * pyevmasm; remove version requirement * review changes; * remove redundant locking * shutdown executor manager on deletion * review changes; * cleanup PY3FIX comments * _run_solc version ascii to utf encoding * save_summary - use filter instead of comprehension * comments * __get_related - set literal mistake * review changes; * remove redundant [] * cleanup unused code, params, vars, imports * additional comments * review changes; * fix symbolic const instruction decoding and add unit test * misc cleanup * fix verbose logging output * Update manticore defaults / requirements; * Changes docs for 18.04 * Python >= 3.6 * minor review changes * minor review changes, codeclimate | 25 July 2018, 14:10:44 UTC |
609f5f6 | feliam | 16 July 2018, 21:29:49 UTC | Update retval_crazy.sol | 16 July 2018, 21:29:49 UTC |
7fcb39e | feliam | 16 July 2018, 21:25:04 UTC | cleaner example of fail | 16 July 2018, 21:25:04 UTC |
59fc6b2 | feliam | 14 July 2018, 04:06:33 UTC | Going linter. Report/Detect that thing when code does not check returned value | 14 July 2018, 04:06:33 UTC |
b32d1ad | feliam | 12 July 2018, 17:56:22 UTC | Dev evm yolo fix gas (#975) * Fix gas stipend on CALL and check dao * Add order dependence 1 | 12 July 2018, 17:56:22 UTC |
dccda83 | Mark Mossberg | 11 July 2018, 21:44:43 UTC | Make ManticoreEVM.make_symbolic_value size adjustable (#974) * Make size adjustable * Default to 256 | 11 July 2018, 21:44:43 UTC |
a34bc05 | Mark Mossberg | 11 July 2018, 17:23:47 UTC | Only export human/external tx in the testcase (#972) | 11 July 2018, 17:23:47 UTC |
473d699 | feliam | 11 July 2018, 03:18:37 UTC | Merge branch 'yolo_master' of github.com:trailofbits/manticore into yolo_master | 11 July 2018, 03:18:37 UTC |
a0b923b | feliam | 11 July 2018, 03:16:31 UTC | Fix slicing wrongly reference to proxyArray. Fix #912 | 11 July 2018, 03:16:31 UTC |
84b5bd8 | yan | 10 July 2018, 20:57:34 UTC | Be less verbose when testing | 10 July 2018, 20:57:34 UTC |
ca57598 | Yan Ivnitskiy | 10 July 2018, 20:43:34 UTC | Run some tests in parallel (#970) This PR splits the current test runner into three environments: 1. Linux examples 2. Ethereum tests 3. Remaining tests to faster complete each testing run. Ethereum tests include a number of integration tests that execute scripts to completion, which takes a while. We run them concurrently with other tests to save on execution time. The split is done by naming Ethereum tests differently (`eth_*.py` vs `test_*.py`) and updating what pattern unittest's `discover` uses. This change also updates the installation script and chooses to forego installing Keystone for EVM tests as it takes a while, and it adds a `setup.cfg` config file so that Nose finds the eth tests as well by default. | 10 July 2018, 20:43:34 UTC |
cba10f3 | feliam | 05 July 2018, 13:47:28 UTC | Merge branch 'fix-pip-README' into yolo_master | 05 July 2018, 13:47:28 UTC |
446d2c8 | ggrieco-tob | 05 July 2018, 13:10:07 UTC | Simplify installation instructions to recommend install manticore only for the current user | 05 July 2018, 13:10:07 UTC |
90c8a49 | feliam | 05 July 2018, 12:54:37 UTC | Accept numbers in function names abitypes | 05 July 2018, 12:54:37 UTC |
ac772b4 | feliam | 04 July 2018, 21:50:46 UTC | merge | 04 July 2018, 21:50:46 UTC |
0a0f478 | feliam | 04 July 2018, 21:50:06 UTC | Fix account policy refactor | 04 July 2018, 21:50:06 UTC |
756a15a | feliam | 04 July 2018, 19:38:50 UTC | Merge | 04 July 2018, 19:38:50 UTC |
6011abf | feliam | 04 July 2018, 19:37:59 UTC | Fix expression visiting | 04 July 2018, 19:37:59 UTC |
3322585 | feliam | 04 July 2018, 17:11:41 UTC | Fix caller concretization | 04 July 2018, 17:11:41 UTC |
8e6e654 | feliam | 04 July 2018, 12:54:18 UTC | Fix/refactor symbolic address/caller concretization | 04 July 2018, 12:54:18 UTC |
0aec0e2 | feliam | 03 July 2018, 01:50:54 UTC | Fix address and caller concretization on symb tx | 03 July 2018, 01:50:54 UTC |
3105068 | feliam | 03 July 2018, 01:36:52 UTC | bytesM fix | 03 July 2018, 01:36:52 UTC |
55ed367 | feliam | 03 July 2018, 01:36:01 UTC | Merge branch 'dev-abi-bytesM' into yolo_master | 03 July 2018, 01:36:01 UTC |
fe6f4ce | feliam | 03 July 2018, 01:33:05 UTC | CC | 03 July 2018, 01:33:05 UTC |
50ba5b7 | feliam | 03 July 2018, 01:26:11 UTC | Fix concolic? | 03 July 2018, 01:26:11 UTC |
66c89a0 | feliam | 03 July 2018, 01:00:24 UTC | Fix concolic? | 03 July 2018, 01:00:24 UTC |
e15f0f3 | feliam | 03 July 2018, 00:20:37 UTC | merge dev-evm-seth | 03 July 2018, 00:20:37 UTC |
aefa679 | feliam | 02 July 2018, 23:08:35 UTC | Visitor/migrate/simplify fixes to make the seth refactor pass | 02 July 2018, 23:08:35 UTC |
2ef74c4 | Mark Mossberg | 02 July 2018, 21:43:05 UTC | cc | 02 July 2018, 21:43:05 UTC |
1240ea7 | Mark Mossberg | 02 July 2018, 21:38:51 UTC | Rm debug assert | 02 July 2018, 21:38:51 UTC |
eae4b2f | Mark Mossberg | 02 July 2018, 20:47:25 UTC | Rm import | 02 July 2018, 20:47:25 UTC |
b3fe939 | Mark Mossberg | 02 July 2018, 20:41:10 UTC | Unify symbolic/concrete bytes handling in bytesM/bytes | 02 July 2018, 20:41:10 UTC |
e4cb3ab | Mark Mossberg | 02 July 2018, 20:17:43 UTC | refactor tests | 02 July 2018, 20:17:43 UTC |
974b1d8 | Mark Mossberg | 02 July 2018, 20:02:03 UTC | Add initial symbolic 'bytes' handling | 02 July 2018, 20:02:03 UTC |
cde575d | Mark Mossberg | 02 July 2018, 20:01:41 UTC | Refactor, clean bytesM handling | 02 July 2018, 20:01:41 UTC |
24f28ef | Mark Mossberg | 02 July 2018, 19:58:10 UTC | correct bytes symbolic test | 02 July 2018, 19:58:10 UTC |
c955ac0 | Mark Mossberg | 02 July 2018, 19:45:09 UTC | add basic tests for bytesM and bytes symbolic | 02 July 2018, 19:45:09 UTC |
c01abb2 | Mark Mossberg | 02 July 2018, 19:44:57 UTC | rm cmt | 02 July 2018, 19:44:57 UTC |
ad1541e | Mark Mossberg | 02 July 2018, 18:31:22 UTC | need bytearray here | 02 July 2018, 18:31:22 UTC |
9c9d361 | Mark Mossberg | 29 June 2018, 23:02:58 UTC | BROKEN partial progress | 29 June 2018, 23:02:58 UTC |
a6978af | Mark Mossberg | 29 June 2018, 21:37:04 UTC | implement bytesM | 29 June 2018, 21:37:04 UTC |
ed9705c | Mark Mossberg | 29 June 2018, 21:36:40 UTC | correct other bug | 29 June 2018, 21:36:40 UTC |
fe000fe | Mark Mossberg | 29 June 2018, 21:35:53 UTC | add tests | 29 June 2018, 21:35:53 UTC |
61270a2 | Evan Sultanik | 29 June 2018, 20:07:38 UTC | Merge pull request #958 from trailofbits/dev-query-blockhash Moved block hash calculation to EVMWorld and genericized it | 29 June 2018, 20:07:38 UTC |
bd7c417 | feliam | 29 June 2018, 16:54:08 UTC | Merge branch 'dev-evm-fixslice' into yolo_master | 29 June 2018, 16:54:08 UTC |
4b830ff | feliam | 29 June 2018, 16:01:03 UTC | Fix Array Slice and test | 29 June 2018, 16:01:03 UTC |
82487ab | Evan Sultanik | 29 June 2018, 12:15:17 UTC | Fixes to satisfy Code Climate | 29 June 2018, 12:15:17 UTC |
82eb2f1 | Evan Sultanik | 29 June 2018, 12:03:35 UTC | Moved block hash calculation to EVMWorld and genericized it (#957) | 29 June 2018, 12:03:35 UTC |
1ae5059 | Mark Mossberg | 28 June 2018, 21:21:29 UTC | Add some unit tests, rm dead code (#956) * test init * rm dead code * test symbolic argv envp | 28 June 2018, 21:21:29 UTC |
fe60422 | feliam | 27 June 2018, 22:04:54 UTC | Fix minimal_bytecode example | 27 June 2018, 22:04:54 UTC |
dda1d6d | ggrieco-tob | 27 June 2018, 12:18:36 UTC | Allow function identifiers on smart contract to have numbers on them (#953) | 27 June 2018, 12:18:36 UTC |
886ce41 | feliam | 26 June 2018, 23:20:57 UTC | Merge branch 'fix-function-signature-check' into yolo_master | 26 June 2018, 23:20:57 UTC |
31b09b2 | feliam | 26 June 2018, 23:20:27 UTC | Merge branch 'dev-evm-overflow-fix1' into yolo_master | 26 June 2018, 23:20:27 UTC |
359ed3a | feliam | 26 June 2018, 23:20:05 UTC | Merge branch 'dev-evm-dao' into yolo_master | 26 June 2018, 23:20:05 UTC |
c124a1f | feliam | 26 June 2018, 21:34:19 UTC | Better regexp | 26 June 2018, 21:34:19 UTC |
719f372 | feliam | 26 June 2018, 21:03:40 UTC | Move default plugin registration | 26 June 2018, 21:03:40 UTC |
b5fc902 | feliam | 26 June 2018, 20:12:01 UTC | Fix contract names in benchmark | 26 June 2018, 20:12:01 UTC |
345aebe | feliam | 26 June 2018, 20:09:05 UTC | Fix contract names in benchmark | 26 June 2018, 20:09:05 UTC |
0b68ada | ggrieco-tob | 26 June 2018, 19:36:49 UTC | Allow function names to have numbers | 26 June 2018, 19:36:49 UTC |
24e4688 | James Wang | 26 June 2018, 17:38:36 UTC | Allow users to specify path to solc and solc import remappings (#945) * Allow users to specify path to solc and solc import remappings | 26 June 2018, 17:38:36 UTC |
7c67e6d | feliam | 26 June 2018, 16:52:01 UTC | DAO -> reentrancy, C -> Benchmark | 26 June 2018, 16:52:01 UTC |
aceb5e8 | feliam | 26 June 2018, 15:47:48 UTC | DAO -> reentrancy, C -> Benchmark | 26 June 2018, 15:47:48 UTC |
07e2a6b | feliam | 26 June 2018, 02:33:58 UTC | DAO -> Reentrancy | 26 June 2018, 02:33:58 UTC |
ed7d400 | feliam | 26 June 2018, 02:24:37 UTC | Merge branch 'master' into dev-evm-dao | 26 June 2018, 02:24:37 UTC |
131d979 | feliam | 26 June 2018, 02:21:32 UTC | Fix taint. Detect returned overflowded data | 26 June 2018, 02:21:32 UTC |
66afb1f | feliam | 26 June 2018, 01:31:02 UTC | Fix #947 (#948) * Fix #947 * Fixed code climate | 26 June 2018, 01:31:02 UTC |
98bfd7f | feliam | 25 June 2018, 14:42:03 UTC | Experiment reporting the finding at a JUMPI | 25 June 2018, 14:42:03 UTC |