Topic: static-analysis

Range-analysis-experiments

Range-analysis-experiments

0

Prototype of a value range analysis using python's ast

fileflowanalysis

fileflowanalysis

0

This project is a build script analysis tool that uses file flow analysis and abstract interpretation to approximate possible abstract file structures of build scripts. We can then use these results to ensure successful execution, code transplantation and

checkimpcont

checkimpcont

0

Check string literal concatenation by implicit line continuation in Python souce.