retdec
Classes | Namespaces
symbolic_tree.h File Reference

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
 

Detailed Description

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.