klee::stats Namespace Reference

Variables
Statistic	allocations
Statistic	resolveTime
Statistic	instructions
Statistic	instructionTime
Statistic	instructionRealTime
Statistic	coveredInstructions
Statistic	uncoveredInstructions
Statistic	trueBranches
Statistic	falseBranches
Statistic	forkTime
Statistic	solverTime
Statistic	forks
	The number of process forks. More...
Statistic	states
Statistic	minDistToUncovered
Statistic	minDistToReturn
Statistic	cexCacheTime
Statistic	queries
Statistic	queriesInvalid
Statistic	queriesValid
Statistic	queryCacheHits
Statistic	queryCacheMisses
Statistic	queryCexCacheHits
Statistic	queryCexCacheMisses
Statistic	queryConstructs
Statistic	queryCounterexamples
Statistic	queryTime

Variable Documentation

allocations

Statistic klee::stats::allocations

extern

Referenced by klee::MemoryManager::allocate(), and klee::MemoryManager::allocateFixed().

cexCacheTime

Statistic klee::stats::cexCacheTime

extern

Referenced by CexCachingSolver::computeInitialValues(), CexCachingSolver::computeTruth(), CexCachingSolver::computeValidity(), CexCachingSolver::computeValue(), and klee::StatsTracker::writeStatsLine().

coveredInstructions

Statistic klee::stats::coveredInstructions

extern

Referenced by klee::StatsTracker::stepInstruction(), and klee::StatsTracker::writeStatsLine().

falseBranches

Statistic klee::stats::falseBranches

extern

Referenced by klee::StatsTracker::markBranchVisited().

forks

Statistic klee::stats::forks

extern

The number of process forks.

Referenced by klee::Executor::branch(), klee::Executor::branchingPermitted(), klee::Executor::fork(), main(), and klee::Executor::maxStaticPctChecks().

forkTime

Statistic klee::stats::forkTime

extern

Referenced by klee::Executor::branch(), klee::Executor::fork(), and klee::StatsTracker::writeStatsLine().

instructionRealTime

Statistic klee::stats::instructionRealTime

extern

Referenced by klee::StatsTracker::stepInstruction().

instructions

Statistic klee::stats::instructions

extern

Referenced by klee::Executor::checkMemoryUsage(), klee::StatsTracker::computeReachableUncovered(), klee::Executor::dumpPTree(), klee::Executor::dumpStates(), klee::WeightedRandomSearcher::getWeight(), main(), klee::Executor::run(), klee::BatchingSearcher::selectState(), QueryLoggingSolver::startQuery(), klee::StatsTracker::stepInstruction(), klee::Executor::stepInstruction(), and klee::StatsTracker::writeStatsLine().

instructionTime

Statistic klee::stats::instructionTime

extern

Referenced by klee::StatsTracker::stepInstruction().

minDistToReturn

Statistic klee::stats::minDistToReturn

extern

Instruction level statistic tracking the minimum intraprocedural distance to a function return.

Referenced by klee::computeMinDistToUncovered(), and klee::StatsTracker::computeReachableUncovered().

minDistToUncovered

Statistic klee::stats::minDistToUncovered

extern

Instruction level statistic tracking the minimum intraprocedural distance to an uncovered instruction; this is only periodically updated.

Referenced by klee::computeMinDistToUncovered(), and klee::StatsTracker::computeReachableUncovered().

queries

Statistic klee::stats::queries

extern

Referenced by klee::DummySolverImpl::computeInitialValues(), klee::DummySolverImpl::computeTruth(), klee::DummySolverImpl::computeValidity(), klee::DummySolverImpl::computeValue(), EvaluateInputAST(), main(), and klee::StatsTracker::writeStatsLine().

queriesInvalid

Statistic klee::stats::queriesInvalid

extern

Referenced by main().

queriesValid

Statistic klee::stats::queriesValid

extern

Referenced by main().

queryCacheHits

Statistic klee::stats::queryCacheHits

extern

Referenced by CachingSolver::computeTruth(), and CachingSolver::computeValidity().

queryCacheMisses

Statistic klee::stats::queryCacheMisses

extern

Referenced by CachingSolver::computeInitialValues(), CachingSolver::computeTruth(), CachingSolver::computeValidity(), and CachingSolver::computeValue().

queryCexCacheHits

Statistic klee::stats::queryCexCacheHits

extern

Referenced by CexCachingSolver::lookupAssignment(), and klee::StatsTracker::writeStatsLine().

queryCexCacheMisses

Statistic klee::stats::queryCexCacheMisses

extern

Referenced by CexCachingSolver::lookupAssignment(), and klee::StatsTracker::writeStatsLine().

queryConstructs

Statistic klee::stats::queryConstructs

extern

Referenced by main(), and klee::StatsTracker::writeStatsLine().

queryCounterexamples

Statistic klee::stats::queryCounterexamples

extern

Referenced by klee::DummySolverImpl::computeInitialValues(), klee::DummySolverImpl::computeValue(), and main().

queryTime

Statistic klee::stats::queryTime

extern

Referenced by klee::StatsTracker::writeStatsLine().

resolveTime

Statistic klee::stats::resolveTime

extern

Referenced by klee::AddressSpace::resolve(), klee::AddressSpace::resolveOne(), and klee::StatsTracker::writeStatsLine().

solverTime

Statistic klee::stats::solverTime

extern

Referenced by klee::TimingSolver::evaluate(), klee::TimingSolver::getInitialValues(), klee::TimingSolver::getRange(), klee::TimingSolver::getValue(), klee::Executor::maxStaticPctChecks(), klee::TimingSolver::mustBeTrue(), and klee::StatsTracker::writeStatsLine().

states

Statistic klee::stats::states

extern

Number of states, this is a "fake" statistic used by istats, it isn't normally up-to-date.

Referenced by klee::StatsTracker::updateStateStatistics(), and klee::StatsTracker::writeIStats().

trueBranches

Statistic klee::stats::trueBranches

extern

Referenced by klee::StatsTracker::markBranchVisited().

uncoveredInstructions

Statistic klee::stats::uncoveredInstructions

extern

Referenced by klee::StatsTracker::computeReachableUncovered(), klee::StatsTracker::StatsTracker(), klee::StatsTracker::stepInstruction(), klee::StatsTracker::writeIStats(), and klee::StatsTracker::writeStatsLine().