#include <passes/pre_eval/symbolic_eval.h>
Inheritance diagram for SymbolicEval:
Collaboration diagram for SymbolicEval:
Public Member Functions | |
| SymbolicEval (SymbolicHeap &heap, SymbolicFrame &frame, ReferenceGraph &refs, SymbolicContext &ctx, Inst &inst) | |
| bool | Evaluate () |
| SymbolicContext & | GetContext () |
| Return the context. | |
| const SymbolicValue & | Find (ConstRef< Inst > inst) |
| Find a value. | |
| bool | SetUndefined () |
| Helper to return a scalar. | |
| bool | SetScalar () |
| Helper to return a scalar. | |
| bool | SetInteger (const APInt &i) |
| Helper to return an integer. | |
| bool | SetFloat (const APFloat &i) |
| Helper to return a float. | |
| bool | SetLowerBounded (const APInt &i) |
| Helper to return a lower bounded integer. | |
| bool | SetMask (const APInt &k, const APInt &v) |
| Forward to frameuator, return a pointer. | |
| bool | SetValue (const SymbolicPointer::Ref &ptr) |
| Helper to forward a pointer (value). | |
| bool | SetPointer (const SymbolicPointer::Ref &ptr) |
| Helper to forward a pointer (pointer). | |
| bool | SetNullable (const SymbolicPointer::Ref &ptr) |
| Helper to forward a pointer (nullptr). | |
| bool | NOP (const SymbolicValue &value) |
| Helper to set a value. | |
 Public Member Functions inherited from InstVisitor< bool > | |
| bool | Dispatch (Inst &i) |
Detailed Description
Symbolically evaluate an instruction.
The documentation for this class was generated from the following files:
- passes/pre_eval/symbolic_eval.h
- passes/pre_eval/eval/arith.cpp
- passes/pre_eval/eval/bitwise.cpp
- passes/pre_eval/eval/cmp.cpp
- passes/pre_eval/eval/const.cpp
- passes/pre_eval/eval/conv.cpp
- passes/pre_eval/eval/hardware.cpp
- passes/pre_eval/eval/memory.cpp
- passes/pre_eval/eval/shift.cpp
- passes/pre_eval/eval/x86.cpp
- passes/pre_eval/symbolic_eval.cpp
