GitHub repository: FSecureLABS/z3_and_angr_binary_analysis_workshop
Primary language: Python
Description: Code and exercises for a workshop on z3 and angr