cz.vutbr.fit.findbugs.atom.analysis
Classes 
AtomAnalysis
AtomDataflow
AtomDataflowEngine
AtomFact
CTMethods
CTVarInfo
EngineRegistrar