|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use cz.vutbr.fit.findbugs.atom.analysis | |
---|---|
cz.vutbr.fit.findbugs.atom.analysis |
Classes in cz.vutbr.fit.findbugs.atom.analysis used by cz.vutbr.fit.findbugs.atom.analysis | |
---|---|
AtomAnalysis
Implements control flow analysis which looks for atoms (two consequential accesses to some variable). |
|
AtomDataflow
Creating control flow analysis environment. |
|
AtomFact
This class represents the fact (something what is true at the location) of the dataflow analysis for finding atomicity. |
|
CTVarInfo
Class encapsulating information concerning ConTest method invocation. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |