svf-lib 1.0.1168 → 1.0.1171

package/SVF-linux/include/SVF-FE/BasicTypes.h

@@ -96,6 +96,49 @@ typedef llvm::VAStartInst VAStartInst;
 typedef llvm::BinaryOperator BinaryOperator;
 typedef llvm::UnaryOperator UnaryOperator;
 typedef llvm::UndefValue UndefValue;
+typedef llvm::IntrinsicInst IntrinsicInst;
+typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
+typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
+typedef llvm::DbgDeclareInst DbgDeclareInst;
+typedef llvm::DbgAddrIntrinsic DbgAddrIntrinsic;
+typedef llvm::DbgValueInst DbgValueInst;
+typedef llvm::DbgLabelInst DbgLabelInst;
+typedef llvm::VPIntrinsic VPIntrinsic;
+typedef llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;
+typedef llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;
+typedef llvm::MinMaxIntrinsic MinMaxIntrinsic;
+typedef llvm::BinaryOpIntrinsic BinaryOpIntrinsic;
+typedef llvm::WithOverflowInst WithOverflowInst;
+typedef llvm::SaturatingInst SaturatingInst;
+typedef llvm::AtomicMemIntrinsic AtomicMemIntrinsic;
+typedef llvm::AtomicMemSetInst AtomicMemSetInst;
+typedef llvm::AtomicMemTransferInst AtomicMemTransferInst;
+typedef llvm::AtomicMemCpyInst AtomicMemCpyInst;
+typedef llvm::AtomicMemMoveInst AtomicMemMoveInst;
+typedef llvm::MemIntrinsic MemIntrinsic;
+typedef llvm::MemSetInst MemSetInst;
+typedef llvm::MemTransferInst MemTransferInst;
+typedef llvm::MemCpyInst MemCpyInst;
+typedef llvm::MemMoveInst MemMoveInst;
+typedef llvm::MemCpyInlineInst MemCpyInlineInst;
+typedef llvm::AnyMemIntrinsic AnyMemIntrinsic;
+typedef llvm::AnyMemSetInst AnyMemSetInst;
+typedef llvm::AnyMemTransferInst AnyMemTransferInst;
+typedef llvm::AnyMemCpyInst AnyMemCpyInst;
+typedef llvm::AnyMemMoveInst AnyMemMoveInst;
+typedef llvm::VAStartInst VAStartInst;
+typedef llvm::VAEndInst VAEndInst;
+typedef llvm::VACopyInst VACopyInst;
+typedef llvm::InstrProfIncrementInst InstrProfIncrementInst;
+typedef llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;
+typedef llvm::InstrProfValueProfileInst InstrProfValueProfileInst;
+typedef llvm::PseudoProbeInst PseudoProbeInst;
+typedef llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;
+typedef llvm::GCStatepointInst GCStatepointInst;
+typedef llvm::GCProjectionInst GCProjectionInst;
+typedef llvm::GCRelocateInst GCRelocateInst;
+typedef llvm::GCResultInst GCResultInst;
+typedef llvm::AssumeInst AssumeInst;
 
 // LLVM Debug Information
 typedef llvm::DIType DIType;

package/SVF-osx/include/SVF-FE/BasicTypes.h

@@ -96,6 +96,49 @@ typedef llvm::VAStartInst VAStartInst;
 typedef llvm::BinaryOperator BinaryOperator;
 typedef llvm::UnaryOperator UnaryOperator;
 typedef llvm::UndefValue UndefValue;
+typedef llvm::IntrinsicInst IntrinsicInst;
+typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
+typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
+typedef llvm::DbgDeclareInst DbgDeclareInst;
+typedef llvm::DbgAddrIntrinsic DbgAddrIntrinsic;
+typedef llvm::DbgValueInst DbgValueInst;
+typedef llvm::DbgLabelInst DbgLabelInst;
+typedef llvm::VPIntrinsic VPIntrinsic;
+typedef llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;
+typedef llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;
+typedef llvm::MinMaxIntrinsic MinMaxIntrinsic;
+typedef llvm::BinaryOpIntrinsic BinaryOpIntrinsic;
+typedef llvm::WithOverflowInst WithOverflowInst;
+typedef llvm::SaturatingInst SaturatingInst;
+typedef llvm::AtomicMemIntrinsic AtomicMemIntrinsic;
+typedef llvm::AtomicMemSetInst AtomicMemSetInst;
+typedef llvm::AtomicMemTransferInst AtomicMemTransferInst;
+typedef llvm::AtomicMemCpyInst AtomicMemCpyInst;
+typedef llvm::AtomicMemMoveInst AtomicMemMoveInst;
+typedef llvm::MemIntrinsic MemIntrinsic;
+typedef llvm::MemSetInst MemSetInst;
+typedef llvm::MemTransferInst MemTransferInst;
+typedef llvm::MemCpyInst MemCpyInst;
+typedef llvm::MemMoveInst MemMoveInst;
+typedef llvm::MemCpyInlineInst MemCpyInlineInst;
+typedef llvm::AnyMemIntrinsic AnyMemIntrinsic;
+typedef llvm::AnyMemSetInst AnyMemSetInst;
+typedef llvm::AnyMemTransferInst AnyMemTransferInst;
+typedef llvm::AnyMemCpyInst AnyMemCpyInst;
+typedef llvm::AnyMemMoveInst AnyMemMoveInst;
+typedef llvm::VAStartInst VAStartInst;
+typedef llvm::VAEndInst VAEndInst;
+typedef llvm::VACopyInst VACopyInst;
+typedef llvm::InstrProfIncrementInst InstrProfIncrementInst;
+typedef llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;
+typedef llvm::InstrProfValueProfileInst InstrProfValueProfileInst;
+typedef llvm::PseudoProbeInst PseudoProbeInst;
+typedef llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;
+typedef llvm::GCStatepointInst GCStatepointInst;
+typedef llvm::GCProjectionInst GCProjectionInst;
+typedef llvm::GCRelocateInst GCRelocateInst;
+typedef llvm::GCResultInst GCResultInst;
+typedef llvm::AssumeInst AssumeInst;
 
 // LLVM Debug Information
 typedef llvm::DIType DIType;

package/SVF-osx/include/SVF-FE/SVFIRBuilder.h

@@ -34,7 +34,6 @@
 #include "Util/ExtAPI.h"
 #include "SVF-FE/BasicTypes.h"
 #include "SVF-FE/ICFGBuilder.h"
-#include "Util/cJSON.h"
 
 namespace SVF
 {
@@ -241,7 +240,6 @@ protected:
 
     /// Handle external call
     //@{
-    virtual u32_t getArgPos(std::string s);
     virtual NodeID parseNode(std::string s, CallSite cs, const Instruction *inst);
     virtual void handleExtCall(CallSite cs, const SVFFunction *F);
     void addComplexConsForExt(Value *D, Value *S, const Value* sz);

package/SVF-osx/include/Util/ExtAPI.h

@@ -99,7 +99,6 @@ Here we use regular expressions "(AN)(R|RN)^*" to represent parameters, for exam
 }
 */
 
-
 class ExtAPI
 {
 public:
@@ -109,8 +108,7 @@ public:
         EXT_COPY,      // Handle copy edge
         EXT_LOAD,      // Handle load edge
         EXT_STORE,     // Handle store edge
-        EXT_GEPGEP,    // Handle Gep and Gep edges, and add a dummy node
-        EXT_LOADSTORE, // Handle load and store edges, and add a dummy node
+        EXT_GEP,      // Handle gep edge
         EXT_COPY_N,    // Copy the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str
         EXT_COPY_MN,   // Copies n characters from memory area src to memory area dest.
         EXT_FUNPTR,    // Handle function void *dlsym(void *handle, const char *symbol)
@@ -171,8 +169,7 @@ private:
         {"copy", EXT_COPY},
         {"load", EXT_LOAD},
         {"store", EXT_STORE},
-        {"gep_gep", EXT_GEPGEP},
-        {"load_store", EXT_LOADSTORE},
+        {"gep", EXT_GEP},
         {"copy_n", EXT_COPY_N},
         {"copy_mn", EXT_COPY_MN},
         {"complex", EXT_COMPLEX},
@@ -226,6 +223,41 @@ private:
     ExtAPI() = default;
 
 public:
+
+    class Operation
+    {
+    public:
+
+    public:
+        Operation() {};
+
+        Operation(std::string op, std::vector<std::string> args) : operation(op), args(args) {};
+
+        std::string getOperation()
+        {
+            return operation;
+        }
+
+        std::vector<std::string> getArgs()
+        {
+            return args;
+        }
+
+        void setOperation(std::string op)
+        {
+            operation = op;
+        }
+
+        void setArgs(std::vector<std::string> ags)
+        {
+            args = ags;
+        }
+
+    private:
+        std::string operation;
+        std::vector<std::string> args;
+    };
+
     static ExtAPI *getExtAPI(const std::string & = "");
 
     static void destory();
@@ -233,6 +265,15 @@ public:
     // Add an entry with the specified fields to the ExtAPI, which will be reflected immediately by further ExtAPI queries
     void add_entry(const char* funName, extType type, bool overwrite_app_function);
 
+    // Get numeric index of the argument in external function
+    u32_t getArgPos(std::string s);
+
+    // return value >= 0 is an argument node
+    // return value = -1 is an inst node
+    // return value = -2 is a Dummy node
+    // return value = -2 is an illegal operand format
+    int getNodeIDType(std::string s);
+
     // Get the corresponding name in ext_t, e.g. "EXT_ADDR" in {"addr", EXT_ADDR},
     extf_t get_opName(const std::string& s);
     // opposite for extType
@@ -247,6 +288,9 @@ public:
     // Get specifications of external functions in ExtAPI.json file
     cJSON *get_FunJson(const std::string &funName);
 
+    // Get all operations of an extern function
+    std::vector<std::vector<ExtAPI::Operation *>> getAllOperations(std::string funName);
+
     // Get property of the operation, e.g. "EFT_A1R_A0R"
     extType get_type(const SVF::SVFFunction *callee);
     extType get_type(const std::string& funName);