|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AtomCollection | A collection of atoms (atoms or access tuples are basic units of atomicity found by static analysis). |
FilterAtomicPattern | |
FindAtomicity | FindBugs detector which uses the results of our analysis to producing atoms. |
FindOmit | |
FindPatterns | FindBugs detector which uses the results of our analysis to producing atoms. |
FindProgLocation | FindBugs detector which uses the results of our analysis to producing atoms. |
TestBench | Just for debugging purposes... |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |