ce738bb | phoebe jenkins | 30 March 2018, 18:33:12 UTC | Fix encoding error | 30 March 2018, 18:33:12 UTC |
dee896f | phoebe jenkins | 30 March 2018, 17:21:10 UTC | Merge branch 'python3' of github.com:trailofbits/manticore into python3 | 30 March 2018, 17:21:10 UTC |
c93a3b8 | phoebe jenkins | 30 March 2018, 17:17:37 UTC | Fix typos | 30 March 2018, 17:17:37 UTC |
7320480 | phoebe jenkins | 30 March 2018, 17:17:07 UTC | Remove Binary.__new__ | 30 March 2018, 17:17:07 UTC |
21463c7 | phoebe jenkins | 30 March 2018, 17:16:20 UTC | Fix more encoding issues | 30 March 2018, 17:16:20 UTC |
bcdfc33 | yan | 30 March 2018, 17:06:34 UTC | modernize a few things in evm | 30 March 2018, 17:06:34 UTC |
3d3db9b | yan | 30 March 2018, 17:06:11 UTC | Use new getfullargspec api when available | 30 March 2018, 17:06:11 UTC |
8c822da | yan | 30 March 2018, 17:02:25 UTC | clean up test output | 30 March 2018, 17:02:25 UTC |
710528a | yan | 30 March 2018, 16:59:25 UTC | Update test api, use ctx manager for opening and remove dbg output | 30 March 2018, 16:59:25 UTC |
a99da58 | yan | 30 March 2018, 16:58:31 UTC | Be better about iteration | 30 March 2018, 16:58:31 UTC |
abf3285 | yan | 30 March 2018, 16:57:44 UTC | Be specific about exception types | 30 March 2018, 16:57:44 UTC |
29b80e8 | yan | 30 March 2018, 16:57:04 UTC | Use new-style cmp | 30 March 2018, 16:57:04 UTC |
583eb56 | yan | 30 March 2018, 16:11:41 UTC | Update smtlib reading/writing | 30 March 2018, 16:11:41 UTC |
62a7c82 | yan | 30 March 2018, 15:15:57 UTC | Make solver use io and make disable debug log by default | 30 March 2018, 15:15:57 UTC |
d0c9f05 | yan | 30 March 2018, 13:51:44 UTC | use the right exception | 30 March 2018, 13:51:44 UTC |
0f5ba2c | yan | 30 March 2018, 04:20:06 UTC | try a few ways to import mockmem | 30 March 2018, 04:20:09 UTC |
9331ca9 | yan | 30 March 2018, 03:29:17 UTC | more encoding updates | 30 March 2018, 03:29:17 UTC |
acb5034 | yan | 30 March 2018, 03:06:13 UTC | more encoding fixes | 30 March 2018, 03:06:13 UTC |
b6be6f5 | yan | 30 March 2018, 03:06:01 UTC | decode read strings as acscii | 30 March 2018, 03:06:01 UTC |
390e4b5 | yan | 30 March 2018, 02:34:00 UTC | port more tests | 30 March 2018, 02:35:39 UTC |
d703f7c | yan | 30 March 2018, 02:33:53 UTC | Open interpreter elf correctly | 30 March 2018, 02:33:53 UTC |
1f512d9 | yan | 30 March 2018, 02:10:39 UTC | fix hex_encode | 30 March 2018, 02:10:39 UTC |
0ed3fdf | yan | 30 March 2018, 02:10:30 UTC | add test helper to test_slam_regre | 30 March 2018, 02:10:30 UTC |
8fc4d77 | yan | 30 March 2018, 02:09:58 UTC | Update pickling | 30 March 2018, 02:09:58 UTC |
c0976cb | yan | 30 March 2018, 02:09:49 UTC | Update serialization | 30 March 2018, 02:09:49 UTC |
e7177c9 | yan | 30 March 2018, 02:09:19 UTC | New exceptions dont necessarily have a message field | 30 March 2018, 02:09:19 UTC |
66df447 | phoebe jenkins | 29 March 2018, 22:06:18 UTC | Fix remaining broken instances of assertItemsEqual | 29 March 2018, 22:06:18 UTC |
c28114c | phoebe jenkins | 29 March 2018, 19:37:42 UTC | Stop repeatedly appending to a string | 29 March 2018, 20:47:22 UTC |
c9249c4 | yan | 29 March 2018, 20:03:13 UTC | str->bytes | 29 March 2018, 20:03:13 UTC |
eb175e1 | yan | 29 March 2018, 20:03:04 UTC | Dont need __del__ in lazy wrapper | 29 March 2018, 20:03:04 UTC |
0e4adaf | yan | 29 March 2018, 20:02:40 UTC | py3 doesnt capture enclosing scope and py2 doesnt have nonlocal | 29 March 2018, 20:02:40 UTC |
b98a0cf | yan | 29 March 2018, 20:01:40 UTC | str->unicode | 29 March 2018, 20:02:10 UTC |
321d88d | yan | 29 March 2018, 19:48:06 UTC | str/bytes issues | 29 March 2018, 19:48:06 UTC |
1f79ad6 | yan | 29 March 2018, 19:47:12 UTC | Update how workspace writes strings | 29 March 2018, 19:47:12 UTC |
ff63274 | yan | 29 March 2018, 19:46:29 UTC | Update executor logging | 29 March 2018, 19:46:29 UTC |
92bf189 | yan | 29 March 2018, 16:21:42 UTC | Add test portability to pcmxstrx tests | 29 March 2018, 16:21:42 UTC |
6a63360 | yan | 29 March 2018, 15:42:36 UTC | Update LazyZ3Solver.__del__ | 29 March 2018, 15:42:36 UTC |
a39aae2 | yan | 29 March 2018, 15:36:45 UTC | minor py3 updates | 29 March 2018, 15:36:45 UTC |
caafa25 | yan | 29 March 2018, 15:35:08 UTC | Make some x86 tests py3 compatible | 29 March 2018, 15:35:08 UTC |
18ab1a7 | yan | 29 March 2018, 15:34:50 UTC | Add a lazy z3 wrapper | 29 March 2018, 15:34:50 UTC |
c10f278 | yan | 29 March 2018, 14:59:23 UTC | Make sure we don't initialize a SyncManager in file scope | 29 March 2018, 14:59:23 UTC |
49b4741 | yan | 29 March 2018, 03:11:52 UTC | make data default param bytes | 29 March 2018, 03:11:52 UTC |
361cf9b | yan | 29 March 2018, 03:11:33 UTC | encode solc src if not bytes | 29 March 2018, 03:11:33 UTC |
71cb982 | yan | 28 March 2018, 22:44:29 UTC | memory tests finally passing on py2 and py3 | 28 March 2018, 22:44:29 UTC |
6762995 | yan | 27 March 2018, 18:01:58 UTC | Update generated tests to bytes() for memory read tests | 27 March 2018, 18:01:58 UTC |
f7e97cf | yan | 27 March 2018, 17:31:14 UTC | Bring in the reset dev-rm-slow-solver-code | 27 March 2018, 17:31:14 UTC |
ae3b96d | yan | 27 March 2018, 17:24:37 UTC | py3 bytes handling + util updates | 27 March 2018, 17:24:37 UTC |
0c8189d | yan | 27 March 2018, 17:15:30 UTC | lock condition before notifying | 27 March 2018, 17:15:30 UTC |
fd2c7cf | yan | 27 March 2018, 17:15:14 UTC | Use relative imports | 27 March 2018, 17:15:14 UTC |
054e6f3 | yan | 26 March 2018, 20:01:42 UTC | Update gen script to produce valid bytecode | 26 March 2018, 20:01:42 UTC |
2501ab6 | yan | 26 March 2018, 20:01:28 UTC | Make EVM operate on bytes | 26 March 2018, 20:01:28 UTC |
20df66f | yan | 26 March 2018, 20:01:08 UTC | Update all tests to provide bytes for bytecode | 26 March 2018, 20:01:08 UTC |
47c0548 | Mark Mossberg | 23 March 2018, 21:18:46 UTC | Make Store.load_stream prototype match This fixes bug where non FilesystemStore Stores were broken. | 23 March 2018, 21:18:46 UTC |
74f350d | Mark Mossberg | 23 March 2018, 19:59:26 UTC | Open subproc in line buffered text mode (#836) * Open subproc in line buffered text mode * Make EventsGatherMetaclass more agnostic to inheritance chain * Revert "Make EventsGatherMetaclass more agnostic to inheritance chain" This reverts commit d604c01703ace82b8fb1d6f5cef44191d1905bec. | 23 March 2018, 19:59:26 UTC |
0837044 | Mark Mossberg | 22 March 2018, 21:51:48 UTC | Explicitly override __hash__ to use object.__hash__ (#835) In python3 there are changes to how you are supposed to handle overrides of __eq__, as it relates to __hash__ (http://python3porting.com/preparing.html?highlight=hash#implementing-hash) In python2 we changed __eq__, but did nothing for __hash__, so __hash__ kept using the default one provided by object. In python3 it automatically sets __hash__ to None, so we need to explicitly emulate this. | 22 March 2018, 21:51:48 UTC |
c79a35f | phoebe jenkins | 19 March 2018, 21:15:04 UTC | Fix a number of subtle encoding issues | 19 March 2018, 21:15:04 UTC |
a5c2c78 | phoebe jenkins | 19 March 2018, 21:12:23 UTC | Avoid comparison with None type | 19 March 2018, 21:12:23 UTC |
6edd62a | phoebe jenkins | 19 March 2018, 19:16:56 UTC | Replace calls to file() | 19 March 2018, 19:16:56 UTC |
9bb3dd2 | phoebe jenkins | 19 March 2018, 15:34:25 UTC | Replace depricated function assertItemsEqual | 19 March 2018, 15:34:25 UTC |
e8ec539 | phoebe jenkins | 19 March 2018, 15:04:43 UTC | Merge branch 'master' into python3 | 19 March 2018, 15:04:43 UTC |
fce9957 | phoebe jenkins | 16 March 2018, 21:37:20 UTC | Temporary hack for preventing infinite loops on amd class instantiation | 16 March 2018, 21:37:20 UTC |
8cd5f7d | phoebe jenkins | 16 March 2018, 21:34:42 UTC | Pad with bytes | 16 March 2018, 21:34:42 UTC |
3dde2b9 | phoebe jenkins | 16 March 2018, 19:43:07 UTC | Fix tiny whitespace issue nose complains about | 16 March 2018, 19:43:07 UTC |
26e9914 | phoebe jenkins | 16 March 2018, 19:42:21 UTC | Use python3 compatible hex decoding | 16 March 2018, 19:42:21 UTC |
a982982 | phoebe jenkins | 16 March 2018, 19:34:24 UTC | Replace operator.__div__ call | 16 March 2018, 19:34:24 UTC |
a21c8b6 | Mark Mossberg | 16 March 2018, 17:32:32 UTC | Improve evm docs (#816) * Add docstr for finalize * prune unnecessary stuff from docs * Add trace file * Revert "Add trace file" 4687810e15c2bc6cc3e729c32bdad2f617679d77 | 16 March 2018, 17:32:32 UTC |
e32124e | phoebe jenkins | 16 March 2018, 16:59:55 UTC | Fix series of hex encoding issues | 16 March 2018, 16:59:55 UTC |
eaa0e52 | Mark Mossberg | 15 March 2018, 20:41:29 UTC | Fix off by 1 error in codecopy (#812) * Fix off by 1 in codecopy * Add regression test * Improve formatting | 15 March 2018, 20:41:29 UTC |
fb3938b | Arun John Kuruvilla | 15 March 2018, 20:31:18 UTC | Raises exception for contract with a function without code. Issue #789 (#797) | 15 March 2018, 20:31:18 UTC |
3ab8c43 | phoebe jenkins | 15 March 2018, 15:58:50 UTC | Add missing int import | 15 March 2018, 15:58:50 UTC |
8f76048 | phoebe jenkins | 15 March 2018, 15:57:48 UTC | Revert iterpickle.py | 15 March 2018, 15:57:48 UTC |
f11687e | phoebe jenkins | 15 March 2018, 15:57:19 UTC | Add pickling capabilities for Create | 15 March 2018, 15:57:19 UTC |
cf789a4 | Yan Ivnitskiy | 14 March 2018, 20:45:12 UTC | Introduce concretized_args decorator (#803) * Introduce concretized_args decorator * Add docs * Cleanup * Add basic expression counter * Please codeclimate * pep8 * update docstring * Use default concretization policy when not provided * Add concretizer tests | 14 March 2018, 20:45:12 UTC |
e27ce05 | phoebe jenkins | 12 March 2018, 20:39:23 UTC | Fix method name typo. | 12 March 2018, 20:39:23 UTC |
33dc128 | phoebe jenkins | 12 March 2018, 19:58:15 UTC | Stop importing object from libfuture | 12 March 2018, 19:58:15 UTC |
61babdb | Yan Ivnitskiy | 12 March 2018, 19:27:18 UTC | Fix evm RETURN implementation (#808) * Fix write_buffer issue (#807) * Add test for write_buffer fix * Use Operators.ORD instead of ord (even though were assuming concrete vals) * Cleanup | 12 March 2018, 19:27:18 UTC |
bb4a796 | Dan Guido | 12 March 2018, 18:40:06 UTC | Add codeclimate, tox, and pycodestyle configs (#772) * pep8 autopep8 -r -i -a -a manticore * tox for testing py3k * minimal codeclimate * Add correct Code Climate ID * unignore max line endings since it's set to 160 * more badges * turn off pep8 in code climate * need to remove for codeclimate to work right * re-enable most checks with looser thresholds * remove unused imports autoflake --in-place -r manticore * revert the autoflakes changes * set tox to only py27 for now * cache is hardcoded to python 2.7.13 * Comment cleanup * Try autoflake again * Add dev environment dependency management to tox.ini * Remove count/statistics options from tox.ini Per Dan, these crash pep8 analysis on codeclimate at present * Revert setstate initialization * Re-introduce explicit compare for flags * add back structural comment * rm unneeeded ` as e` * bump py tox | 12 March 2018, 18:40:06 UTC |
dc9ede6 | phoebe jenkins | 12 March 2018, 17:52:54 UTC | Resolve encoding issues in workspace summaries | 12 March 2018, 17:52:54 UTC |
af41937 | phoebe jenkins | 12 March 2018, 17:18:15 UTC | Ensure values are ints before writing to memory | 12 March 2018, 17:18:15 UTC |
dca5260 | phoebe jenkins | 12 March 2018, 17:00:14 UTC | Fix typo | 12 March 2018, 17:00:14 UTC |
3588283 | phoebe jenkins | 12 March 2018, 16:33:48 UTC | Resolve subtle division issue | 12 March 2018, 16:33:48 UTC |
fceb48c | Yan Ivnitskiy | 12 March 2018, 16:19:38 UTC | Update Create (evm exception) arguments (#805) * Update Create arguments * Add integration test * Dial back the procs | 12 March 2018, 16:19:38 UTC |
c9fe346 | phoebe jenkins | 12 March 2018, 15:40:08 UTC | Make certain memory functions agnostic to string types | 12 March 2018, 15:40:08 UTC |
972ac53 | phoebe jenkins | 09 March 2018, 20:37:16 UTC | Resolve most obvious bytestring/unicode confusion issues | 09 March 2018, 20:37:16 UTC |
474aa4f | phoebe jenkins | 07 March 2018, 20:22:56 UTC | Add preliminary python3 compatibility to Manticore core This is the results of running stage1 and stage2 passes on manticore binary and core directories, with the necessary fixes to get tests/test_manticore.py passing. Still needs attention paid to remaining tests in suite and artifact cleanup. | 07 March 2018, 20:22:56 UTC |
fbf0823 | ggrieco-tob | 07 March 2018, 17:57:59 UTC | Very quick fix to avoid STOP instructions to return random values (#792) | 07 March 2018, 17:57:59 UTC |
f4118f4 | ggrieco-tob | 06 March 2018, 21:35:19 UTC | Added a function to generate evm testcases without using callbacks (#791) * Added a function to generate evm testcases without using callbacks Possible fix for #782 * The 'message' parameter in generate_testcase should be optional Requested by @montyly | 06 March 2018, 21:35:19 UTC |
fe2538f | Disconnect3d | 05 March 2018, 23:42:48 UTC | Add docstring for ARM's operand.is_shifted (#788) So that people don't have to google that by themselves! lolo | 05 March 2018, 23:42:48 UTC |
be67c02 | phoebe jenkins | 05 March 2018, 18:29:35 UTC | Use BytesIO due to Python3 string types | 05 March 2018, 18:29:35 UTC |
754a8d8 | phoebe jenkins | 05 March 2018, 18:20:51 UTC | Futurize manticore/binary | 05 March 2018, 18:20:51 UTC |
1bd18e5 | phoebe jenkins | 05 March 2018, 18:09:51 UTC | Clean up imports in test suite | 05 March 2018, 18:09:51 UTC |
25c6604 | phoebe jenkins | 05 March 2018, 17:03:27 UTC | Clean up artifacts from futurize stage 2 | 05 March 2018, 17:03:27 UTC |
7565877 | phoebe jenkins | 02 March 2018, 22:31:39 UTC | Remove a call to old_div | 02 March 2018, 22:31:39 UTC |
3b685e9 | phoebe jenkins | 02 March 2018, 22:30:19 UTC | Fix up futurize stage2 artifacts on Manticore base code | 02 March 2018, 22:30:19 UTC |
328b623 | Disconnect3d | 02 March 2018, 20:55:13 UTC | Change assertion->exception and add msg when target file is not present (#778) | 02 March 2018, 20:55:13 UTC |
7349a0b | Feist Josselin | 02 March 2018, 20:52:56 UTC | Fix out-of-bound index in EVMWorld._process_pending_transaction (#786) | 02 March 2018, 20:52:56 UTC |
fb93b53 | phoebe jenkins | 02 March 2018, 20:28:50 UTC | Integrate stage-2 changes for manticore base code | 02 March 2018, 20:28:50 UTC |
03ecb3f | Mark Mossberg | 01 March 2018, 23:48:10 UTC | Fix cli --data parameter (#781) * Actually use args.data * Update decree | 01 March 2018, 23:48:10 UTC |
17e9098 | Arun John Kuruvilla | 01 March 2018, 23:27:52 UTC | Used a namedtuple for pending transaction. Issue #689 (#775) * Used a namedtuple for pending transaction. Issue #689 * Changed field names in namedtuple. Issue #689 | 01 March 2018, 23:27:52 UTC |
9b75a1f | Disconnect3d | 01 March 2018, 23:24:27 UTC | Unicorn emulator: get uc_arch & uc_mode values just once (#779) | 01 March 2018, 23:24:27 UTC |