added number of callsites to statistics

Author: janniclas

include/phasar/Controller/AnalysisController.h

@@ -49,6 +49,7 @@ enum class AnalysisControllerEmitterOptions : uint32_t {
   EmitPTAAsText = (1 << 11),
   EmitPTAAsDot = (1 << 12),
   EmitPTAAsJson = (1 << 13),
+  EmitStatisticAsJson = (1 << 14),
 };
 
 class AnalysisController {

include/phasar/DB/ProjectIRDB.h

@@ -60,6 +60,7 @@ class ProjectIRDB {
   std::map<std::string, std::unique_ptr<llvm::Module>> Modules;
   // Maps an id to its corresponding instruction
   std::map<std::size_t, llvm::Instruction *> IDInstructionMapping;
+  size_t NumberCallsites;
 
   void buildIDModuleMapping(llvm::Module *M);
 
@@ -171,6 +172,10 @@ class ProjectIRDB {
     return IDInstructionMapping.size();
   }
 
+  [[nodiscard]] inline std::size_t getNumCallsites() const {
+    return NumberCallsites;
+  }
+
   [[nodiscard]] std::size_t getNumGlobals() const;
 
   [[nodiscard]] llvm::Instruction *getInstruction(std::size_t Id) const;

lib/DB/ProjectIRDB.cpp

@@ -126,6 +126,7 @@ void ProjectIRDB::preprocessModule(llvm::Module *M) {
   MPM.run(*M, MAM);
   // retrieve data from the GeneralStatisticsAnalysis registered earlier
   auto GSPResult = MAM.getResult<GeneralStatisticsAnalysis>(*M);
+  NumberCallsites = GSPResult.getFunctioncalls();
   auto Allocas = GSPResult.getAllocaInstructions();
   AllocaInstructions.insert(Allocas.begin(), Allocas.end());
   auto ATypes = GSPResult.getAllocatedTypes();

tools/phasar-llvm/phasar-llvm.cpp

@@ -209,6 +209,7 @@ int main(int Argc, const char **Argv) {
       ("emit-pta-as-text", "Emit the points-to information as text")
       ("emit-pta-as-dot", "Emit the points-to information as DOT graph")
       ("emit-pta-as-json", "Emit the points-to information as JSON")
+      ("emit-statistic-as-json", "Emit the statistic information as JSON")
       ("follow-return-past-seeds", boost::program_options::value<bool>()->default_value(false), "Let the IFDS/IDE Solver process unbalanced returns")
       ("auto-add-zero", boost::program_options::value<bool>()->default_value(true), "Let the IFDS/IDE Solver automatically add the special zero value to any set of dataflow-facts")
       ("compute-values", boost::program_options::value<bool>()->default_value(true), "Let the IDE Solver compute the values attached to each edge in the ESG")
@@ -319,6 +320,9 @@ int main(int Argc, const char **Argv) {
     llvm::outs() << "> functions:\t\t" << IRDB.getWPAModule()->size() << "\n";
     llvm::outs() << "> global variables:\t"
                  << IRDB.getWPAModule()->global_size() << "\n";
+    llvm::outs() << "> Alloca instructions:\t" << IRDB.getAllocaInstructions().size() << "\n";
+    llvm::outs() << "> Memory Locations:\t" << IRDB.getAllMemoryLocations().size() << "\n";
+    llvm::outs() << "> Call Sites:\t" << IRDB.getNumCallsites() << "\n";
   }
 
   // store enabled data-flow analyses
@@ -401,6 +405,9 @@ int main(int Argc, const char **Argv) {
   if (PhasarConfig::VariablesMap().count("emit-pta-as-json")) {
     EmitterOptions |= AnalysisControllerEmitterOptions::EmitPTAAsJson;
   }
+  if (PhasarConfig::VariablesMap().count("emit-statistic-as-json")) {
+    EmitterOptions |= AnalysisControllerEmitterOptions::EmitStatisticAsJson;
+  }
   if (PhasarConfig::VariablesMap().count("follow-return-past-seeds")) {
     SolverConfig.setFollowReturnsPastSeeds(
         PhasarConfig::VariablesMap()["follow-return-past-seeds"].as<bool>());