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
f5eea91 yan 28 August 2018, 17:08:11 UTC revert f strs 28 August 2018, 17:08:11 UTC
4a75a92 yan 25 August 2018, 19:45:33 UTC merge getting help and documentation sections 25 August 2018, 19:45:33 UTC
0f12d1c yan 25 August 2018, 19:45:23 UTC Rename contract identifiers to be less abstract 25 August 2018, 19:45:23 UTC
4a00ca6 yan 24 August 2018, 21:39:34 UTC Merge branch 'master' into dev-slack-link 24 August 2018, 21:39:34 UTC
fc40f4f yan 24 August 2018, 21:38:56 UTC Remove unnecessary exposition 24 August 2018, 21:38:56 UTC
81296f9 Mark Mossberg 24 August 2018, 14:41:11 UTC eth: add ether leak detector (#1077) * Add initial ether leak detector * Initial test * correct * Add another neg * rm stray print * initial tests refactoring + ether leak tests * finding name * initial refactor * clean comment * correct this test * update tests * Add fp comment * add other test * remove unnecessary payable function * make LoopDepthLimiter configurable * Use real pc * cc * Add other test * Add cli interface 24 August 2018, 14:41:11 UTC
ece72fe ggrieco-tob 24 August 2018, 13:43:27 UTC Added --txnoether option to avoid sending ether to contracts (#1078) * added --txnoether option * Improved command line description 24 August 2018, 13:43:27 UTC
8142472 Mark Mossberg 23 August 2018, 19:04:41 UTC eth: add selfdestruct detector & misc bug fixes (#1068) * Don't keep selfdestruct states alive * Use avoid_collisions=True for internal uses of the .new_ methods * Better err msgs * Output pc in hex * Fix ignored workspace cli flag * hex pc * hex pc one last time * add selfdestruct detector * Add cli support * Add ok selfdestruct test * Add selfdestruct not ok - true positive * Add selfdestruct crazy - true negative * Reorganize plugin/detectors. Add LoopDepthLimiter plugin + cli flag * rename files * add another test * Add initial selfdestruct tests * Move integer overflow detector test into eth_detectors * cc * add missing import * add other missing import 23 August 2018, 19:04:41 UTC
3f305c4 Aleksandr Sobolev 23 August 2018, 12:57:35 UTC Fix typo mistake in multi-million word (#1073) 23 August 2018, 12:57:35 UTC
38ecc25 defunct 22 August 2018, 02:37:17 UTC Implements support for function overloading in ethereum (#1049) * implements `signature` kwarg for overloaded functions - resolves #810 22 August 2018, 02:37:17 UTC
3cf3198 yan 21 August 2018, 21:51:55 UTC Reorganize the README 21 August 2018, 21:51:55 UTC
c763b3b yan 21 August 2018, 21:09:41 UTC add "Getting Help" section 21 August 2018, 21:09:41 UTC
8247dc6 ggrieco-tob 21 August 2018, 19:51:46 UTC Fix for #1008 (#1063) * Fix for #1008 * add test for funcall output 21 August 2018, 19:51:46 UTC
ec28281 feliam 17 August 2018, 16:47:44 UTC evm: aggressively check & migrate expressions into current ConstraintSet in case they are global/external (#1009) * Be mega forgiving on global expression usage - EVM * Refactor new_bitvector api * Fix neW_bool * CC * rename avoid_collisions collision * rename avoid_collisions collision * migrate on state.constraint too.. * Migration bugfixes * CC bugfixes * invalid assert removed * move rep code to method * reviewing the codes * CC * Change variable names * typo * Some mini docstrings and a unittest * Add migration integration testion * Keep fuzz-refactoring it * CC * Bugfixfixfixfix * CC * re refactor mig algorithm * better cleaner stronger. (reviewing) * CC * Small refactor and Fix strange strcmp test. * CC * re re refactor for readability * CC * rev * forgoten var 17 August 2018, 16:47:44 UTC
1119814 defunct 17 August 2018, 13:34:45 UTC Serialization cleanup (#1048) * refactor serialization / recursion limit handling 17 August 2018, 13:34:45 UTC
5684bdd defunct 15 August 2018, 20:49:40 UTC Code cleanup and coverage (#1035) * dead code elimination, __init__ cleanup * `binary.Elf` bugfix, add `binary` package tests 15 August 2018, 20:49:40 UTC
e6833ab defunct 15 August 2018, 17:26:08 UTC Fix missing profiling data (#1057) * fix missing profiling data - resolves #982 * unit test 15 August 2018, 17:26:08 UTC
e53b499 Yan Ivnitskiy 13 August 2018, 18:41:30 UTC Add logo to readme (#1046) * add logo to README 13 August 2018, 18:41:30 UTC
0ad15c7 Mark Mossberg 10 August 2018, 20:07:39 UTC Manticore 0.2.0 (#1043) * Bump version * Initial changelog changes * Bump version in setup.py * Add skeleton and externals * Fill in 0.2.0 readme * Updates 10 August 2018, 20:07:39 UTC
a0c2f76 defunct 10 August 2018, 19:28:41 UTC Port remaining examples to py3 (#1042) * port use_def * port some scripts, cleanup * ported `scripts/gdb.py` - untested * misc 10 August 2018, 19:28:41 UTC
399a2ef Mark Mossberg 10 August 2018, 19:03:02 UTC Emphasize new python requirement (#1041) * Emphasize new python requirement * Consistent formatting 10 August 2018, 19:03:02 UTC
7b66bec Dan Guido 10 August 2018, 17:57:50 UTC Readme updates (#1037) * add some more heft to the Ethereum section * no longer needed * Integrate requirements into installation * Update README.md * Update README.md * Update README.md * Update README.md * Duplicate commands for docker quick start * Rm --process-dependency-links note, moved into the faq on the wiki * Small tweaks * pedantic formatting 10 August 2018, 17:57:50 UTC
9f73308 Mark Mossberg 09 August 2018, 22:27:34 UTC Fix gast (#1039) 09 August 2018, 22:27:34 UTC
5710716 Catena cyber 09 August 2018, 18:47:57 UTC Test manticore on MacOS (#1032) * Test manticore on MacOS like test_binaries.py for path to binary to test * MacOS compatibility achieved Replacement of /bin/ls in tests Use of basename in test_load_maps 09 August 2018, 18:47:57 UTC
a16c508 Yan Ivnitskiy 09 August 2018, 15:27:45 UTC ignore resource warnings (e.g. unclosed files) (#1038) 09 August 2018, 15:27:45 UTC
a266c0b Dan Guido 08 August 2018, 22:11:21 UTC Update README.md 08 August 2018, 22:11:21 UTC
682004e Evan 08 August 2018, 21:14:17 UTC readme Ethereum update issue #1003 (#1034) * readme ethereum update issue #1003 * simplify 08 August 2018, 21:14:17 UTC
1f74f0f defunct 07 August 2018, 23:54:44 UTC fix sys_write logger output (#1024) * fix sys_write logger output - resolves #1020 * write/writev/read fixes * openat((int32)dirfd, ...) resolves #940, syscall logging * disable E701, interferes with PEP484/526 07 August 2018, 23:54:44 UTC
78e2ddf defunct 07 August 2018, 19:17:27 UTC resolves #992 (#1033) * resolves #992 07 August 2018, 19:17:27 UTC
b0a9ae9 defunct 07 August 2018, 14:01:53 UTC Merge pull request #1028 from trailofbits/binja_cleanup binja cleanup 07 August 2018, 14:01:53 UTC
41a3cff defunct 06 August 2018, 23:38:05 UTC missed one 06 August 2018, 23:38:05 UTC
635f99b defunct 06 August 2018, 22:28:39 UTC remove stray comment 06 August 2018, 22:28:39 UTC
be9d54c defunct 06 August 2018, 21:58:25 UTC review changes 06 August 2018, 21:58:25 UTC
6f56dc0 defunct 06 August 2018, 21:51:57 UTC Merge pull request #1030 from trailofbits/bugfix_991 fixes docker - resolves #991 06 August 2018, 21:51:57 UTC
a2a05c0 defunct 06 August 2018, 21:04:52 UTC Merge branch 'master' into binja_cleanup 06 August 2018, 21:04:52 UTC
82f6713 defunct 06 August 2018, 21:03:04 UTC Merge pull request #1019 from trailofbits/bugfix_1018 File mode fix - resolves #1018 06 August 2018, 21:03:04 UTC
47d827a defunct 06 August 2018, 21:01:57 UTC Merge pull request #1017 from defunctio/bugfix_1016 Addresses performance issues; 06 August 2018, 21:01:57 UTC
5dbb19e feliam 06 August 2018, 21:01:41 UTC Dev yolo retvalthing (#1001) * 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 * Going linter. Report/Detect that thing when code does not check returned value * cleaner example of fail * Update retval_crazy.sol * new solc for travis * CC * Remove duplicated ReentrancyDetector * POrt to py3 * POrt to py3 * P0rt to py3 * CC * Tests doc * CC 06 August 2018, 21:01:41 UTC
b41c73a defunct 06 August 2018, 20:49:42 UTC fixes docker - resolves #991 06 August 2018, 20:49:42 UTC
351f6f1 defunct 04 August 2018, 00:51:16 UTC binja cleanup 06 August 2018, 19:49:20 UTC
b6275e0 defunct 06 August 2018, 17:54:19 UTC Merge branch 'master' into bugfix_1018 06 August 2018, 17:54:19 UTC
85b94b6 Catena cyber 06 August 2018, 17:04:57 UTC Use capstone 3.0.5 and no longer rc2 (#1026) 06 August 2018, 17:04:57 UTC
b58eb6f Yan Ivnitskiy 03 August 2018, 21:38:56 UTC Change how we query for version (#1023) Fixes #1021 This also should decrease how many times we invoke z3. (The instance used to query version should stick around) 03 August 2018, 21:38:56 UTC
220e8ae defunct 03 August 2018, 20:06:45 UTC Merge branch 'master' into bugfix_1018 03 August 2018, 20:06:45 UTC
24cb4bd Mark Mossberg 03 August 2018, 20:05:54 UTC Add unit test for 954 (#1022) 03 August 2018, 20:05:54 UTC
111a467 devtty1er 03 August 2018, 18:40:19 UTC Fixes closed file serialization (#955) Fixes trailofbits/manticore#954 03 August 2018, 18:40:19 UTC
424cc4e defunct 02 August 2018, 22:18:08 UTC File mode fix - resolves #1018 02 August 2018, 22:18:08 UTC
f977a67 defunct 02 August 2018, 19:48:29 UTC Addresses performance issues; * reimplement caching for `arithmetic_simplifier` and `constant_folder` * optimize `ArithmeticSimplifier.visit_ArraySelect` 02 August 2018, 19:48:29 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
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
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
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
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
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
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
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
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
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
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
66afb1f feliam 26 June 2018, 01:31:02 UTC Fix #947 (#948) * Fix #947 * Fixed code climate 26 June 2018, 01:31:02 UTC
63ac45c Mark Mossberg 22 June 2018, 23:10:41 UTC Manticore 0.1.10 (#941) * Bump version number * Add changelog skeleton * Add changelog * Add missing detect-all flag * Don't forget --avoid-constant 22 June 2018, 23:10:41 UTC
e2f2583 feliam 22 June 2018, 23:09:09 UTC Change EVMAsm offset by pc (#938) * Change offte by pc * EVMASM offset -> pc * Keep refactoreing offset -> pc (evmasm) * The forgotten offset 1 * New format() 22 June 2018, 23:09:09 UTC
5c14e47 feliam 22 June 2018, 23:08:44 UTC Better temporary expression handling (#944) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * Account names, New ABI, user level constraining, state persistence * merge bugfix * Merge fix fix * fix docstr * Better type checks * Fix minimal.py example * CC and symbolic address * CC * CC * CC * CC * Add bytearray-Array concatenation/ Fix ABI tests * CC * CC * This fixes EVERYTHING! * Fixing truly everything, maybe * Review 1/10 * A few extra ABI serialization tests * Better default arguments for constructor in multitx * CC * CC * Exception EthereumError * review * Improve normal/contract_account filters. Move some ABI stuff to auxiliary funcs(CC) * CC * ABI.serialize smallfixes * Catch parsing exceptions (review) * Add comment to BitVec.cast() * manticore/platforms/evm.py Bugfixes and review * manticore/platforms/evm.py Bugfixes and review * CC * cs.migrate and bette temporary handling * CC * typo * A Bugfix(tm) 22 June 2018, 23:08:44 UTC
e0f5bce feliam 22 June 2018, 20:58:49 UTC Account names, ABI, and state persistence... (#926) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * Account names, New ABI, user level constraining, state persistence * merge bugfix * Merge fix fix * fix docstr * Better type checks * Fix minimal.py example * CC and symbolic address * CC * CC * CC * CC * Add bytearray-Array concatenation/ Fix ABI tests * CC * CC * This fixes EVERYTHING! * Fixing truly everything, maybe * Review 1/10 * A few extra ABI serialization tests * Better default arguments for constructor in multitx * CC * CC * Exception EthereumError * review * Improve normal/contract_account filters. Move some ABI stuff to auxiliary funcs(CC) * CC * ABI.serialize smallfixes * Catch parsing exceptions (review) * Add comment to BitVec.cast() * manticore/platforms/evm.py Bugfixes and review * manticore/platforms/evm.py Bugfixes and review * CC 22 June 2018, 20:58:49 UTC
0e8c9b0 aditi-gupta 22 June 2018, 20:26:18 UTC Improve Ethereum command line flags (#943) 22 June 2018, 20:26:18 UTC
55c8654 feliam 22 June 2018, 18:48:16 UTC Remove dead code (#942) 22 June 2018, 18:48:16 UTC
dc3bbd4 Catena cyber 22 June 2018, 15:34:40 UTC Inode number is encoded with 64 bits (#897) * Inode number is encoded with 64 bits Fixes #824 * typo fix for interpreter * Use of stat64 linux kernel structure See https://code.woboq.org/linux/linux/include/uapi/asm-generic/stat.h.html 22 June 2018, 15:34:40 UTC
d3edfa5 Catena cyber 20 June 2018, 21:53:14 UTC Add UTXH to arm instructions (#935) * Add UTXH to arm instructions with tests 20 June 2018, 21:53:14 UTC
ccbf9bc Catena cyber 20 June 2018, 21:17:51 UTC Raspberry hello world (#914) See #514 Adds ARM UQSUB8 instruction 20 June 2018, 21:17:51 UTC
e29ee08 Lee Azzarello 19 June 2018, 17:40:31 UTC Dockerfile updates (#882) * Dockerfile updates * no blockchains, no masters * Stylistic README changes * Revert back to manticore user 19 June 2018, 17:40:31 UTC
88bf2f6 feliam 18 June 2018, 22:58:45 UTC Fix evm SDIV/SMOD (#933) * Fix #930 evm SDIV/SMOD * Fix ABS :) 18 June 2018, 22:58:45 UTC
fbd3865 feliam 18 June 2018, 14:17:35 UTC Fix Taint on Ct Eq (#934) 18 June 2018, 14:17:35 UTC
e12b57b Mark Mossberg 15 June 2018, 23:32:42 UTC Make SymbolicFile testcase generation work for closed files (#929) * Track closed files so we can generate concretized SymbolicFile data for closed files * Update test to close file too 15 June 2018, 23:32:42 UTC
cca85ef Mark Mossberg 15 June 2018, 20:55:33 UTC Generate symbolic file testcases (#928) * Export concretized symbolic files in testcase * use a warning * add unit test * Rm unnecessary new attr 15 June 2018, 20:55:33 UTC
8c5e25f feliam 14 June 2018, 20:52:26 UTC Initial doc to storage evm functions (#915) * Initial doc to storage evm functions * CC * Make evm.world_state private so access is _restricted_ via methods * Add forgotten import for get_storage_items * Minor doc improvements 14 June 2018, 20:52:26 UTC
b4b4bb7 James Wang 13 June 2018, 17:51:08 UTC Use p.communicate() to read stdout and stderr (#920) Use communicate() instead of `stdout.read` and `stderr.read`, as they can result in deadlocks. This can occur if manticore tries to compile a solidity contract that has enough errors. 13 June 2018, 17:51:08 UTC
e957660 Mark Mossberg 12 June 2018, 19:17:46 UTC Fix test to use correct variable (#925) 12 June 2018, 19:17:46 UTC
cf6cd0e Mark Mossberg 07 June 2018, 21:45:07 UTC Fix z3 install regression (#923) * Add back z3 * Rm manual install 07 June 2018, 21:45:07 UTC
b184f4e feliam 06 June 2018, 18:44:53 UTC Integer overflow detector improvements (#913) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * CC * Fix wrong merge * relax bench test * Remove Remove * Reviewed 06 June 2018, 18:44:53 UTC
adf010e feliam 06 June 2018, 13:04:18 UTC Add regression test for posCAll bug (#918) 06 June 2018, 13:04:18 UTC
49478b1 Pierre Pronchery 05 June 2018, 23:34:24 UTC Add support for NetBSD as a host OS (#893) With these changes, I am able to run Manticore on Linux (static) binaries from a NetBSD host. Tested with NetBSD/amd64 (7.1_STABLE XEN3_DOM0). 05 June 2018, 23:34:24 UTC
21c1ea5 feliam 05 June 2018, 15:05:35 UTC Fix pos CALL/DELEGATECALL/STATICCALL/CALLCODE (#917) * Fix pos CALL/DELEGATECALL/STATICCALL/CALLCODE * CC 05 June 2018, 15:05:35 UTC
5d7c7f1 feliam 04 June 2018, 23:02:53 UTC Dev evm INVALID detector (#910) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * CC * Reviewed 04 June 2018, 23:02:53 UTC
1fcb249 Paul Kehrer 04 June 2018, 14:52:04 UTC incremental py3: print statements, octals, and more (#908) * incremental py3: automated conversion work print statements, octal literals, and various small changes to support identical calling between py2 and py3. Plus a few missed exception syntax, etc. * more print function imports, fix a syntax issue * revert an import change for the moment * different absolute import 04 June 2018, 14:52:04 UTC
back to top