GitHub repository: rohanpadhye/vasco
Primary language: Java
Description: An inter-procedural data-flow analysis framework using value-based context sensitivity