Searched refs:TimingSolver (Results 1 – 10 of 10) sorted by relevance
/dports/security/klee/klee-2.2/lib/Core/ |
H A D | TimingSolver.cpp | 26 bool TimingSolver::evaluate(const ConstraintSet &constraints, ref<Expr> expr, in evaluate() 47 bool TimingSolver::mustBeTrue(const ConstraintSet &constraints, ref<Expr> expr, in mustBeTrue() 67 bool TimingSolver::mustBeFalse(const ConstraintSet &constraints, ref<Expr> expr, in mustBeFalse() 72 bool TimingSolver::mayBeTrue(const ConstraintSet &constraints, ref<Expr> expr, in mayBeTrue() 81 bool TimingSolver::mayBeFalse(const ConstraintSet &constraints, ref<Expr> expr, in mayBeFalse() 90 bool TimingSolver::getValue(const ConstraintSet &constraints, ref<Expr> expr, in getValue() 111 bool TimingSolver::getInitialValues( in getInitialValues() 129 TimingSolver::getRange(const ConstraintSet &constraints, ref<Expr> expr, in getRange()
|
H A D | AddressSpace.h | 23 class TimingSolver; variable 53 int checkPointerInObject(ExecutionState &state, TimingSolver *solver, 86 TimingSolver *solver, 98 TimingSolver *solver,
|
H A D | SeedInfo.h | 22 class TimingSolver; variable 45 TimingSolver *solver);
|
H A D | TimingSolver.h | 27 class TimingSolver { 38 TimingSolver(Solver *_solver, bool _simplifyExprs = true)
|
H A D | AddressSpace.cpp | 78 TimingSolver *solver, in resolveOne() 172 TimingSolver *solver, ref<Expr> p, in checkPointerInObject() 207 bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, in resolve()
|
H A D | Executor.h | 77 class TimingSolver; variable 129 TimingSolver *solver;
|
H A D | SeedInfo.cpp | 64 TimingSolver *solver) { in patchSeed()
|
H A D | Memory.h | 239 void flushToConcreteStore(TimingSolver *solver,
|
H A D | Memory.cpp | 195 void ObjectState::flushToConcreteStore(TimingSolver *solver, in flushToConcreteStore()
|
H A D | Executor.cpp | 481 this->solver = new TimingSolver(solver, EqualitySubstitution);
|