Package Functions | |
boolean | isApplicable (final XMLAutomatonDefinition definition, boolean isInterprocediral) |
FalsePositivesDetector | create (XMLAutomatonDefinition definition, LazyInternalStructures internals, boolean isInterprocediral, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary) |
boolean cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator::isApplicable | ( | final XMLAutomatonDefinition | definition, | |
boolean | isInterprocediral | |||
) | [inline, package] |
FalsePositivesDetector cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator::create | ( | XMLAutomatonDefinition | definition, | |
LazyInternalStructures | internals, | |||
boolean | isInterprocediral, | |||
final Map< CFGNode, Pair< PatternLocation, PatternLocation >> | nodeLocationDictionary | |||
) | [inline, package, virtual] |