u/ddddavideein r/ReverseEngineering • Recommends
Watch "Symbolic Execution Demystified by Jannis Kirschner" on YouTube
0:00 / 0:00
#symbolicexecution#angr#satsolvers
Symbolic Execution Demystified by Jannis Kirschner
1ns0mn1h4ck
5.4K subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Jannis Kirschner
Intermediate. Assumes working knowledge.
2.7K views4 years ago1 recommendation
SecurityComputer scienceReverse engineeringComputation and complexityFormal methods and verification
Jannis Kirschner explains the concepts behind symbolic execution and demonstrates how it can be used in reverse engineering.
The dual screen setup on Jannis' laptop was misbehaving. We've fixed the display of his slides and demo for the video.Why it's here
1 person recommends thisWhat people say. Recommended as a clear and accessible introduction to the concepts of symbolic execution.