feliam a9711cf119 Graceful fallback if Z3 doesn't support optimization queries (#135) ...

* Configure Z3 depending on installed version

* Mocking for subprocess.check_output

* change get_value_fmt to private attribute _get_value_fmt

* Move memoized to utils

* Remove minimal version and simplify

* Re-add invalid versions/sanity checks

* Z3 version format checked on github

* New tests. Version is future proof

* Better logging

2017-04-18 18:40:06 -03:00

..

auto

Dev fix amd64 emulation bugs (#136)

2017-04-13 19:22:04 -03:00

binaries

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

memdumps

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

__init__.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

mockmem.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_allinsts.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_armv7_bitwise.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_armv7cpu.py

Make unicorn be pull-based (#97)

2017-04-03 16:00:49 -04:00

test_armv7rf.py

Dev arm regfile refactor (#57)

2017-03-24 14:44:24 -03:00

test_binaries.py

Dev stoping criteria (#108)

2017-03-28 14:48:23 -03:00

test_cpu_automatic.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_cpu_manual.py

Make unicorn be pull-based (#97)

2017-04-03 16:00:49 -04:00

test_driver.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_dyn.py

Dev fix amd64 emulation bugs (#136)

2017-04-13 19:22:04 -03:00

test_linux.py

Fix interpreter loader (#115)

2017-03-31 13:22:59 -04:00

test_manticore.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_memdumps.py

Heads removed (#99)

2017-03-22 20:45:14 -03:00

test_memory.py

Fix memory._ceil, Fix linux.load (#134)

2017-04-13 18:45:18 -04:00

test_register.py

Refactor Register (#82)

2017-03-21 16:50:39 -04:00

test_signal.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_smtlibv2.py

Graceful fallback if Z3 doesn't support optimization queries (#135)

2017-04-18 18:40:06 -03:00

test_state.py

Make unicorn be pull-based (#97)

2017-04-03 16:00:49 -04:00

test_unicorn.py

Make unicorn be pull-based (#97)

2017-04-03 16:00:49 -04:00