Download vasco Free Java Code

Description

An inter procedural data flow analysis framework using value based context sensitivity.

Source Files

The download file vasco-master.zip has the following entries.


.gitignore/*ww  w. ja  v a 2 s . co m*/
LICENSE.txt
README.md
javadoc.xml
offline/java/package-list
offline/jdi/package-list
offline/soot/package-list
src/vasco/BackwardInterProceduralAnalysis.java
src/vasco/CallSite.java
src/vasco/Context.java
src/vasco/ContextTransitionTable.java
src/vasco/DataFlowSolution.java
src/vasco/ForwardInterProceduralAnalysis.java
src/vasco/InterProceduralAnalysis.java
src/vasco/OldForwardInterProceduralAnalysis.java
src/vasco/ProgramRepresentation.java
src/vasco/callgraph/CallGraphTransformer.java
src/vasco/callgraph/PointsToAnalysis.java
src/vasco/callgraph/PointsToGraph.java
src/vasco/callgraph/Test.java
src/vasco/soot/ContextSensitiveJimpleRepresentation.java
src/vasco/soot/DefaultJimpleRepresentation.java
src/vasco/soot/examples/CopyConstantAnalysis.java
src/vasco/soot/examples/CopyConstantTest.java