Package cz.muni.stanse.automatonchecker

Classes
class	AutomatonChecker
	Static checker which is able to detect locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks.
class	AutomatonCheckerCreator
class	AutomatonCheckerLogger
class	AutomatonState
	This class represents automaton state for each automata class defined in XML automata definition file.
class	AutomatonStateCFGcontextAlgo
class	AutomatonStateContextAlgo
class	AutomatonStateContextItem
class	AutomatonStateTransferManager
class	CallSiteCFGNavigator
class	CallSiteDetector
class	CheckerErrorBuilder
	Provides static method buildErrorList which compute the checker-errors from automata states at PattenLocations assigned to matching source code locacions by use of error transition rules defined in XML automata definition file.
class	ComposedAutomatonID
class	ConnectPatternLocationToSuccessors
	Instances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code.
class	ErrorRule
class	ErrorTracesListCreator
class	FalsePositivesDetector
class	FalsePositivesDetectorCreator
class	FalsePositivesDetectorFactory
class	FPDConditionalPathsMismatch
class	FPDConditionalPathsMismatchCreator
class	FPDLockingElimHasUnlock
class	FPDLockingElimHasUnlockCreator
class	FPDMemoryAssignedFilter
class	FPDMemoryAssignedFilterCreator
class	FPDMemoryGlobalVarFilter
class	FPDMemoryGlobalVarFilterCreator
class	FPDMemoryNestedCheckFilter
class	FPDMemoryNestedCheckFilterCreator
class	FPDMemoryReassignedFilter
class	FPDMemoryReassignedFilterCreator
class	FPDNoreturnFunctions
class	FPDNoreturnFunctionsCreator
class	PatternLocation
class	PatternLocationBuilder
class	PatternLocationCreator
class	SimpleAutomatonID
class	TransitionRule
class	XMLAutomatonDefinition
class	XMLAutomatonSyntaxErrorException
	Describes a syntax error in XML file with automaton definition. More...
class	XMLErrorRule
class	XMLRuleStringParser
class	XMLTransitionRule