News
Record dataflow graphs of Python programs using dynamic program analysis. The package can be used standalone but is designed primarily to be used in conjunction with our semantic flow graphs. The main ...
StatiCFG is a package that can be used to produce control flow graphs (CFGs) for Python 3 programs. The CFGs it generates can be easily visualised with graphviz and used for static analysis. This ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results