Can I directly perform symbolic execution on P-Code with angr? I have successfully translate an ELF to P-Code with the following codes.
