/PythonStAn

A static analysis framework for Python

Primary LanguagePythonBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

 ______            _                    _                      
(_____ \      _   | |                  | |   _      /\         
 _____) _   _| |_ | | _   ___  ____     \ \ | |_   /  \  ____  
|  ____| | | |  _)| || \ / _ \|  _ \     \ \|  _) / /\ \|  _ \ 
| |    | |_| | |__| | | | |_| | | | |_____) | |__| |__| | | | |
|_|     \__  |\___|_| |_|\___/|_| |_(______/ \___|______|_| |_|
       (____/

PythonStAn is yet another Python Static Analysis framework.

TODO List:

  • IR:

    • [DONE] Three-address transformer
    • [DONE] CFG generator
    • SSA transformer

  • Analysis:

    • [DONE] Dataflow analysis
      • liveness analysis
      • reaching definition analysis
    • [DONE] Closure analysis
    • Interprocedual analysis
    • Anderson's pointer analysis
    • Type Analysis