SailfishCSOutSummaryBuilder.h

//
// Created by yongchao on 12/26/22.
//
 
#ifndef CLEARBLUE_SAILFISHCSOUTSUMMARYBUILDER_H
#define CLEARBLUE_SAILFISHCSOUTSUMMARYBUILDER_H
 
#include "Checker/PSA/TraceSummary.h"
#include "Checker/Sailfish/SailfishFunctionChecker.h"
 
using namespace llvm;
 
class SailfishCSOutSummaryBuilder : public SailfishFunctionChecker {
private:
  time_t start_time;
 
private:
  std::vector<std::pair<const SEGCallSiteOutputNode *, OutputSummary *>>
      CSOutSummaryVec;
 
public:
  SailfishCSOutSummaryBuilder(SailfishChecker *P, Function *F)
      : SailfishFunctionChecker(P, F) {
    time(&start_time);
  }
  virtual ~SailfishCSOutSummaryBuilder() {
    time_t curr_time;
    time(&curr_time);
    PTL->Statistics.emplace_back(F->getName(), "CSOut", CSOutSummaryVec.size(),
                                 Smry->CSOutSummarySet.size(),
                                 (size_t)difftime(curr_time, start_time));
  }
 
  virtual void run() override;
 
  virtual void storeSummary(SummaryBase *R) override;
 
  void collectOutputSummary(
      const SymbolicExprGraph *SEG, CBCallGraph *CG,
      const std::map<const Function *, SailfishSummary *> &FuncSummaryMap);
};
 
#endif // CLEARBLUE_SAILFISHCSOUTSUMMARYBUILDER_H