svf-lib 1.0.1301 → 1.0.1302

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

@@ -1,73 +0,0 @@
-//===----- CHGBuiler.h -- Class hierarchy graph builder ---------------------------//
-//
-//                     SVF: Static Value-Flow Analysis
-//
-// Copyright (C) <2013->  <Yulei Sui>
-//
-
-// This program is free software: you can redistribute it and/or modify
-// it under the terms of the GNU General Public License as published by
-// the Free Software Foundation, either version 3 of the License, or
-// (at your option) any later version.
-
-// This program is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-// GNU General Public License for more details.
-
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-//
-//===----------------------------------------------------------------------===//
-
-/*
- * CHGBuiler.h
- *
- *  Created on: Jun 4, 2021
- *      Author: Yulei Sui
- */
-
-#include "Graphs/CHG.h"
-#include "SVF-FE/BasicTypes.h"
-
-namespace SVF
-{
-
-class CHGBuilder
-{
-
-private:
-    CHGraph* chg;
-
-public:
-    typedef CHGraph::CHNodeSetTy CHNodeSetTy;
-    typedef CHGraph::WorkList WorkList;
-
-    CHGBuilder(CHGraph* c): chg(c)
-    {
-
-    }
-    void buildCHG();
-    void buildCHGNodes(const GlobalValue *V);
-    void buildCHGNodes(const SVFFunction* F);
-    void buildCHGEdges(const SVFFunction* F);
-    void buildInternalMaps();
-    void readInheritanceMetadataFromModule(const Module &M);
-
-    CHNode *createNode(const std::string name);
-
-    void connectInheritEdgeViaCall(const SVFFunction* caller, CallSite cs);
-    void connectInheritEdgeViaStore(const SVFFunction* caller, const StoreInst* store);
-
-    void buildClassNameToAncestorsDescendantsMap();
-    const CHGraph::CHNodeSetTy& getInstancesAndDescendants(const std::string className);
-
-    void analyzeVTables(const Module &M);
-    void buildVirtualFunctionToIDMap();
-    void buildCSToCHAVtblsAndVfnsMap();
-    const CHNodeSetTy& getCSClasses(CallSite cs);
-    void addFuncToFuncVector(CHNode::FuncVector &v, const SVFFunction *f);
-};
-
-} // End namespace SVF
-

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

@@ -1,130 +0,0 @@
-//===- CPPUtil.h -- Base class of pointer analyses ---------------------------//
-//
-//                     SVF: Static Value-Flow Analysis
-//
-// Copyright (C) <2013-2017>  <Yulei Sui>
-//
-
-// This program is free software: you can redistribute it and/or modify
-// it under the terms of the GNU General Public License as published by
-// the Free Software Foundation, either version 3 of the License, or
-// (at your option) any later version.
-
-// This program is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-// GNU General Public License for more details.
-
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-//
-//===----------------------------------------------------------------------===//
-
-/*
- * CPPUtil.h
- *
- *  Created on: Apr 13, 2016
- *      Author: Xiaokang Fan
- */
-
-#ifndef CPPUtil_H_
-#define CPPUtil_H_
-
-#include "Util/BasicTypes.h"
-#include "SVF-FE/BasicTypes.h"
-
-namespace SVF
-{
-
-class CHGraph;
-/*
- * Util class to assist pointer analysis for cpp programs
- */
-
-namespace cppUtil
-{
-
-struct DemangledName
-{
-    std::string className;
-    std::string funcName;
-    bool isThunkFunc;
-};
-
-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(CallSite 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(CallSite cs);
-const Value* getVCallVtblPtr(CallSite cs);
-u64_t getVCallIdx(CallSite cs);
-std::string getClassNameFromVtblObj(const Value* value);
-std::string getClassNameFromType(const Type *ty);
-std::string getClassNameOfThisPtr(CallSite cs);
-std::string getFunNameOfVCallSite(CallSite cs);
-bool VCallInCtorOrDtor(CallSite 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?
-namespace ctir
-{
-/// On loads, stores, GEPs representing dereferences, and calls
-/// representing virtual calls.
-/// (The static type.)
-const std::string derefMDName  = "ctir";
-/// On the (global) virtual table itself.
-/// (The class it corresponds to.)
-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;
-}
-
-} // End namespace cppUtil
-
-} // End namespace SVF
-
-#endif /* CPPUtil_H_ */

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

@@ -1,74 +0,0 @@
-//===- CallGraphBuilder.h ----------------------------------------------------------------//
-//
-//                     SVF: Static Value-Flow Analysis
-//
-// Copyright (C) <2013->  <Yulei Sui>
-//
-
-// This program is free software: you can redistribute it and/or modify
-// it under the terms of the GNU General Public License as published by
-// the Free Software Foundation, either version 3 of the License, or
-// (at your option) any later version.
-
-// This program is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-// GNU General Public License for more details.
-
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-//
-//===----------------------------------------------------------------------===//
-
-
-/*
- * CallGraphBuilder.h
- *
- *  Created on: 13Mar.,2020
- *      Author: Yulei Sui
- */
-
-#ifndef INCLUDE_SVF_FE_CALLGRAPHBUILDER_H_
-#define INCLUDE_SVF_FE_CALLGRAPHBUILDER_H_
-
-#include "Graphs/PTACallGraph.h"
-#include "Graphs/ThreadCallGraph.h"
-
-namespace SVF
-{
-
-class ICFG;
-
-class CallGraphBuilder
-{
-
-protected:
-    PTACallGraph* callgraph;
-    ICFG* icfg;
-public:
-    CallGraphBuilder(PTACallGraph* cg, ICFG* i): callgraph(cg),icfg(i)
-    {
-    }
-
-    /// Build normal callgraph
-    PTACallGraph* buildCallGraph(SVFModule* svfModule);
-
-};
-
-class ThreadCallGraphBuilder : public CallGraphBuilder
-{
-
-public:
-    ThreadCallGraphBuilder(ThreadCallGraph* cg, ICFG* i): CallGraphBuilder(cg,i)
-    {
-    }
-
-    /// Build thread-aware callgraph
-    PTACallGraph* buildThreadCallGraph(SVFModule* svfModule);
-
-};
-
-} // End namespace SVF
-
-
-#endif /* INCLUDE_UTIL_CALLGRAPHBUILDER_H_ */

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

@@ -1,49 +0,0 @@
-//===----- CommonCHG.h -- Base class of CHG implementations ------------------//
-// A common base to CHGraph and DCHGraph.
-
-/*
- * CommonCHG.h
- *
- *  Created on: Aug 24, 2019
- *      Author: Mohamad Barbar
- */
-
-#ifndef COMMONCHG_H_
-#define COMMONCHG_H_
-
-namespace SVF
-{
-
-typedef Set<const GlobalValue*> VTableSet;
-typedef Set<const SVFFunction*> VFunSet;
-
-/// Common base for class hierarchy graph. Only implements what PointerAnalysis needs.
-class CommonCHGraph
-{
-public:
-    virtual ~CommonCHGraph() { };
-    enum CHGKind
-    {
-        Standard,
-        DI
-    };
-
-    virtual bool csHasVFnsBasedonCHA(CallSite cs) = 0;
-    virtual const VFunSet &getCSVFsBasedonCHA(CallSite cs) = 0;
-    virtual bool csHasVtblsBasedonCHA(CallSite cs) = 0;
-    virtual const VTableSet &getCSVtblsBasedonCHA(CallSite cs) = 0;
-    virtual void getVFnsFromVtbls(CallSite cs, const VTableSet &vtbls, VFunSet &virtualFunctions) = 0;
-
-    CHGKind getKind(void) const
-    {
-        return kind;
-    }
-
-protected:
-    CHGKind kind;
-};
-
-} // End namespace SVF
-
-#endif /* COMMONCHG_H_ */
-