from angr.engines import SimEngine, SimSuccessors, SimEngineVEX, SimEngineProcedure, SimEngineUnicorn

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

from angr.engines import SimEngine, SimSuccessors, SimEngineVEX, SimEngineProcedure, SimEngineUnicorn #16

Closed jesson3264 closed 1 year ago

jesson3264 commented 1 year ago

When I Use the branch dev_python3

File "E:\ANACONDA\lib\site-packages\simuvex\__init__.py", line 14, in <module>
    from angr.engines import SimEngine, SimSuccessors, SimEngineVEX, SimEngineProcedure, SimEngineUnicorn

What should I Do.

smile0304 commented 1 year ago

please use branch dev_python3. dev_python3 is not a complete environment