Class Summary |
AtomAnalysis |
Implements control flow analysis which looks for atoms (two consequential
accesses to some variable). |
AtomDataflow |
Creating control flow analysis environment. |
AtomDataflowEngine |
Implements important interface methods which are used for communication with
the analysis. |
AtomFact |
This class represents the fact (something what is true at the location) of
the dataflow analysis for finding atomicity. |
CTMethods |
This class provides static operation which makes available parameters of
ConTest methods. |
CTVarInfo |
Class encapsulating information concerning ConTest method invocation. |
EngineRegistrar |
Allows to register our analysis to FindBugs. |