public class SoundnessTester
extends java.lang.Object
Constructor and Description |
---|
SoundnessTester(java.util.Map<TypeCollector.VariableSummary,Value> type_map,
java.util.Set<SourceLocation> domObjectAllocationSites,
GenericSolver.SolverInterface c)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
SoundnessTestResult |
test(java.net.URL logFile)
Tests the soundness of the static analysis result by comparing it with the content of the given value log.
|
public SoundnessTester(java.util.Map<TypeCollector.VariableSummary,Value> type_map, java.util.Set<SourceLocation> domObjectAllocationSites, GenericSolver.SolverInterface c)
public SoundnessTestResult test(java.net.URL logFile)
Copyright © 2009-2019 Aarhus University