|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use vasco | |
|---|---|
| vasco | |
| vasco.callgraph | |
| vasco.soot | |
| vasco.soot.examples | |
| Classes in vasco used by vasco | |
|---|---|
| CallSite
A context-sensitive location of a method invocation. |
|
| Context
A value-based context for a context-sensitive inter-procedural data flow analysis. |
|
| ContextTransitionTable
A record of transitions between contexts at call-sites. |
|
| DataFlowSolution
A mapping of program points to results of data flow analysis. |
|
| InterProceduralAnalysis
A generic inter-procedural analysis which is fully context-sensitive. |
|
| ProgramRepresentation
A wrapper for the API used by the underlying intermediate representation over which inter-procedural analysis is to be performed. |
|
| Classes in vasco used by vasco.callgraph | |
|---|---|
| Context
A value-based context for a context-sensitive inter-procedural data flow analysis. |
|
| InterProceduralAnalysis
A generic inter-procedural analysis which is fully context-sensitive. |
|
| OldForwardInterProceduralAnalysis
Deprecated. This is the old API from the initial SOAP '13 submission without call/return flow functions. It is only here for a temporary period while the PointsToAnalysis class is migrated to the new API.
After that work is done, this class will be permanently removed from VASCO. |
|
| ProgramRepresentation
A wrapper for the API used by the underlying intermediate representation over which inter-procedural analysis is to be performed. |
|
| Classes in vasco used by vasco.soot | |
|---|---|
| ProgramRepresentation
A wrapper for the API used by the underlying intermediate representation over which inter-procedural analysis is to be performed. |
|
| Classes in vasco used by vasco.soot.examples | |
|---|---|
| Context
A value-based context for a context-sensitive inter-procedural data flow analysis. |
|
| ForwardInterProceduralAnalysis
A generic forward-flow inter-procedural analysis which is fully context-sensitive. |
|
| InterProceduralAnalysis
A generic inter-procedural analysis which is fully context-sensitive. |
|
| ProgramRepresentation
A wrapper for the API used by the underlying intermediate representation over which inter-procedural analysis is to be performed. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||