rename abstractInterpretation

bjjwwang · Apr 4, 2024 · 5609cc1 · 5609cc1
1 parent b243759
commit 5609cc1
Show file tree

Hide file tree

Showing 5 changed files with 66 additions and 65 deletions.
diff --git a/svf-llvm/tools/AE/ae.cpp b/svf-llvm/tools/AE/ae.cpp
@@ -663,7 +663,7 @@ int main(int argc, char** argv)
     }
     else
     {
-        AbstractExecution ae;
+        AbstractInterpretation ae;
 
         ae.runOnModule(pag->getICFG());
     }

diff --git a/svf/include/AE/Svfexe/AbstractExecution.h → ...nclude/AE/Svfexe/AbstractInterpretation.h b/svf/include/AE/Svfexe/AbstractExecution.h → ...nclude/AE/Svfexe/AbstractInterpretation.h
@@ -1,4 +1,4 @@
-//===- AE.cpp -- Abstract Execution---------------------------------//
+//===- AbstractInterpretation.h -- Abstract Execution----------//
 //
 //                     SVF: Static Value-Flow Analysis
 //
@@ -35,7 +35,7 @@
 
 namespace SVF
 {
-class AbstractExecution;
+class AbstractInterpretation;
 class AEStat;
 class AEAPI;
 class ExeState;
@@ -53,7 +53,7 @@ class AEStat : public SVFStat
 {
 public:
     void countStateSize();
-    AEStat(AbstractExecution* ae) : _ae(ae)
+    AEStat(AbstractInterpretation* ae) : _ae(ae)
     {
         startTime = getClk(true);
     }
@@ -71,7 +71,7 @@ class AEStat : public SVFStat
     void reportBug();
 
 public:
-    AbstractExecution* _ae;
+    AbstractInterpretation* _ae;
     s32_t count{0};
     std::string memory_usage;
     std::string memUsage;
@@ -104,7 +104,8 @@ class AEStat : public SVFStat
     }
 };
 
-class AbstractExecution
+/// AbstractInterpretation is same as Abstract Execution
+class AbstractInterpretation
 {
     friend class AEStat;
     friend class AEAPI;
@@ -113,17 +114,17 @@ class AbstractExecution
     enum ExtAPIType { UNCLASSIFIED, MEMCPY, MEMSET, STRCPY, STRCAT };
     typedef SCCDetection<PTACallGraph*> CallGraphSCC;
     /// Constructor
-    AbstractExecution();
+    AbstractInterpretation();
 
     virtual void runOnModule(ICFG* icfg);
 
     /// Destructor
-    virtual ~AbstractExecution();
+    virtual ~AbstractInterpretation();
 
     /// Program entry
     void analyse();
 
-    static bool classof(const AbstractExecution* ae)
+    static bool classof(const AbstractInterpretation* ae)
     {
         return ae->getKind() == AEKind::AbstractExecution;
     }

diff --git a/svf/include/AE/Svfexe/BufOverflowChecker.h b/svf/include/AE/Svfexe/BufOverflowChecker.h
@@ -28,7 +28,7 @@
 // Created by Jiawei Wang on 2024/1/12.
 //
 
-#include "AE/Svfexe/AbstractExecution.h"
+#include "AE/Svfexe/AbstractInterpretation.h"
 
 namespace SVF
 {
@@ -100,17 +100,17 @@ struct BufOverflowException: public std::exception
     const SVFValue* _allocVar;
 };
 
-class BufOverflowChecker: public AbstractExecution
+class BufOverflowChecker: public AbstractInterpretation
 {
 public:
-    BufOverflowChecker() : AbstractExecution()
+    BufOverflowChecker() : AbstractInterpretation()
     {
         initExtFunMap();
         _kind = AEKind::BufOverflowChecker;
         initExtAPIBufOverflowCheckRules();
     }
 
-    static bool classof(const AbstractExecution* ae)
+    static bool classof(const AbstractInterpretation* ae)
     {
         return ae->getKind() == AEKind::BufOverflowChecker;
     }