Alan aadd7a06e7 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

2019-04-22 16:15:19 -05:00

..

binaryninja

Remove Py3 redundant object inheritance (#1307)

2018-12-17 20:15:06 +01:00

sandshrew

Migrate sandshrew concolic executor as Manticore script (#1396)

2019-04-22 16:15:19 -05:00

extract_syscalls.py

PEP-257: Change docstrings using single quotes to double quotes (#1401)

2019-04-17 11:53:01 +02:00

follow_trace.py

Refactor generate_testcase events and fix eth verbose trace plugin (#1305)

2018-12-17 15:04:00 +01:00

gdb.py

Fix all ResourceWarnings triggered by the test suite (#1224)

2018-10-27 01:18:48 +02:00

prof.py

Move benchmark->prof script and fix it (#1285)

2018-12-09 23:42:40 +01:00

qemu.py

Convert format strings to literal string interpolation [rebased] (#1194)

2018-10-18 11:03:19 +02:00

stats.py

Convert format strings to literal string interpolation [rebased] (#1194)

2018-10-18 11:03:19 +02:00

travis_install.sh

Refactor tests structure (#1352)

2019-01-17 11:10:02 +01:00

travis_test.sh

Refactor tests structure (#1352)

2019-01-17 11:10:02 +01:00

verify.py

PEP-257: Change docstrings using single quotes to double quotes (#1401)

2019-04-17 11:53:01 +02:00