|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| DisjunctUpdates | |
| FreshnessAnalysis | An intraprocedural freshness analysis that computes for each statement and local, whether or not the local is 'fresh' at that statement - that is, the statement can not be executed twice with the local pointing to the same object. |
| Introductions | |
| ITDAnalysis | |
| ITDAnalysisResults | |
| ITDOptimisation | |
| JimpleEditor | |
| JimpleGenerator | |
| NameLookup | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||