SymbolicApprox Class Reference

#include <passes/pre_eval/symbolic_approx.h>

Public Member Functions
	SymbolicApprox (ReferenceGraph &refs, SymbolicHeap &heap, SymbolicContext &ctx)
bool	Approximate (CallSite &call)
	Over-approximate the effects of a call.
void	Approximate (SymbolicFrame &frame, const std::set< DAGBlock * > &bypassed, const std::set< SymbolicContext * > &contexts)
	Over-approximate the effects of a bypassed branch.

Detailed Description

Symbolically evaluate an instruction.

---

The documentation for this class was generated from the following files:

• passes/pre_eval/symbolic_approx.h
• passes/pre_eval/symbolic_approx.cpp