z3_and_angr_binary_analysis_workshop
z3_and_angr_binary_analysis_workshop copied to clipboard
FSecureLABS
Code and exercises for a workshop on z3 and angr
Results
1
z3_and_angr_binary_analysis_workshop issues
Sort by
recently updated
recently updated
newest added
Some of angr examples have old syntax which no longer seems to work. Take for instance `opaque predicate` example. Line 9 looks like ``` p = angr.project.load_shellcode(trace, archinfo.ArchX86) ``` Which...
Metadata
221
Stars
39
Forks
Watchers
Owner
Metadata
Code and exercises for a workshop on z3 and angr