retdec
|
Construction of symbolic tree from the given node. More...
#include <set>
#include <unordered_set>
#include <vector>
#include <llvm/IR/Function.h>
#include <llvm/IR/Instruction.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/Module.h>
#include "retdec/bin2llvmir/analyses/reaching_definitions.h"
#include "retdec/bin2llvmir/providers/fileimage.h"
Go to the source code of this file.
Classes | |
class | retdec::bin2llvmir::SymbolicTree |
Namespaces | |
retdec | |
retdec::bin2llvmir | |
Construction of symbolic tree from the given node.
This is an implementation of symbolic interpret. It is provided with an initial node (llvm::Value) and it builds symbolic tree representing the value of the node.