temp

Author: ladisgin

include/klee/Core/MockBuilder.h

@@ -30,9 +30,9 @@ class MockBuilder {
                                llvm::Value *source, llvm::Type *type,
                                const std::string &symbolicName);
 
-  void buildAnnotationForExternalFunctionParams(
+  void buildAnnotationForExternalFunctionArgs(
       llvm::Function *func,
-      const std::vector<std::vector<Annotation::StatementPtr>> &statements);
+      const std::vector<std::vector<Annotation::StatementPtr>> &statementsNotAllign);
   void buildAnnotationForExternalFunctionReturn(
       llvm::Function *func, const std::vector<Annotation::StatementPtr> &statements);
   void buildAnnotationForExternalFunctionProperties(

include/klee/Module/Annotation.h

@@ -63,7 +63,7 @@ struct Annotation {
 
   std::string functionName;
   std::vector<StatementPtr> returnStatements;
-  std::vector<std::vector<StatementPtr>> argumentsStatements;
+  std::vector<std::vector<StatementPtr>> argsStatements;
   std::set<PropertyKind> properties;
 };
 

lib/Core/MockBuilder.cpp

@@ -4,9 +4,8 @@
 #include "klee/Support/ErrorHandling.h"
 #include "llvm/IR/IRBuilder.h"
 #include "llvm/IR/Module.h"
-
-#include <list>
 #include <llvm/Support/raw_ostream.h>
+
 #include <memory>
 #include <utility>
 
@@ -125,8 +124,8 @@ void MockBuilder::buildExternalFunctionsDefinitions() {
     if (nameToAnnotations != annotations.end()) {
       const auto &annotation = nameToAnnotations->second;
 
-      buildAnnotationForExternalFunctionParams(func,
-                                               annotation.argumentsStatements);
+      buildAnnotationForExternalFunctionArgs(func,
+                                             annotation.argsStatements);
       buildAnnotationForExternalFunctionReturn(func,
                                                annotation.returnStatements);
       buildAnnotationForExternalFunctionProperties(func, annotation.properties);
@@ -253,7 +252,7 @@ bool tryAllign(
   return false;
 }
 
-void MockBuilder::buildAnnotationForExternalFunctionParams(
+void MockBuilder::buildAnnotationForExternalFunctionArgs(
     llvm::Function *func,
     const std::vector<std::vector<Annotation::StatementPtr>>
         &statementsNotAllign) {

lib/Module/Annotation.cpp

@@ -121,7 +121,7 @@ Annotation::StatementInitNull::getStatementKind() const {
 bool Annotation::operator==(const Annotation &other) const {
   return (functionName == other.functionName) &&
          (returnStatements == other.returnStatements) &&
-         (argumentsStatements == other.argumentsStatements) &&
+         (argsStatements == other.argsStatements) &&
          (properties == other.properties);
 }
 
@@ -161,7 +161,7 @@ AnnotationsMap parseAnnotationsJson(const json &annotationsJson) {
       std::vector<std::vector<Annotation::StatementPtr>> tmp =
           j.at("annotation").get<std::vector<std::vector<Annotation::StatementPtr>>>();
       annotation.returnStatements = tmp[0];
-      annotation.argumentsStatements =
+      annotation.argsStatements =
           std::vector<std::vector<Annotation::StatementPtr>>(tmp.begin() + 1, tmp.end());
     }