Directory dependency graph for automatonchecker:
Files | |
| file | AutomatonChecker.java |
| Defines public final class AutomatonChecker which provides static program verification specialized to locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks. | |
| file | AutomatonCheckerCreator.java |
| file | AutomatonCheckerLogger.java |
| file | AutomatonState.java |
| Here are defined automata states for all the automata defined in XML automata definition file of automatonchecker package. | |
| file | AutomatonStateCFGcontextAlgo.java |
| file | AutomatonStateContextAlgo.java |
| file | AutomatonStateContextItem.java |
| file | AutomatonStateTransferManager.java |
| file | CallSiteCFGNavigator.java |
| file | CallSiteDetector.java |
| file | CheckerErrorBuilder.java |
| Implements final class CheckerErrorBuilder which is responsible to compute all checker errors which can be translated from automata states at PaternLocations. | |
| file | ComposedAutomatonID.java |
| file | ConnectPatternLocationToSuccessors.java |
| Implements final class ConnectPatternLocationToSuccessors which is responsible for creating connections between PatternLocation instances with respect to control-flow of source code. | |
| file | ErrorRule.java |
| Copyright (c) 2008-2009 Marek Trtik. | |
| file | ErrorTracesListCreator.java |
| file | FalsePositivesDetector.java |
| file | FalsePositivesDetectorCreator.java |
| file | FalsePositivesDetectorFactory.java |
| file | FPDConditionalPathsMismatch.java |
| file | FPDLockingElimHasUnlock.java |
| file | FPDMemoryAssignedFilter.java |
| file | FPDMemoryGlobalVarFilter.java |
| file | FPDMemoryNestedCheckFilter.java |
| file | FPDMemoryReassignedFilter.java |
| file | FPDNoreturnFunctions.java |
| file | PatternLocation.java |
| file | PatternLocationBuilder.java |
| file | PatternLocationCreator.java |
| file | SimpleAutomatonID.java |
| file | TransitionRule.java |
| file | XMLAutomatonDefinition.java |
| Copyright (c) 2008-2009 Marek Trtik. | |
| file | XMLAutomatonSyntaxErrorException.java |
| Implements exception class which represents any syntax error in XML files, which contains automaton definitions. | |
| file | XMLErrorRule.java |
| Copyright (c) 2008-2009 Marek Trtik. | |
| file | XMLRuleStringParser.java |
| Copyright (c) 2008-2009 Marek Trtik. | |
| file | XMLTransitionRule.java |
| Copyright (c) 2008-2009 Marek Trtik. | |
