https://github.com/trailofbits/manticore

sort by:
Revision Author Date Message Commit Date
40a789c Fix typo 11 April 2018, 18:12:22 UTC
11a1a4d Fix typo 11 April 2018, 17:23:55 UTC
89e134e Tweak concolic.py imports 11 April 2018, 17:21:17 UTC
76ff279 Small fixes 11 April 2018, 16:09:23 UTC
162838b Add more helpers for encoding issues 10 April 2018, 15:26:04 UTC
b1279ed Open -> with open 10 April 2018, 15:25:36 UTC
ab7c1ce Fix some encoding issues in example scripts 10 April 2018, 15:25:20 UTC
bf2899a Fix print statements in example scripts 10 April 2018, 15:24:20 UTC
2946736 Have travis tests use correct pip version 09 April 2018, 15:39:54 UTC
aec111e Clean up more post-merge artifacts 09 April 2018, 15:26:50 UTC
544b1e9 Add travis job for multiple python versions 09 April 2018, 15:23:44 UTC
f34140b Remove last merge artifact 06 April 2018, 18:01:55 UTC
27e269a Fix encoding issues post-merge 06 April 2018, 18:01:44 UTC
6c8ca15 Merge branch 'imerge/origin/python3-staging' into python3 06 April 2018, 14:29:37 UTC
8c6da8a Fix minor encoding issues 06 April 2018, 14:21:34 UTC
4c23ab0 Fix merge artifacts 06 April 2018, 14:13:46 UTC
16e9c9a Clean up merge artifacts 04 April 2018, 17:59:05 UTC
0d276d0 Merge branch 'python3-staging' into python3 03 April 2018, 21:53:38 UTC
a85dd7b Merge pull request #850 from trailofbits/python3-python27 Python3 compatibility, Python2.7 tests passing 03 April 2018, 21:00:04 UTC
8861cd1 Remove commented lines 03 April 2018, 19:52:37 UTC
80f403e Relocate comment 03 April 2018, 19:52:26 UTC
4b3a699 Fix typo in integer check 03 April 2018, 19:51:50 UTC
a179b42 Fix typo in bytes call 03 April 2018, 19:01:56 UTC
eb21fee Re-add comment 03 April 2018, 18:52:26 UTC
b9cff34 Remove unnecessary loop 03 April 2018, 18:36:10 UTC
3526033 Merge branch 'master' into python3-staging 02 April 2018, 18:04:22 UTC
9ce28c1 Merge branch 'master' of github.com:trailofbits/manticore 02 April 2018, 18:02:17 UTC
70c337a Fix workspace tests hang 02 April 2018, 17:15:42 UTC
bda9c09 Manticore 0.1.8 (#851) (thanks for 1k) * Bump version numbers * initial changelog update * Add changelog content * add contribs 30 March 2018, 22:26:26 UTC
3c370e6 Disable resource warnings since theyre probably not relevant for testing 30 March 2018, 22:14:52 UTC
ae85980 Revert master merge 30 March 2018, 21:41:28 UTC
6aadf88 Fix typo for number of fields in Create.__reduce__ 30 March 2018, 20:35:56 UTC
afa547c Re-add accidentally deleted import 30 March 2018, 20:34:48 UTC
6bf738d Add isint helper 30 March 2018, 20:34:14 UTC
ccfffec Merge branch 'master' into python3 30 March 2018, 20:12:47 UTC
3bd8a91 Dont fail tests if we cant get coverage info 30 March 2018, 20:06:26 UTC
62d11fd assertEqual->assertEquals 30 March 2018, 19:32:20 UTC
8ea0d12 py3-ize example scripts 30 March 2018, 19:32:05 UTC
541b7c6 make sure import works on py2 and py3 30 March 2018, 18:52:23 UTC
6fef336 try bumping py version to 3.6 30 March 2018, 18:52:12 UTC
4b2b7b8 Clean up imports 30 March 2018, 18:45:26 UTC
6b5cc8f Remove debug output 30 March 2018, 18:43:40 UTC
59bfc6a Merge branch 'python3' of github.com:trailofbits/manticore into python3 30 March 2018, 18:35:36 UTC
ce738bb Fix encoding error 30 March 2018, 18:33:12 UTC
dee896f Merge branch 'python3' of github.com:trailofbits/manticore into python3 30 March 2018, 17:21:10 UTC
c93a3b8 Fix typos 30 March 2018, 17:17:37 UTC
7320480 Remove Binary.__new__ 30 March 2018, 17:17:07 UTC
21463c7 Fix more encoding issues 30 March 2018, 17:16:20 UTC
79d7df0 Open stdin files correctly for mcore integration test 30 March 2018, 17:16:20 UTC
bcdfc33 modernize a few things in evm 30 March 2018, 17:06:34 UTC
3d3db9b Use new getfullargspec api when available 30 March 2018, 17:06:11 UTC
8c822da clean up test output 30 March 2018, 17:02:25 UTC
710528a Update test api, use ctx manager for opening and remove dbg output 30 March 2018, 16:59:25 UTC
a99da58 Be better about iteration 30 March 2018, 16:58:31 UTC
abf3285 Be specific about exception types 30 March 2018, 16:57:44 UTC
29b80e8 Use new-style cmp 30 March 2018, 16:57:04 UTC
583eb56 Update smtlib reading/writing 30 March 2018, 16:11:41 UTC
62a7c82 Make solver use io and make disable debug log by default 30 March 2018, 15:15:57 UTC
2f382a9 Added KeyError Exception for offsets not in srcmap. Issue #832 (#839) 30 March 2018, 14:44:34 UTC
d0c9f05 use the right exception 30 March 2018, 13:51:44 UTC
0f5ba2c try a few ways to import mockmem 30 March 2018, 04:20:09 UTC
9331ca9 more encoding updates 30 March 2018, 03:29:17 UTC
acb5034 more encoding fixes 30 March 2018, 03:06:13 UTC
b6be6f5 decode read strings as acscii 30 March 2018, 03:06:01 UTC
390e4b5 port more tests 30 March 2018, 02:35:39 UTC
d703f7c Open interpreter elf correctly 30 March 2018, 02:33:53 UTC
1f512d9 fix hex_encode 30 March 2018, 02:10:39 UTC
0ed3fdf add test helper to test_slam_regre 30 March 2018, 02:10:30 UTC
8fc4d77 Update pickling 30 March 2018, 02:09:58 UTC
c0976cb Update serialization 30 March 2018, 02:09:49 UTC
e7177c9 New exceptions dont necessarily have a message field 30 March 2018, 02:09:19 UTC
66df447 Fix remaining broken instances of assertItemsEqual 29 March 2018, 22:06:18 UTC
c28114c Stop repeatedly appending to a string 29 March 2018, 20:47:22 UTC
44b8e56 Remove verbose flag for travis tests 29 March 2018, 20:04:14 UTC
c9249c4 str->bytes 29 March 2018, 20:03:13 UTC
eb175e1 Dont need __del__ in lazy wrapper 29 March 2018, 20:03:04 UTC
0e4adaf py3 doesnt capture enclosing scope and py2 doesnt have nonlocal 29 March 2018, 20:02:40 UTC
b98a0cf str->unicode 29 March 2018, 20:02:10 UTC
321d88d str/bytes issues 29 March 2018, 19:48:06 UTC
1f79ad6 Update how workspace writes strings 29 March 2018, 19:47:12 UTC
ff63274 Update executor logging 29 March 2018, 19:46:29 UTC
d43064c Unskip slow tests 29 March 2018, 19:41:06 UTC
d2179f0 Stop repeatedly appending to a string 29 March 2018, 19:37:42 UTC
d7b7cf0 Temporarily disable tests that timeout on travis 29 March 2018, 18:04:44 UTC
4c7418c Revert "Temporarily disable tests that timeout on travis" This reverts commit 922067d2dbab65de92704580e51c2917edbdd35f. 29 March 2018, 18:04:09 UTC
922067d Temporarily disable tests that timeout on travis 29 March 2018, 17:58:25 UTC
2c6e24d Have added test output print newlines 29 March 2018, 17:30:52 UTC
d0780ea Update slow-running tests to have more verbosity 29 March 2018, 16:54:47 UTC
ecb6cfa Remove travis_wait 29 March 2018, 16:54:13 UTC
b4b5d08 Temporarily increase timeout for travis_test.sh 29 March 2018, 16:29:57 UTC
92bf189 Add test portability to pcmxstrx tests 29 March 2018, 16:21:42 UTC
42ff6c8 Revert __bool__ simplification 29 March 2018, 16:15:25 UTC
e40b1c8 Fix typo in travis_test.sh 29 March 2018, 15:51:32 UTC
db1a82c Make sure we don't initialize a SyncManager in file scope 29 March 2018, 15:50:18 UTC
6a63360 Update LazyZ3Solver.__del__ 29 March 2018, 15:42:36 UTC
a39aae2 minor py3 updates 29 March 2018, 15:36:45 UTC
caafa25 Make some x86 tests py3 compatible 29 March 2018, 15:35:08 UTC
031b9cd Temporarily add verbose output to travis tests 29 March 2018, 15:34:52 UTC
18ab1a7 Add a lazy z3 wrapper 29 March 2018, 15:34:50 UTC
c10f278 Make sure we don't initialize a SyncManager in file scope 29 March 2018, 14:59:23 UTC
back to top