svf-lib 1.0.1301 → 1.0.1302

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1301",
+  "version": "1.0.1302",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {

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

@@ -1,219 +0,0 @@
-#ifndef SVF_FE_BASIC_TYPES_H
-#define SVF_FE_BASIC_TYPES_H
-
-#include "SVF-FE/GEPTypeBridgeIterator.h"
-
-#include <llvm/Pass.h>
-
-#include <llvm/IR/Instructions.h>
-#include <llvm/IR/IntrinsicInst.h>
-#include <llvm/IR/LLVMContext.h>
-#include <llvm/IR/Metadata.h>
-#include <llvm/IR/DataLayout.h>
-#include <llvm/IR/IRBuilder.h>
-#include <llvm/IR/DebugInfo.h>
-#include <llvm/IR/InstIterator.h>
-#include <llvm/IR/GetElementPtrTypeIterator.h>
-#include <llvm/IR/DerivedTypes.h>
-#include <llvm/IR/Statepoint.h>
-
-#include <llvm/Analysis/MemoryLocation.h>
-#include <llvm/Analysis/DominanceFrontier.h>
-#include <llvm/Analysis/PostDominators.h>
-#include <llvm/Analysis/ScalarEvolution.h>
-#include <llvm/Analysis/ScalarEvolutionExpressions.h>
-
-#include <llvm/Transforms/Utils/UnifyFunctionExitNodes.h>
-
-#include <llvm/Support/SourceMgr.h>
-
-#include <llvm/Bitcode/BitcodeWriter.h>		// for WriteBitcodeToFile
-#include <llvm/Bitcode/BitcodeReader.h>     /// for isBitcode
-#include <llvm/IRReader/IRReader.h>	// IR reader for bit file
-#include <llvm/IR/InstVisitor.h>	// for instruction visitor
-#include <llvm/IR/InstIterator.h>	// for inst iteration
-
-#include <llvm/Analysis/LoopInfo.h>
-
-namespace SVF
-{
-
-typedef llvm::LLVMContext LLVMContext;
-typedef llvm::GlobalObject GlobalObject;
-typedef llvm::Use Use;
-typedef llvm::ModulePass ModulePass;
-typedef llvm::IRBuilder<> IRBuilder;
-#if LLVM_VERSION_MAJOR >= 12
-typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
-#else
-typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
-#endif
-
-typedef llvm::Module Module;
-
-typedef llvm::SMDiagnostic SMDiagnostic;
-
-typedef llvm::BlockAddress BlockAddress;
-
-// LLVM Metadata
-typedef llvm::MDString MDString;
-typedef llvm::MetadataAsValue MetadataAsValue;
-
-// LLVM data layout
-typedef llvm::StructLayout StructLayout;
-typedef llvm::ConstantStruct ConstantStruct;
-typedef llvm::MemoryLocation MemoryLocation;
-typedef llvm::DataLayout DataLayout;
-
-// LLVM Aliases and constants
-typedef llvm::ConstantAggregate ConstantAggregate;
-typedef llvm::ConstantAggregateZero ConstantAggregateZero;
-typedef llvm::ConstantDataSequential ConstantDataSequential;
-typedef llvm::ConstantExpr ConstantExpr;
-typedef llvm::ConstantDataArray ConstantDataArray;
-typedef llvm::ConstantData ConstantData;
-typedef llvm::ConstantArray ConstantArray;
-typedef llvm::Constant Constant;
-
-/// LLVM Dominators
-typedef llvm::DominatorTree DominatorTree;
-typedef llvm::DomTreeNode DomTreeNode;
-typedef llvm::DominanceFrontier DominanceFrontier;
-typedef llvm::PostDominatorTree PostDominatorTree;
-typedef llvm::DominanceFrontierBase<llvm::BasicBlock, false> DominanceFrontierBase;
-
-/// LLVM Loop
-typedef llvm::Loop Loop;
-typedef llvm::LoopInfo LoopInfo;
-typedef llvm::User User;
-
-// LLVM Instructions
-typedef llvm::CallInst CallInst;
-typedef llvm::StoreInst StoreInst;
-typedef llvm::LoadInst LoadInst;
-typedef llvm::AllocaInst AllocaInst;
-typedef llvm::AtomicCmpXchgInst AtomicCmpXchgInst;
-typedef llvm::AtomicRMWInst AtomicRMWInst;
-typedef llvm::BitCastInst BitCastInst;
-typedef llvm::BranchInst BranchInst;
-typedef llvm::SwitchInst SwitchInst;
-typedef llvm::CallBrInst CallBrInst;
-typedef llvm::ReturnInst ReturnInst;
-typedef llvm::CastInst CastInst;
-typedef llvm::CmpInst CmpInst;
-typedef llvm::ExtractValueInst  ExtractValueInst;
-typedef llvm::ExtractElementInst ExtractElementInst;
-typedef llvm::GetElementPtrInst GetElementPtrInst;
-typedef llvm::InvokeInst InvokeInst;
-typedef llvm::ShuffleVectorInst ShuffleVectorInst;
-typedef llvm::PHINode PHINode;
-typedef llvm::IntToPtrInst IntToPtrInst;
-typedef llvm::InsertValueInst InsertValueInst;
-typedef llvm::FenceInst FenceInst;
-typedef llvm::FreezeInst FreezeInst;
-typedef llvm::UnreachableInst UnreachableInst;
-typedef llvm::InsertElementInst InsertElementInst;
-typedef llvm::LandingPadInst LandingPadInst;
-typedef llvm::ResumeInst ResumeInst;
-typedef llvm::SelectInst SelectInst;
-typedef llvm::VAArgInst VAArgInst;
-typedef llvm::VACopyInst VACopyInst;
-typedef llvm::VAEndInst VAEndInst;
-typedef llvm::VAStartInst VAStartInst;
-typedef llvm::BinaryOperator BinaryOperator;
-typedef llvm::UnaryOperator UnaryOperator;
-typedef llvm::UndefValue UndefValue;
-
-// LLVM Intrinsic Instructions
-#if LLVM_VERSION_MAJOR >= 13
-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;
-#endif
-
-// LLVM Debug Information
-typedef llvm::DIType DIType;
-typedef llvm::DICompositeType DICompositeType;
-typedef llvm::DIDerivedType DIDerivedType;
-typedef llvm::DebugInfoFinder DebugInfoFinder;
-typedef llvm::DISubroutineType DISubroutineType;
-typedef llvm::DIBasicType DIBasicType;
-typedef llvm::DISubrange DISubrange;
-typedef llvm::DINode DINode;
-typedef llvm::DINodeArray DINodeArray;
-typedef llvm::DITypeRefArray DITypeRefArray;
-namespace dwarf = llvm::dwarf;
-
-// Iterators.
-typedef llvm::inst_iterator inst_iterator;
-typedef llvm::const_inst_iterator const_inst_iterator;
-typedef llvm::gep_type_iterator gep_type_iterator;
-typedef llvm::bridge_gep_iterator bridge_gep_iterator;
-typedef llvm::const_inst_iterator const_inst_iterator;
-typedef llvm::const_pred_iterator const_pred_iterator;
-
-// LLVM Scalar Evolution.
-typedef llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass;
-typedef llvm::SCEVAddRecExpr SCEVAddRecExpr;
-typedef llvm::SCEVConstant SCEVConstant;
-typedef llvm::ScalarEvolution ScalarEvolution;
-typedef llvm::SCEV SCEV;
-
-/// LLVM outputs
-typedef llvm::raw_fd_ostream raw_fd_ostream;
-
-// LLVM Types.
-typedef llvm::VectorType VectorType;
-#if (LLVM_VERSION_MAJOR >= 9)
-typedef llvm::FunctionCallee FunctionCallee;
-#endif
-
-/// LLVM Iterators
-#if LLVM_VERSION_MAJOR >= 11
-typedef llvm::const_succ_iterator succ_const_iterator;
-#else
-typedef llvm::succ_const_iterator succ_const_iterator;
-#endif
-} // End namespace SVF
-
-#endif  // SVF_FE_BASIC_TYPES_H

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

@@ -1,94 +0,0 @@
-//===- BreakConstantGEPs.h - Change constant GEPs into GEP instructions --- --//
-//
-//                          The SAFECode Compiler
-//
-// This file was developed by the LLVM research group and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This pass changes all GEP constant expressions into GEP instructions.  This
-// permits the rest of SAFECode to put run-time checks on them if necessary.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef BREAKCONSTANTGEPS_H
-#define BREAKCONSTANTGEPS_H
-
-#include "Util/BasicTypes.h"
-
-namespace SVF
-{
-
-//
-// Pass: BreakConstantGEPs
-//
-// Description:
-//  This pass modifies a function so that it uses GEP instructions instead of
-//  GEP constant expressions.
-//
-class BreakConstantGEPs : public ModulePass
-{
-private:
-    // Private methods
-
-    // Private variables
-
-public:
-    static char ID;
-    BreakConstantGEPs() : ModulePass(ID) {}
-    llvm::StringRef getPassName() const
-    {
-        return "Remove Constant GEP Expressions";
-    }
-    virtual bool runOnModule (Module & M);
-};
-
-
-//
-// Pass: MergeFunctionRets
-//
-// Description:
-//  This pass modifies a function so that each function only have one unified exit basic block
-//
-class MergeFunctionRets : public ModulePass
-{
-private:
-    // Private methods
-
-    // Private variables
-
-public:
-    static char ID;
-    MergeFunctionRets() : ModulePass(ID) {}
-    llvm::StringRef getPassName() const
-    {
-        return "unify function exit into one dummy exit basic block";
-    }
-    virtual bool runOnModule (Module & M)
-    {
-        UnifyFunctionExit(M);
-        return true;
-    }
-    inline void UnifyFunctionExit(Module& module)
-    {
-        for (Module::const_iterator iter = module.begin(), eiter = module.end();
-                iter != eiter; ++iter)
-        {
-            const Function& fun = *iter;
-            if(fun.isDeclaration())
-                continue;
-            getUnifyExit(fun)->runOnFunction(const_cast<Function&>(fun));
-        }
-    }
-    /// Get Unified Exit basic block node
-    inline UnifyFunctionExitNodes* getUnifyExit(const Function& fn)
-    {
-        assert(!fn.isDeclaration() && "external function does not have DF");
-        return &getAnalysis<UnifyFunctionExitNodes>(const_cast<Function&>(fn));
-    }
-};
-
-} // End namespace SVF
-
-#endif

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

@@ -1,334 +0,0 @@
-//===----- CHG.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/>.
-//
-//===----------------------------------------------------------------------===//
-
-/*
- * CHG.h (previously CHA.h)
- *
- *  Created on: Apr 13, 2016
- *      Author: Xiaokang Fan
- */
-
-#ifndef CHA_H_
-#define CHA_H_
-
-#include "Util/SVFModule.h"
-#include "SVF-FE/CommonCHG.h"
-#include "Graphs/GenericGraph.h"
-#include "Util/WorkList.h"
-
-namespace SVF
-{
-
-class SVFModule;
-class CHNode;
-
-typedef GenericEdge<CHNode> GenericCHEdgeTy;
-class CHEdge: public GenericCHEdgeTy
-{
-public:
-    typedef enum
-    {
-        INHERITANCE = 0x1, // inheritance relation
-        INSTANTCE = 0x2 // template-instance relation
-    } CHEDGETYPE;
-
-    typedef GenericNode<CHNode,CHEdge>::GEdgeSetTy CHEdgeSetTy;
-
-    CHEdge(CHNode *s, CHNode *d, CHEDGETYPE et, GEdgeFlag k = 0):
-        GenericCHEdgeTy(s,d,k)
-    {
-        edgeType = et;
-    }
-
-    CHEDGETYPE getEdgeType() const
-    {
-        return edgeType;
-    }
-
-private:
-    CHEDGETYPE edgeType;
-};
-
-typedef GenericNode<CHNode,CHEdge> GenericCHNodeTy;
-class CHNode: public GenericCHNodeTy
-{
-public:
-    typedef enum
-    {
-        PURE_ABSTRACT = 0x1, // pure virtual abstract class
-        MULTI_INHERITANCE = 0x2, // multi inheritance class
-        TEMPLATE = 0x04 // template class
-    } CLASSATTR;
-
-    typedef std::vector<const SVFFunction*> FuncVector;
-
-    CHNode (const std::string name, NodeID i = 0, GNodeK k = 0):
-        GenericCHNodeTy(i, k), vtable(nullptr), className(name), flags(0)
-    {
-    }
-    ~CHNode()
-    {
-    }
-    std::string getName() const
-    {
-        return className;
-    }
-    /// Flags
-    //@{
-    inline void setFlag(CLASSATTR mask)
-    {
-        flags |= mask;
-    }
-    inline bool hasFlag(CLASSATTR mask) const
-    {
-        return (flags & mask) == mask;
-    }
-    //@}
-
-    /// Attribute
-    //@{
-    inline void setPureAbstract()
-    {
-        setFlag(PURE_ABSTRACT);
-    }
-    inline void setMultiInheritance()
-    {
-        setFlag(MULTI_INHERITANCE);
-    }
-    inline void setTemplate()
-    {
-        setFlag(TEMPLATE);
-    }
-    inline bool isPureAbstract() const
-    {
-        return hasFlag(PURE_ABSTRACT);
-    }
-    inline bool isMultiInheritance() const
-    {
-        return hasFlag(MULTI_INHERITANCE);
-    }
-    inline bool isTemplate() const
-    {
-        return hasFlag(TEMPLATE);
-    }
-    //@}
-
-    void addVirtualFunctionVector(FuncVector vfuncvec)
-    {
-        virtualFunctionVectors.push_back(vfuncvec);
-    }
-    const std::vector<FuncVector> &getVirtualFunctionVectors() const
-    {
-        return virtualFunctionVectors;
-    }
-    void getVirtualFunctions(u32_t idx, FuncVector &virtualFunctions) const;
-
-    const GlobalValue *getVTable() const
-    {
-        return vtable;
-    }
-
-    void setVTable(const GlobalValue *vtbl)
-    {
-        vtable = vtbl;
-    }
-
-private:
-    const GlobalValue* vtable;
-    std::string className;
-    size_t flags;
-    /*
-     * virtual functions inherited from different classes are separately stored
-     * to model different vtables inherited from different fathers.
-     *
-     * Example:
-     * class C: public A, public B
-     * vtableC = {Af1, Af2, ..., inttoptr, Bg1, Bg2, ...} ("inttoptr"
-     * instruction works as the delimiter for separating virtual functions
-     * inherited from different classes)
-     *
-     * virtualFunctionVectors = {{Af1, Af2, ...}, {Bg1, Bg2, ...}}
-     */
-    std::vector<FuncVector> virtualFunctionVectors;
-};
-
-/// class hierarchy graph
-typedef GenericGraph<CHNode,CHEdge> GenericCHGraphTy;
-class CHGraph: public CommonCHGraph, public GenericCHGraphTy
-{
-public:
-    typedef Set<const CHNode*> CHNodeSetTy;
-    typedef FIFOWorkList<const CHNode*> WorkList;
-    typedef Map<std::string, CHNodeSetTy> NameToCHNodesMap;
-    typedef Map<CallSite, CHNodeSetTy> CallSiteToCHNodesMap;
-    typedef Map<CallSite, VTableSet> CallSiteToVTableSetMap;
-    typedef Map<CallSite, VFunSet> CallSiteToVFunSetMap;
-
-    typedef enum
-    {
-        CONSTRUCTOR = 0x1, // connect node based on constructor
-        DESTRUCTOR = 0x2 // connect node based on destructor
-    } RELATIONTYPE;
-
-    CHGraph(SVFModule* svfModule): svfMod(svfModule), classNum(0), vfID(0), buildingCHGTime(0)
-    {
-        this->kind = Standard;
-    }
-    ~CHGraph() override = default;
-
-    void buildCHG();
-    void buildInternalMaps();
-    void buildCHGNodes(const GlobalValue *V);
-    void buildCHGNodes(const SVFFunction* F);
-    void buildCHGEdges(const SVFFunction* F);
-    void connectInheritEdgeViaCall(const SVFFunction* caller, CallSite cs);
-    void connectInheritEdgeViaStore(const SVFFunction* caller, const StoreInst* store);
-    void addEdge(const std::string className,
-                 const std::string baseClassName,
-                 CHEdge::CHEDGETYPE edgeType);
-    CHNode *getNode(const std::string name) const;
-    CHNode *createNode(const std::string name);
-    void buildClassNameToAncestorsDescendantsMap();
-    void buildVirtualFunctionToIDMap();
-    void buildCSToCHAVtblsAndVfnsMap();
-    void readInheritanceMetadataFromModule(const Module &M);
-    void analyzeVTables(const Module &M);
-    const CHGraph::CHNodeSetTy& getInstancesAndDescendants(const std::string className);
-    const CHNodeSetTy& getCSClasses(CallSite cs);
-    void getVFnsFromVtbls(CallSite cs, const VTableSet &vtbls, VFunSet &virtualFunctions) override;
-    void dump(const std::string& filename);
-    void view();
-    void printCH();
-
-    inline s32_t getVirtualFunctionID(const SVFFunction* vfn) const
-    {
-        Map<const SVFFunction*, s32_t>::const_iterator it =
-            virtualFunctionToIDMap.find(vfn);
-        if (it != virtualFunctionToIDMap.end())
-            return it->second;
-        else
-            return -1;
-    }
-    inline const SVFFunction* getVirtualFunctionBasedonID(s32_t id) const
-    {
-        Map<const SVFFunction*, s32_t>::const_iterator it, eit;
-        for (it = virtualFunctionToIDMap.begin(), eit =
-                    virtualFunctionToIDMap.end(); it != eit; ++it)
-        {
-            if (it->second == id)
-                return it->first;
-        }
-        return nullptr;
-    }
-
-    inline void addInstances(const std::string templateName, CHNode* node)
-    {
-        NameToCHNodesMap::iterator it = templateNameToInstancesMap.find(
-                                            templateName);
-        if (it != templateNameToInstancesMap.end())
-            it->second.insert(node);
-        else
-            templateNameToInstancesMap[templateName].insert(node);
-    }
-    inline const CHNodeSetTy &getDescendants(const std::string className)
-    {
-        return classNameToDescendantsMap[className];
-    }
-    inline const CHNodeSetTy &getInstances(const std::string className)
-    {
-        return templateNameToInstancesMap[className];
-    }
-
-    inline bool csHasVtblsBasedonCHA(CallSite cs) override
-    {
-        CallSiteToVTableSetMap::const_iterator it = csToCHAVtblsMap.find(cs);
-        return it != csToCHAVtblsMap.end();
-    }
-    inline bool csHasVFnsBasedonCHA(CallSite cs) override
-    {
-        CallSiteToVFunSetMap::const_iterator it = csToCHAVFnsMap.find(cs);
-        return it != csToCHAVFnsMap.end();
-    }
-    inline const VTableSet &getCSVtblsBasedonCHA(CallSite cs) override
-    {
-        CallSiteToVTableSetMap::const_iterator it = csToCHAVtblsMap.find(cs);
-        assert(it != csToCHAVtblsMap.end() && "cs does not have vtabls based on CHA.");
-        return it->second;
-    }
-    inline const VFunSet &getCSVFsBasedonCHA(CallSite cs) override
-    {
-        CallSiteToVFunSetMap::const_iterator it = csToCHAVFnsMap.find(cs);
-        assert(it != csToCHAVFnsMap.end() && "cs does not have vfns based on CHA.");
-        return it->second;
-    }
-
-    static inline bool classof(const CommonCHGraph *chg)
-    {
-        return chg->getKind() == Standard;
-    }
-
-protected:
-    void addFuncToFuncVector(CHNode::FuncVector &v, const SVFFunction *f);
-
-private:
-    SVFModule* svfMod;
-    u32_t classNum;
-    s32_t vfID;
-    double buildingCHGTime;
-    Map<std::string, CHNode *> classNameToNodeMap;
-    NameToCHNodesMap classNameToDescendantsMap;
-    NameToCHNodesMap classNameToAncestorsMap;
-    NameToCHNodesMap classNameToInstAndDescsMap;
-    NameToCHNodesMap templateNameToInstancesMap;
-    CallSiteToCHNodesMap csToClassesMap;
-
-    Map<const SVFFunction*, s32_t> virtualFunctionToIDMap;
-    CallSiteToVTableSetMap csToCHAVtblsMap;
-    CallSiteToVFunSetMap csToCHAVFnsMap;
-};
-
-} // End namespace SVF
-
-namespace llvm
-{
-/* !
- * GraphTraits specializations for generic graph algorithms.
- * Provide graph traits for traversing from a constraint node using standard graph traversals.
- */
-template<> struct GraphTraits<SVF::CHNode*> : public GraphTraits<SVF::GenericNode<SVF::CHNode,SVF::CHEdge>*  >
-{
-};
-
-/// Inverse GraphTraits specializations for call graph node, it is used for inverse traversal.
-template<>
-struct GraphTraits<Inverse<SVF::CHNode*> > : public GraphTraits<Inverse<SVF::GenericNode<SVF::CHNode,SVF::CHEdge>* > >
-{
-};
-
-template<> struct GraphTraits<SVF::CHGraph*> : public GraphTraits<SVF::GenericGraph<SVF::CHNode,SVF::CHEdge>* >
-{
-    typedef SVF::CHNode *NodeRef;
-};
-
-} // End namespace llvm
-
-#endif /* CHA_H_ */