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.
Statistic	states
Statistic	reachableUncovered
Statistic	minDistToUncovered
Statistic	minDistToReturn
Statistic	cexCacheTime
Statistic	queries
Statistic	queriesInvalid
Statistic	queriesValid
Statistic	queryCacheHits
Statistic	queryCacheMisses
Statistic	queryConstructTime
Statistic	queryConstructs
Statistic	queryCounterexamples
Statistic	queryTime

---

Variable Documentation

Statistic klee::stats::allocations

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

Statistic klee::stats::cexCacheTime

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

Statistic klee::stats::coveredInstructions

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

Statistic klee::stats::falseBranches

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

Statistic klee::stats::forks

The number of process forks.

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

Statistic klee::stats::forkTime

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

Statistic klee::stats::instructionRealTime

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

Statistic klee::stats::instructions

Referenced by klee::StatsTracker::computeReachableUncovered(), klee::WeightedRandomSearcher::getWeight(), main(), klee::Executor::processTimers(), klee::Executor::run(), klee::BatchingSearcher::selectState(), PCLoggingSolver::startQuery(), klee::Executor::stepInstruction(), and klee::StatsTracker::writeStatsLine().

Statistic klee::stats::instructionTime

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

Statistic klee::stats::minDistToReturn

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

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

Statistic klee::stats::minDistToUncovered

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().

Statistic klee::stats::queries

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

Statistic klee::stats::queriesInvalid

Referenced by STPSolverImpl::computeInitialValues(), and main().

Statistic klee::stats::queriesValid

Referenced by STPSolverImpl::computeInitialValues(), and main().

Statistic klee::stats::queryCacheHits

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

Statistic klee::stats::queryCacheMisses

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

Statistic klee::stats::queryConstructs

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

Statistic klee::stats::queryConstructTime

Statistic klee::stats::queryCounterexamples

Referenced by STPSolverImpl::computeInitialValues(), and main().

Statistic klee::stats::queryTime

Referenced by STPSolverImpl::computeInitialValues(), and klee::StatsTracker::writeStatsLine().

Statistic klee::stats::reachableUncovered

Instruction level statistic for tracking number of reachable uncovered instructions.

Statistic klee::stats::resolveTime

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

Statistic klee::stats::solverTime

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

Statistic klee::stats::states

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().

Statistic klee::stats::trueBranches

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

Statistic klee::stats::uncoveredInstructions

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