cz::muni::stanse::automatonchecker Namespace Reference


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. More...
class  AutomatonCheckerCreator
class  AutomatonCheckerLogger
class  AutomatonState
 This class represents automaton state for each automata class defined in XML automata definition file. More...
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. More...
class  ComposedAutomatonID
class  ConnectPatternLocationToSuccessors
 Instances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code. More...
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


Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6