search

avatarone / news2e-qemu

Official QEMU mirror
Other
0 stars 1 forks source link

Symbolic execution #3

Open zaddach opened 8 years ago

zaddach commented 8 years ago

Symbolic execution needs to be done, starting from a simple testcase up to more complex software.

zaddach commented 7 years ago

A simple testcase for symbolic execution on ARM is working (tests/arm/symbolic_value)