Skip to content

lkgv/PythonStAn

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

81 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

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

About

A static analysis framework for Python

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages