klee
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level
1
2
3
]
►
N
klee
►
N
expr
C
ArrayDecl
C
CommandDecl
CommandDecl
- Base class for language commands
C
Decl
Decl
- Base class for top level declarations
C
ExprVarDecl
ExprVarDecl
- Expression variable declarations
C
Identifier
Identifier
- Wrapper for a uniqued string
C
Lexer
Lexer
- Interface for lexing tokens from a .kquery language file
C
Parser
Parser
- Public interface for parsing a .kquery language file
C
QueryCommand
C
Token
C
VarDecl
C
VersionVarDecl
VersionVarDecl
-
Array
version variable declarations
►
N
time
C
Point
C
Span
►
N
util
C
ExprCmp
C
ExprHash
C
_Identity
C
_Select1st
C
AddressSpace
C
Array
C
ArrayCache
Provides an interface for creating and destroying
Array
objects
C
ArrayCmpFn
C
ArrayExprHash
C
ArrayExprHelper
C
ArrayHashFn
C
ArrayReadExprVisitor
C
ArrayValueOptReplaceVisitor
C
Assignment
C
AssignmentEvaluator
C
AssignmentGenerator
C
AssignmentValidatingSolver
C
BatchingSearcher
C
BFSSearcher
C
BinaryExpr
C
BitArray
C
CallPathManager
C
CallPathNode
C
CallSiteInfo
C
CastExpr
C
Cell
C
CleanupPhaseUnwindingInformation
C
CmpExpr
C
compressed_fd_ostream
C
ConcatExpr
C
ConstantArrayExprVisitor
C
ConstantArrayFinder
C
ConstantExpr
C
ConstraintManager
Manages constraints, e.g. optimisation
C
ConstraintSet
C
Context
Context
- Helper class for storing global information about a KLEE run
C
DFSSearcher
C
DiscretePDF
C
DivCheckPass
C
DummySolverImpl
C
EquivArrayCmpFn
C
ExecutionState
ExecutionState
representing a path under exploration
C
ExecutionStateIDCompare
C
Executor
►
C
Expr
Class representing symbolic expressions
C
CreateArg
C
ExprBuilder
ExprBuilder
- Base expression builder class
C
ExprEvaluator
C
ExprHandle
C
ExprHashMap
C
ExprHolder
C
ExprOptimizer
C
ExprPPrinter
C
ExprRangeEvaluator
C
ExprRewriter
C
ExprSMTLIBPrinter
►
C
ExprVisitor
C
Action
C
ExternalDispatcher
C
ExternalDispatcherImpl
C
ExtractExpr
C
FixedStack
C
FunctionAliasPass
C
FunctionInfo
FunctionInfo
stores debug information for a
KFunction
C
generic_gep_type_iterator
C
ImmutableMap
C
ImmutableSet
►
C
ImmutableTree
C
iterator
C
Node
C
IncompleteSolver
C
IndexCompatibilityExprVisitor
C
IndexTransformationExprVisitor
C
InstructionInfo
InstructionInfo
stores debug information for a
KInstruction
C
InstructionInfoTable
C
InstructionOperandTypeCheckPass
C
InterleavedSearcher
►
C
Interpreter
C
InterpreterOptions
C
ModuleOptions
C
InterpreterHandler
C
IntrinsicCleanerPass
C
IterativeDeepeningTimeSearcher
C
KCommandLine
C
KConstant
C
KFunction
C
KGEPInstruction
C
KInstIterator
C
KInstruction
C
KleeIRMetaData
Handles KLEE-specific LLVM IR meta-data
C
KModule
►
C
LowerSwitchPass
C
SwitchCase
►
C
MapOfSets
C
iterator
C
Node
C
MemoryManager
C
MemoryObject
C
MemoryObjectLT
Function object ordering
MemoryObject
's by address
C
MergeHandler
Represents one
klee_open_merge()
call. Handles merging of states that branched from it
C
MergingSearcher
C
MetaSMTSolver
C
NonConstantExpr
C
NotExpr
C
NotOptimizedExpr
C
ObjectState
C
OptNonePass
Instruments every function that contains a KLEE function call as nonopt
C
OvershiftCheckPass
C
PhiCleanerPass
C
PTree
C
PTreeNode
C
Query
C
RaiseAsmPass
C
RandomPathSearcher
C
RandomSearcher
RandomSearcher
picks a state randomly
C
ReadExpr
Class representing a one byte read from an array
C
ref
C
ReferenceCounter
Reference counter to be used as part of a ref-managed struct or class
C
RNG
C
Searcher
C
SearchPhaseUnwindingInformation
C
SeedInfo
C
SelectExpr
Class representing an if-then-else expression
C
Solver
C
SolverImpl
SolverImpl
- Abstract base clase for solver implementations
C
SolverQueryMetaData
►
C
SpecialFunctionHandler
C
const_iterator
C
HandlerInfo
C
StackFrame
C
StagedSolverImpl
C
Statistic
C
StatisticManager
C
StatisticRecord
C
StatsTracker
C
STPArrayExprHash
C
STPBuilder
C
STPSolver
STPSolver
- A complete solver based on STP
C
SwitchCaseCmp
C
SymbolicObjectFinder
C
Timer
C
TimerGroup
C
TimerStatIncrementer
C
TimingSolver
C
TreeOStream
C
TreeStreamWriter
C
UnwindingInformation
Contains information related to unwinding (Itanium ABI/2-Phase unwinding)
C
UpdateList
Class representing a complete list of updates into an array
C
UpdateNode
Class representing a byte update of an array
C
UpdateNodeCmpFn
C
UpdateNodeHashFn
C
ValidatingSolver
C
WallTimer
C
WeightedRandomSearcher
C
Z3ArrayExprHash
C
Z3Builder
C
Z3NodeHandle
C
Z3Solver
Z3Solver
- A complete solver based on Z3
►
N
llvm
C
simplify_type< ::klee::ref< T > >
C
simplify_type< const ::klee::ref< T > >
C
AssignmentLessThan
►
C
CachingSolver
C
CacheEntry
C
CacheEntryHash
C
CexCachingSolver
C
CexData
C
CexExactEvaluator
C
CexObjectData
C
CexPossibleEvaluator
C
CexRangeEvaluator
C
DebugInfoExtractor
C
DenseSet
C
ExprReplaceVisitor
C
ExprReplaceVisitor2
C
FastCexSolver
C
IndependentElementSet
C
IndependentSolver
C
InstructionToLineAnnotator
C
KleeHandler
C
KQueryLoggingSolver
C
KTest
C
KTestObject
C
NonNullAssignment
C
NullAssignment
C
NullOrSatisfyingAssignment
C
PPrinter
C
PrintContext
C
QueryLoggingSolver
C
SMTLIBLoggingSolver
C
ValueRange
Generated by
1.9.3
1.9.3 1.9.3