Home
last modified time | relevance | path

Searched refs:KInstIterator (Results 1 – 6 of 6) sorted by relevance

/dports/security/klee/klee-2.2/include/klee/Module/
H A DKInstIterator.h16 class KInstIterator {
20 KInstIterator() : it(0) {} in KInstIterator() function
21 KInstIterator(KInstruction **_it) : it(_it) {} in KInstIterator() function
23 bool operator==(const KInstIterator &b) const {
26 bool operator!=(const KInstIterator &b) const {
30 KInstIterator &operator++() {
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutionState.h41 KInstIterator caller;
62 StackFrame(KInstIterator caller, KFunction *kf);
162 KInstIterator pc;
165 KInstIterator prevPC;
256 void pushFrame(KInstIterator caller, KFunction *kf);
H A DExecutionState.cpp49 StackFrame::StackFrame(KInstIterator _caller, KFunction *_kf) in StackFrame()
130 void ExecutionState::pushFrame(KInstIterator caller, KFunction *kf) { in pushFrame()
H A DExecutor.h66 class KInstIterator; variable
H A DStatsTracker.cpp1006 KInstIterator kii;
H A DExecutor.cpp2004 KInstIterator kcaller = state.stack.back().caller;