|
llir-opt
0.0.1
Low-Level Post-Link Optimiser for OCaml and C
|
This is the complete list of members for SymbolicContext, including all inherited members.
| EnterFrame(Func &func, llvm::ArrayRef< SymbolicValue > args) | SymbolicContext | |
| EnterFrame(llvm::ArrayRef< std::optional< unsigned >> objects) | SymbolicContext | |
| frame_begin() | SymbolicContext | inline |
| frame_end() (defined in SymbolicContext) | SymbolicContext | inline |
| frames() (defined in SymbolicContext) | SymbolicContext | inline |
| GetActiveFrame() | SymbolicContext | |
| GetActiveFrame() const | SymbolicContext | inline |
| GetFrame(unsigned frame, unsigned object) | SymbolicContext | inline |
| GetFrames(Func &func) | SymbolicContext | |
| GetNumArgs() const | SymbolicContext | inline |
| GetObject(ID< SymbolicObject > object) | SymbolicContext | |
| GetObject(Object *object) | SymbolicContext | |
| GetSCCFunc(Func &func) | SymbolicContext | |
| HasFrame(Func &func) | SymbolicContext | |
| LeaveFrame(Func &func) | SymbolicContext | |
| LeaveRoot() | SymbolicContext | |
| Load(const SymbolicPointer &addr, Type type) | SymbolicContext | |
| Malloc(CallSite &site, std::optional< unsigned > size) | SymbolicContext | |
| Merge(const SymbolicContext &that) | SymbolicContext | |
| object_begin() | SymbolicContext | inline |
| object_end() (defined in SymbolicContext) | SymbolicContext | inline |
| ObjectMap typedef | SymbolicContext | |
| objects() (defined in SymbolicContext) | SymbolicContext | inline |
| Pointer(Atom &atom, int64_t offset) | SymbolicContext | |
| Pointer(unsigned frame, unsigned object, int64_t offset) | SymbolicContext | |
| Store(const SymbolicPointer &addr, const SymbolicValue &val, Type type) | SymbolicContext | |
| SymbolicContext(SymbolicHeap &heap, SymbolicSummary &state) | SymbolicContext | inline |
| SymbolicContext(const SymbolicContext &that) | SymbolicContext | |
| Taint(const SymbolicValue &taint, const SymbolicValue &tainted) | SymbolicContext | |
| ~SymbolicContext() | SymbolicContext |
1.8.17