OCValueFlowBuilder.h

//
// Created by yongchao on 3/6/24.
//
 
#ifndef CLEARBLUE_BUILDOCVALUEFLOW_H
#define CLEARBLUE_BUILDOCVALUEFLOW_H
 
#include "Analysis/Bitcode/DebugInfoAnalysis.h"
#include "Analysis/Graph/ControlDependenceGraph.h"
#include "IR/SEG/SymbolicExprGraph.h"
#include <llvm/IR/BasicBlock.h>
#include <llvm/IR/CallSite.h>
#include <llvm/IR/Constants.h>
#include <llvm/IR/Function.h>
#include <llvm/IR/InstIterator.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/Operator.h>
#include <llvm/IR/Value.h>
 
using namespace llvm;
 
class SymbolicExprGraph;
class SEGOperandNode;
 
class OCValueFlowBuilder {
 
private:
  DebugInfoAnalysis *DIA = nullptr;
  TSDataLayout *TSDL = nullptr;
  ControlDependenceAnalysis *CDGs = nullptr;
 
public:
  OCValueFlowBuilder(DebugInfoAnalysis *DIA, TSDataLayout *TSDL,
                     ControlDependenceAnalysis *CDGs);
 
  ~OCValueFlowBuilder();
 
  SymbolicExprGraph *buildSymbolicExprGraph(Function &F);
 
  void modelInstruction(Instruction &I, BasicBlock *B, SymbolicExprGraph *SEG);
 
  void modelIntrinsics(CallSite CS, SymbolicExprGraph *G);
 
  SEGOperandNode *modelConstantExpr(ConstantExpr *CE, SymbolicExprGraph *SEG);
 
  SEGOpcodeNode *modelGEPOperator(GEPOperator *GEP, BasicBlock *B,
                                  SymbolicExprGraph *G);
 
  SEGOpcodeNode::CodeKind getOpcode(int LLVMInstOpcode, int Predicate = 0);
 
  SEGOperandNode *findOrCreateNode(SymbolicExprGraph *SEG, Value *V);
};
 
#endif // CLEARBLUE_BUILDOCVALUEFLOW_H