npm - svf-tools - Versions diffs - 1.0.628 → 1.0.630 - Mend

svf-tools 1.0.628 → 1.0.630

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (572) hide show

package/include/{SVF-LLVM/CPPUtil.h → Util/CppUtil.h} RENAMED Viewed

@@ -31,7 +31,6 @@
 #define CPPUtil_H_
 #include "SVFIR/SVFValue.h"
-#include "SVF-LLVM/BasicTypes.h"
 namespace SVF
 {
@@ -51,58 +50,10 @@ struct DemangledName
     bool isThunkFunc;
 };
-struct DemangledName demangle(const std::string &name);
+struct DemangledName demangle(const std::string& name);
-std::string getBeforeBrackets(const std::string &name);
-bool isValVtbl(const Value* val);
-bool isLoadVtblInst(const LoadInst *loadInst);
-bool isVirtualCallSite(const CallBase* cs);
-bool isConstructor(const Function* F);
-bool isDestructor(const Function* F);
-bool isCPPThunkFunction(const Function* F);
-const Function* getThunkTarget(const Function* F);
-/*
- * VtableA = {&A::foo}
- * A::A(this){
- *   *this = &VtableA;
- * }
- *
- *
- * A* p = new A;
- * cs: p->foo(...)
- * ==>
- *  vtptr = *p;
- *  vfn = &vtptr[i]
- *  %funp = *vfn
- *  call %funp(p,...)
- * getConstructorThisPtr(A) return "this" pointer
- * getVCallThisPtr(cs) return p (this pointer)
- * getVCallVtblPtr(cs) return vtptr
- * getVCallIdx(cs) return i
- * getClassNameFromVtblObj(VtableA) return
- * getClassNameFromType(type of p) return type A
- */
-const Argument* getConstructorThisPtr(const Function* fun);
-const Value* getVCallThisPtr(const CallBase* cs);
-const Value* getVCallVtblPtr(const CallBase* cs);
-s32_t getVCallIdx(const CallBase* cs);
+std::string getBeforeBrackets(const std::string& name);
 std::string getClassNameFromVtblObj(const std::string& vtblName);
-std::string getClassNameFromType(const Type* ty);
-std::string getClassNameOfThisPtr(const CallBase* cs);
-std::string getFunNameOfVCallSite(const CallBase* cs);
-bool VCallInCtorOrDtor(const CallBase* cs);
-/*
- *  A(A* this){
- *      store this this.addr;
- *      tmp = load this.addr;
- *      this1 = bitcast(tmp);
- *      B(this1);
- *  }
- *  this and this1 are the same thisPtr in the constructor
- */
-bool isSameThisPtrInConstructor(const Argument* thisPtr1, const Value* thisPtr2);
 /// Constants pertaining to CTir, for C and C++.
 /// TODO: move helper functions here too?
@@ -111,17 +62,17 @@ namespace ctir
 /// On loads, stores, GEPs representing dereferences, and calls
 /// representing virtual calls.
 /// (The static type.)
-const std::string derefMDName  = "ctir";
+const std::string derefMDName = "ctir";
 /// On the (global) virtual table itself.
 /// (The class it corresponds to.)
-const std::string vtMDName     = "ctir.vt";
+const std::string vtMDName = "ctir.vt";
 /// On the bitcast of `this` to i8*.
 /// (The class the constructor it corresponds to.)
 const std::string vtInitMDName = "ctir.vt.init";
 /// Value we expect a ctir-annotated module to have.
 const uint32_t moduleFlagValue = 1;
-}
+} // namespace ctir
 } // End namespace cppUtil

package/include/Util/SVFUtil.h CHANGED Viewed

@@ -31,8 +31,9 @@
 #define AnalysisUtil_H_
 #include "FastCluster/fastcluster.h"
-#include "SVF-LLVM/LLVMModule.h"
 #include "SVFIR/SVFValue.h"
+#include "SVFIR/SVFModule.h"
+#include "Util/ExtAPI.h"
 #include "MemoryModel/PointsTo.h"
 #include <time.h>
@@ -345,12 +346,11 @@ inline bool isStaticExtFun(const SVFFunction* fun)
 /// Program entry function e.g. main
 //@{
 /// Return true if this is a program entry function (e.g. main)
-inline bool isProgEntryFunction (const SVFFunction * fun)
+inline bool isProgEntryFunction(const SVFFunction* fun)
 {
     return fun && fun->getName() == "main";
 }
 /// Get program entry function from module.
 inline const SVFFunction* getProgFunction(SVFModule* svfModule, const std::string& funName)
 {
@@ -636,12 +636,6 @@ inline const SVFValue* getTaskDataAtHareParForSite(const SVFInstruction *inst)
 }
 //@}
-inline bool isProgEntryFunction (const Function*  fun)
-{
-    return fun && fun->getName() == "main";
-}
 inline bool isProgExitCall(const CallSite cs)
 {
     return isProgExitFunction(getCallee(cs));

package/index.html CHANGED Viewed

@@ -2,7 +2,7 @@
 <html lang="en-us">
   <head>
     <meta charset="UTF-8">
-    <title>SVF:Pointer Analysis for C and C++  </title>
+    <title>SVF: Static Value-Flow Analysis Framework for Source Code </title>
     <meta name="viewport" content="width=device-width, initial-scale=1">
     <link rel="stylesheet" type="text/css" href="docs/stylesheets/normalize.css" media="screen">
     <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
@@ -23,7 +23,7 @@
       <h2>
 <a id="what-is-svf" class="anchor" href="#what-is-svf" aria-hidden="true"><span class="octicon octicon-link"></span></a>What is SVF?</h2>
-<p><a href="https://github.com/svf-tools/SVF">SVF</a> is a static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs. SVF allows value-flow construction and pointer analysis to be performed iteratively, thereby providing increasingly improved precision for both. </p>
+<p><a href="https://github.com/svf-tools/SVF">SVF</a> is a static tool that enables scalable and precise value-flow analysis for source code. SVF allows value-flow construction and pointer analysis to be performed iteratively, thereby providing increasingly improved precision for both. </p>
 For a pointer analysis framework that works for Java, we refer to <a href="https://qilinpta.github.io/"> Qilin</a>.
@@ -31,11 +31,13 @@ For a pointer analysis framework that works for Java, we refer to <a href="https
 <a id="what-kind-of-analyses-does-svf-provide" class="anchor" href="#what-kind-of-analyses-does-svf-provide" aria-hidden="true"><span class="octicon octicon-link"></span></a>What kind of analyses does SVF provide?</h2>
 <ul>
-<li>Call graph construction for C and C++ programs</li>
-<li>Field-sensitive Andersen's pointer analysis</li>
-<li>Sparse flow-sensitive pointer analysis</li>
+<li>SVF IR: language-independent intermediate representation</li>
+<li>Code graphs, including call graph and interprocedural control-flow graph, constraint graph and value-flow graph</li>
+<li>A set of pointer analyses including field-sensitive, flow-sensitive, context-sensitive analyses</li>
 <li>Value-flow dependence analysis</li>
 <li>Interprocedural memory SSA</li>
+<li>Context-free-language reachability analysis</li>
+<li>Abstract execution</li>
 <li>Detecting source-sink related bugs, such as memory leaks and incorrect file-open close errors.</li>
 <li>An <a href= "https://github.com/svf-tools/SVF-EclipsePlugin">Eclipse plugin </a> for visualizing bugs </li>
 </ul>
@@ -63,6 +65,8 @@ GPLv3
 <p> Please make a <b>pull request</b> or <b>email us</b> if you have a paper for this list.</p>
+<p> Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang. <a href ="https://yuleisui.github.io/publications/oopsla22.pdf"> Taming Transitive Redundancy for Context-Free Language Reachability</a>. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'22) </p>
 <p>Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo,Rundong Zhou, Yulong Zhang, Tao Wei, and Long Lu. <a href ="https://arxiv.org/pdf/1906.07327.pdf">SAVIOR: Towards Bug-Driven Hybrid Testing</a>, 41st IEEE Symposium on Security and Privacy (S&ampP'20)</p>
 <p>Dae R. Jeong, Kyungtae Kim, Basavesh Shivakumar, Byoungyoung Lee, and Insik Shin. <a href ="https://lifeasageek.github.io/papers/jeong:razzer.pdf">RAZZER: Finding Kernel Race Bugs through Fuzzing</a>, 40th IEEE Symposium on Security and Privacy (S&ampP'19) </p>

package/lib/CFL/CFLAlias.cpp CHANGED Viewed

@@ -28,7 +28,7 @@
  */
 #include "CFL/CFLAlias.h"
+#include "Util/CppUtil.h"
 using namespace SVF;
 using namespace cppUtil;
 using namespace SVFUtil;

package/lib/CFL/CFLVF.cpp CHANGED Viewed

@@ -28,6 +28,7 @@
  */
 #include "CFL/CFLVF.h"
+#include "Util/CppUtil.h"
 using namespace SVF;
 using namespace cppUtil;

package/lib/Graphs/CHG.cpp CHANGED Viewed

@@ -27,6 +27,7 @@
  *      Author: Xiaokang Fan
  */
+#include "Util/CppUtil.h"
 #include "Graphs/CHG.h"
 #include "Util/SVFUtil.h"

package/lib/Graphs/ConsG.cpp CHANGED Viewed

@@ -716,13 +716,8 @@ struct DOTGraphTraits<ConstraintGraph*> : public DOTGraphTraits<SVFIR*>
         return "ConstraintG";
     }
-#if LLVM_VERSION_MAJOR >= 12
     static bool isNodeHidden(NodeType *n, ConstraintGraph *)
     {
-#else
-    static bool isNodeHidden(NodeType *n)
-    {
-#endif
         if (Options::ShowHiddenNode()) return false;
         else return (n->getInEdges().empty() && n->getOutEdges().empty());
     }

package/lib/Graphs/IRGraph.cpp CHANGED Viewed

@@ -137,13 +137,8 @@ struct DOTGraphTraits<IRGraph*> : public DefaultDOTGraphTraits
     /// isNodeHidden - If the function returns true, the given node is not
     /// displayed in the graph
-#if LLVM_VERSION_MAJOR >= 12
     static bool isNodeHidden(SVFVar *node, IRGraph *)
     {
-#else
-    static bool isNodeHidden(SVFVar *node)
-    {
-#endif
         if (Options::ShowHiddenNode()) return false;
         else return node->isIsolatedNode();
     }

package/lib/Graphs/SVFG.cpp CHANGED Viewed

@@ -781,13 +781,8 @@ struct DOTGraphTraits<SVFG*> : public DOTGraphTraits<SVFIR*>
     /// isNodeHidden - If the function returns true, the given node is not
     /// displayed in the graph
-#if LLVM_VERSION_MAJOR >= 12
     static bool isNodeHidden(SVFGNode *node, SVFG *)
     {
-#else
-    static bool isNodeHidden(SVFGNode *node)
-    {
-#endif
         if (Options::ShowHiddenNode()) return false;
         else return node->getInEdges().empty() && node->getOutEdges().empty();
     }

package/lib/MemoryModel/PointerAnalysis.cpp CHANGED Viewed

@@ -27,6 +27,7 @@
  *      Author: Yulei Sui
  */
+#include "Util/CppUtil.h"
 #include "Util/Options.h"
 #include "SVFIR/SVFModule.h"
 #include "Util/SVFUtil.h"

package/lib/MemoryModel/PointerAnalysisImpl.cpp CHANGED Viewed

@@ -31,6 +31,7 @@
 #include "MemoryModel/PointerAnalysisImpl.h"
 #include "Util/Options.h"
+#include "Util/CppUtil.h"
 #include <fstream>
 #include <sstream>

package/lib/SABER/SaberCondAllocator.cpp CHANGED Viewed

@@ -33,6 +33,8 @@
 #include "Util/DPItem.h"
 #include "Graphs/SVFG.h"
 #include <climits>
+#include <cmath>
+#include "SVF-LLVM/BasicTypes.h" // TODO: Remove LLVM Header
 using namespace SVF;
 using namespace SVFUtil;

package/lib/SVF-LLVM/CHGBuilder.cpp CHANGED Viewed

@@ -38,7 +38,7 @@
 #include "SVF-LLVM/CHGBuilder.h"
 #include "Util/Options.h"
-#include "SVF-LLVM/CPPUtil.h"
+#include "Util/CppUtil.h"
 #include "SVFIR/SymbolTableInfo.h"
 #include "Util/SVFUtil.h"
 #include "SVF-LLVM/LLVMUtil.h"
@@ -88,7 +88,7 @@ void CHGBuilder::buildCHG()
 void CHGBuilder::buildCHGNodes(const GlobalValue *globalvalue)
 {
-    if (isValVtbl(globalvalue) && globalvalue->getNumOperands() > 0)
+    if (LLVMUtil::isValVtbl(globalvalue) && globalvalue->getNumOperands() > 0)
     {
         const ConstantStruct *vtblStruct = SVFUtil::dyn_cast<ConstantStruct>(globalvalue->getOperand(0));
         assert(vtblStruct && "Initializer of a vtable not a struct?");
@@ -169,7 +169,7 @@ void CHGBuilder::connectInheritEdgeViaCall(const Function* caller, const CallBas
     {
         if (cs->arg_size() < 1 || (cs->arg_size() < 2 && cs->paramHasAttr(0, llvm::Attribute::StructRet)))
             return;
-        const Value* csThisPtr = getVCallThisPtr(cs);
+        const Value* csThisPtr = LLVMUtil::getVCallThisPtr(cs);
         //const Argument* consThisPtr = getConstructorThisPtr(caller);
         //bool samePtr = isSameThisPtrInConstructor(consThisPtr, csThisPtr);
         bool samePtrTrue = true;
@@ -198,7 +198,7 @@ void CHGBuilder::connectInheritEdgeViaStore(const Function* caller, const StoreI
                 if (bcce->getOpcode() == Instruction::GetElementPtr)
                 {
                     const Value* gepval = bcce->getOperand(0);
-                    if (isValVtbl(gepval))
+                    if (LLVMUtil::isValVtbl(gepval))
                     {
                         string vtblClassName = getClassNameFromVtblObj(gepval->getName().str());
                         if (vtblClassName.size() > 0 && dname.className.compare(vtblClassName) != 0)
@@ -365,7 +365,7 @@ void CHGBuilder::analyzeVTables(const Module &M)
             E = M.global_end(); I != E; ++I)
     {
         const GlobalValue *globalvalue = SVFUtil::dyn_cast<const GlobalValue>(&(*I));
-        if (isValVtbl(globalvalue) && globalvalue->getNumOperands() > 0)
+        if (LLVMUtil::isValVtbl(globalvalue) && globalvalue->getNumOperands() > 0)
         {
             const ConstantStruct *vtblStruct =
                 SVFUtil::dyn_cast<ConstantStruct>(globalvalue->getOperand(0));
@@ -640,7 +640,7 @@ void CHGBuilder::buildCSToCHAVtblsAndVfnsMap()
             {
                 if(const CallBase* callInst = SVFUtil::dyn_cast<CallBase>(&*II))
                 {
-                    if (cppUtil::isVirtualCallSite(callInst) == false)
+                    if (LLVMUtil::isVirtualCallSite(callInst) == false)
                         continue;
                     VTableSet vtbls;
@@ -671,7 +671,7 @@ void CHGBuilder::buildCSToCHAVtblsAndVfnsMap()
 const CHGraph::CHNodeSetTy& CHGBuilder::getCSClasses(const CallBase* cs)
 {
-    assert(isVirtualCallSite(cs) && "not virtual callsite!");
+    assert(LLVMUtil::isVirtualCallSite(cs) && "not virtual callsite!");
     const SVFInstruction* svfcall = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(cs);
     CHGraph::CallSiteToCHNodesMap::const_iterator it = chg->csToClassesMap.find(svfcall);
@@ -681,7 +681,7 @@ const CHGraph::CHNodeSetTy& CHGBuilder::getCSClasses(const CallBase* cs)
     }
     else
     {
-        string thisPtrClassName = getClassNameOfThisPtr(cs);
+        string thisPtrClassName = LLVMUtil::getClassNameOfThisPtr(cs);
         if (const CHNode* thisNode = chg->getNode(thisPtrClassName))
         {
             const CHGraph::CHNodeSetTy& instAndDesces = getInstancesAndDescendants(thisPtrClassName);
@@ -695,9 +695,9 @@ const CHGraph::CHNodeSetTy& CHGBuilder::getCSClasses(const CallBase* cs)
 void CHGBuilder::addFuncToFuncVector(CHNode::FuncVector &v, const Function *lf)
 {
-    if (isCPPThunkFunction(lf))
+    if (LLVMUtil::isCPPThunkFunction(lf))
     {
-        if (const auto *tf = getThunkTarget(lf))
+        if (const auto *tf = LLVMUtil::getThunkTarget(lf))
             v.push_back(LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(tf));
     }
     else

package/lib/SVF-LLVM/DCHG.cpp CHANGED Viewed

@@ -11,7 +11,7 @@
 #include "Util/Options.h"
 #include "SVF-LLVM/DCHG.h"
-#include "SVF-LLVM/CPPUtil.h"
+#include "Util/CppUtil.h"
 #include "Util/SVFUtil.h"
 #include "SVF-LLVM/LLVMUtil.h"

package/lib/SVF-LLVM/LLVMModule.cpp CHANGED Viewed

@@ -184,7 +184,7 @@ void LLVMModuleSet::createSVFDataStructure()
                     SVFInstruction* svfInst = nullptr;
                     if(const CallBase* call = SVFUtil::dyn_cast<CallBase>(inst))
                     {
-                        if(cppUtil::isVirtualCallSite(call))
+                        if(LLVMUtil::isVirtualCallSite(call))
                             svfInst = new SVFVirtualCallInst(call->getName().str(), getSVFType(call->getType()), svfBB,call->getFunctionType()->isVarArg(),inst->isTerminator());
                         else
                             svfInst = new SVFCallInst(call->getName().str(), getSVFType(call->getType()), svfBB,call->getFunctionType()->isVarArg(),inst->isTerminator());
@@ -267,9 +267,9 @@ void LLVMModuleSet::initSVFBasicBlock(const Function* func)
                 svfcall->setCalledOperand(callee);
                 if(SVFVirtualCallInst* virtualCall = SVFUtil::dyn_cast<SVFVirtualCallInst>(svfcall))
                 {
-                    virtualCall->setVtablePtr(getSVFValue(cppUtil::getVCallVtblPtr(call)));
-                    virtualCall->setFunIdxInVtable(cppUtil::getVCallIdx(call));
-                    virtualCall->setFunNameOfVirtualCall(cppUtil::getFunNameOfVCallSite(call));
+                    virtualCall->setVtablePtr(getSVFValue(LLVMUtil::getVCallVtblPtr(call)));
+                    virtualCall->setFunIdxInVtable(LLVMUtil::getVCallIdx(call));
+                    virtualCall->setFunNameOfVirtualCall(LLVMUtil::getFunNameOfVCallSite(call));
                 }
                 for(u32_t i = 0; i < call->arg_size(); i++)
                 {