Symbolic Execution
Slides
Current version of the slides is available here.
Download slides (revision: 2018-11-29): PDF
Hands-on
Install angr on VM BIAR 1.6.5
python2 -m pip install --upgrade --user pip
python2 -m pip install --user angr
Slide example
You can find the souce code, binary (Linux x86_64) and an angr script in the slide-example
directory. solve-example.py
must be customized, replacing {XXX, YYY, ZZZ} placeholders.
Logic bomb
A Windows PE-32 logic bomb can be found in the bomb/
directory. Source code is not available. The angr script for solving the first phase is called phase-1.py
(replace {XXX, YYY, ZZZ} placeholders!).