Yan Ivnitskiy 9c258bd68d Update concolic.py (#887) ...

* Update concolic.py

* update what evt we subscribe to

2018-05-03 18:52:29 -04:00

..

binaryninja

Updated visualization plugin with coverage info & live update option (#444)

2017-08-23 17:47:23 -04:00

benchmark.py

Move pretty printing into helpers (#299)

2017-06-09 17:48:56 -04:00

extract_syscalls.py

Generate NRs for ARM-specific syscalls (#254)

2017-05-15 15:11:54 -04:00

follow_trace.py

Trace following mode (#513)

2017-11-28 18:14:03 -05:00

gdb.py

Support tracing (#247)

2017-06-05 16:16:54 -04:00

qemu.py

Support tracing (#247)

2017-06-05 16:16:54 -04:00

stats.py

Fix all integral type checks that forget long (#555)

2017-11-09 11:28:24 -05:00

travis_install.sh

eth int overflow: tests, mul support (#656)

2017-12-21 12:54:24 -05:00

travis_test.sh

Update concolic.py (#887)

2018-05-03 18:52:29 -04:00

verify.py

Support tracing (#247)

2017-06-05 16:16:54 -04:00