concolic-execution

Main Stage·46 min

• DEF CON
• Malware
• Date: Aug 2015
• Location: Las Vegas

Yan Shoshitaishvili · Fish Wang

Yan Shoshitaishvili and Fish Wang introduce angr, the open-source binary analysis platform combining symbolic execution and static analysis for automated vulnerability research.