cyber-defence-campus / morion

Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.
Apache License 2.0
4 stars 0 forks source link

Introducing Stub Code #5

Closed pdamian closed 1 year ago

pdamian commented 2 years ago

Tasks:

References:

pdamian commented 2 years ago

Stubs are mainly useful in symbolic emulation mode (static symbolic execution - SSE). They are primarily intended to return correct concrete result values of external library calls. In morion we use a concolic exeuction mode (dynamic symbolic execution - DSE) and can therefore use the concrete result of the actual library call.