SailfishRetValSummaryBuilder.h

//
// Created by yongchao on 12/25/22.
//

#ifndef CLEARBLUE_SAILFISHRETVALSUMMARYBUILDER_H
#define CLEARBLUE_SAILFISHRETVALSUMMARYBUILDER_H

#include "Checker/PSA/TraceSummary.h"
#include "Checker/Sailfish/SailfishFunctionChecker.h"

using namespace llvm;

class SailfishRetValSummaryBuilder : public SailfishFunctionChecker {
private:
  time_t start_time;

public:
  SailfishRetValSummaryBuilder(SailfishChecker *P, Function *F)
      : SailfishFunctionChecker(P, F) {
    time(&start_time);
  }
  virtual ~SailfishRetValSummaryBuilder() {
    time_t curr_time;
    time(&curr_time);
    PTL->Statistics.emplace_back(
        F->getName(), "RetVal",
        (SEG->getCommonReturn() == nullptr ? 0 : 1) + SEG->getNumPseudoReturn(),
        Smry->RetValSummaryMap.size(), (size_t)difftime(curr_time, start_time));
  }

  virtual void run() override;

  virtual void storeSummary(SummaryBase *R) override;
};

#endif // CLEARBLUE_SAILFISHRETVALSUMMARYBUILDER_H