Package cz.vutbr.fit.findbugs.atom.analysis

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.