z3_and_angr_binary_analysis_workshop
z3_and_angr_binary_analysis_workshop copied to clipboard
Incompatible syntax present in some angr examples
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 is no longer compatible with angr, the syntax should look like this
p = angr.project.load_shellcode(trace, arch='x86')
I haven't checked all of the examples, but it may be best to pin a specific version of angr to this workshop, or just update the examples.