Links for angr-z3