GitHub / FSecureLABS / z3_and_angr_binary_analysis_workshop
Code and exercises for a workshop on z3 and angr
Stars: 227
Forks: 39
Open issues: 1
License: None
Language: Python
Size: 1.45 MB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: 13 days ago
Pushed at: over 4 years ago
Last synced at: 1 day ago
Topics: angr, binary-analysis, reverse-engineering, smt-solver, workshop, z3
Loading...