NSSL-SJTU / SaTC

A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.
274 stars 48 forks source link

Does the current SaTC (dev-python3) fully support running under python3? #14

Open yasong opened 2 years ago

yasong commented 2 years ago

SaTC is a very nice tool. Thank you for being open source. However, I would like to run it under python3, and I would like to run it under a higher version of angr, but I find that the current version (dev-python3) throws a lot of errors when I run it, have you fully tested it under python3 and a higher version of anger (e.g., 9.x), and can you provide the latest version? Thank you.