GitHub / FSecureLABS / z3_and_angr_binary_analysis_workshop
Code and exercises for a workshop on z3 and angr
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FSecureLABS%2Fz3_and_angr_binary_analysis_workshop
PURL: pkg:github/FSecureLABS/z3_and_angr_binary_analysis_workshop
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: about 2 months ago
Pushed at: over 4 years ago
Last synced at: about 1 month ago
Topics: angr, binary-analysis, reverse-engineering, smt-solver, workshop, z3
Loading...