svf-lib 1.0.2618 → 1.0.2619

package/SVF-osx/include/SVF-LLVM/CppUtil.h

@@ -155,28 +155,6 @@ bool isDynCast(const Function *foo);
 std::string extractClsNameFromDynCast(const CallBase* callBase);
 
 const Type *cppClsNameToType(const std::string &className);
-
-
-
-/// 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;
-} // namespace ctir
-
 } // End namespace cppUtil
 
 } // End namespace SVF

package/SVF-osx/include/SVFIR/SVFValue.h

@@ -148,7 +148,6 @@ public:
         CHNodeKd,         // Class hierarchy graph node
         ConstraintNodeKd, // Constraint graph node
         TCTNodeKd,        // Thread creation tree node
-        DCHNodeKd,        // DCHG node
         BasicBlockKd,     // Basic block node
         OtherKd           // Other node kind
     };

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

@@ -172,9 +172,6 @@ public:
     // CHG.cpp
     static const Option<bool> DumpCHA;
 
-    // DCHG.cpp
-    static const Option<bool> PrintDCHG;
-
     // LLVMModule.cpp
     static const Option<std::string> Graphtxt;
     static Option<bool> SVFMain;

package/SVF-osx/lib/cmake/SVF/SVFTargets.cmake

@@ -103,7 +103,7 @@ if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
       FILE_SET "HEADERS"
       TYPE "HEADERS"
       BASE_DIRS "${_IMPORT_PREFIX}/include"
-      FILES "${_IMPORT_PREFIX}/include/SVF-LLVM/BasicTypes.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/BreakConstantExpr.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CHGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CppUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/DCHG.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/GEPTypeBridgeIterator.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ICFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMLoopAnalysis.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMModule.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ObjTypeInference.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SVFIRBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SymbolTableBuilder.h"
+      FILES "${_IMPORT_PREFIX}/include/SVF-LLVM/BasicTypes.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/BreakConstantExpr.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CHGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/CppUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/GEPTypeBridgeIterator.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ICFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMLoopAnalysis.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMModule.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/LLVMUtil.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/ObjTypeInference.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SVFIRBuilder.h" "${_IMPORT_PREFIX}/include/SVF-LLVM/SymbolTableBuilder.h"
   )
 else()
   set_property(TARGET SVF::SvfLLVM

package/package.json

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

package/SVF-osx/include/SVF-LLVM/DCHG.h

@@ -1,473 +0,0 @@
-//===----- DCHG.h -- CHG using DWARF debug info ---------------------------//
-// This is based upon the original CHA.h (now CHG.h).
-
-/*
- * DCHG.h
- *
- *  Created on: Aug 23, 2019
- *      Author: Mohamad Barbar
- */
-
-// TODO: add a flag such that getCanonicalType returns its arg so
-//       that the impl. does not "node collapsing" based on teq.
-
-#ifndef DCHG_H_
-#define DCHG_H_
-
-#include "Graphs/GenericGraph.h"
-#include "Graphs/CHG.h"
-#include "SVF-LLVM/BasicTypes.h"
-#include "Util/SVFUtil.h"
-#include "Util/WorkList.h"
-
-namespace SVF
-{
-
-class DCHNode;
-
-class DCHEdge : public GenericEdge<DCHNode>
-{
-public:
-    enum
-    {
-        INHERITANCE,  // inheritance relation
-        INSTANCE,     // template-instance relation
-        FIRST_FIELD,  // src -ff-> dst => dst is first field of src
-        STD_DEF       // Edges defined by the standard like (int -std-> char)
-        // We also make the char --> void edge a STD_DEF edge.
-    };
-
-    typedef GenericNode<DCHNode, DCHEdge>::GEdgeSetTy DCHEdgeSetTy;
-
-    DCHEdge(DCHNode *src, DCHNode *dst, GEdgeFlag k = 0)
-        : GenericEdge<DCHNode>(src, dst, k), offset(0)
-    {
-    }
-
-    u32_t getConstantFieldIdx(void) const
-    {
-        return offset;
-    }
-
-    void setOffset(u32_t offset)
-    {
-        this->offset = offset;
-    }
-
-private:
-    u32_t offset;
-};
-
-class DCHNode : public GenericNode<DCHNode, DCHEdge>
-{
-public:
-    typedef enum
-    {
-        PURE_ABSTRACT = 0x1,     // pure virtual abstract class
-        MULTI_INHERITANCE = 0x2, // multi inheritance class
-        TEMPLATE = 0x04,         // template class
-        SCALAR = 0x08            // non-class scalar type
-    } CLASSATTR;
-
-    typedef std::vector<const Function*> FuncVector;
-
-    DCHNode(const DIType* diType, NodeID i = 0, GNodeK k = GNodeK::DCHNodeKd)
-        : GenericNode<DCHNode, DCHEdge>(i, k), vtable(nullptr), flags(0)
-    {
-        this->diType = diType;
-        if (diType == nullptr)
-        {
-            typeName = "null-void";
-        }
-        else if (diType->getRawName() != nullptr)
-        {
-            typeName = diType->getName().str();
-        }
-        else
-        {
-            typeName = "unnamed!";
-        }
-    }
-
-    ~DCHNode() { }
-
-    const DIType * getDIType(void) const
-    {
-        return diType;
-    }
-
-    virtual const std::string& getName() const
-    {
-        return typeName;
-    }
-
-    /// 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 void setScalar()
-    {
-        setFlag(SCALAR);
-    }
-    inline bool isPureAbstract() const
-    {
-        return hasFlag(PURE_ABSTRACT);
-    }
-    inline bool isMultiInheritance() const
-    {
-        return hasFlag(MULTI_INHERITANCE);
-    }
-    inline bool isTemplate() const
-    {
-        return hasFlag(TEMPLATE);
-    }
-    inline bool isScalar() const
-    {
-        return hasFlag(SCALAR);
-    }
-    //@}
-
-    void addTypedef(const DIDerivedType *diTypedef)
-    {
-        typedefs.insert(diTypedef);
-    }
-
-    const Set<const DIDerivedType *> &getTypedefs(void) const
-    {
-        return typedefs;
-    }
-
-    void setVTable(const GlobalObjVar *vtbl)
-    {
-        vtable = vtbl;
-    }
-
-    const GlobalObjVar *getVTable() const
-    {
-        return vtable;
-    }
-
-    /// Returns the vector of virtual function vectors.
-    const std::vector<std::vector<const Function* >> &getVfnVectors(void) const
-    {
-        return vfnVectors;
-    }
-
-    /// Return the nth virtual function vector in the vtable.
-    std::vector<const Function* > &getVfnVector(unsigned n)
-    {
-        if (vfnVectors.size() < n + 1)
-        {
-            vfnVectors.resize(n + 1);
-        }
-
-        return vfnVectors[n];
-    }
-
-private:
-    /// Type of this node.
-    const DIType *diType;
-    /// Typedefs which map to this type.
-    Set<const DIDerivedType *> typedefs;
-    const GlobalObjVar* vtable;
-    std::string typeName;
-    size_t flags;
-    /// The virtual functions which this class actually defines/overrides.
-    std::vector<const Function* > primaryVTable;
-    /// If a vtable is split into more than one vfn vector for multiple inheritance,
-    /// 0 would be the primary base + this classes virtual functions, 1 would be
-    /// the second parent, 2 would be third parent, etc.
-    std::vector<std::vector<const Function*>> vfnVectors;
-};
-
-/// Dwarf based CHG.
-class DCHGraph : public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
-{
-public:
-    /// Returns the DIType beneath the qualifiers. Does not strip away "DW_TAG_members".
-    static const DIType* stripQualifiers(const DIType*);
-
-    /// Returns the DIType beneath all qualifiers and arrays.
-    static const DIType* stripArray(const DIType*);
-
-    /// Returns true if t1 and t2 are equivalent, ignoring qualifiers.
-    /// For equality...
-    ///  Tags always need to be equal.
-    ///   DIBasicType:      shallow pointer equality.
-    ///   DIDerivedType:    base types (teq).
-    ///   DICompositeType:  shallow pointer equality.
-    ///   DISubroutineType: shallow pointer equality.
-    static bool teq(const DIType* t1, const DIType* t2);
-
-    /// Returns a human-readable version of the DIType.
-    static std::string diTypeToStr(const DIType *);
-
-    // Returns whether t is an array, a struct, a class, a union, or neither.
-    static bool isAgg(const DIType* t);
-
-public:
-    DCHGraph()
-        :numTypes(0)   // vfID(0), buildingCHGTime(0) {
-    {
-        this->kind = DI;
-    }
-
-    virtual ~DCHGraph() { };
-
-    /// Builds the CHG from DWARF debug information. extend determines
-    /// whether to extend the CHG with first field edges.
-    virtual void buildCHG(bool extend);
-
-    void dump(const std::string& filename)
-    {
-        GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
-    }
-
-    void print(void);
-
-    virtual bool csHasVFnsBasedonCHA(const CallICFGNode* cs) override
-    {
-        return csHasVtblsBasedonCHA(cs);
-    }
-
-    virtual const VFunSet &getCSVFsBasedonCHA(const CallICFGNode* cs) override;
-
-    virtual bool csHasVtblsBasedonCHA(CallBase* cs)
-    {
-        assert(false && "not supported");
-        const DIType *type = getCanonicalType(getCSStaticType(cs));
-        if (!hasNode(type))
-        {
-            return false;
-        }
-
-        return getNode(type)->getVTable() != nullptr;
-    }
-
-    virtual bool csHasVtblsBasedonCHA(const CallICFGNode* cs) override
-    {
-        assert(false && "not supported!");
-        abort();
-    }
-
-    virtual const VTableSet &getCSVtblsBasedonCHA(const CallICFGNode* cs) override;
-    virtual void getVFnsFromVtbls(const CallICFGNode* cs, const VTableSet &vtbls, VFunSet &virtualFunctions) override;
-
-    /// Returns true if a is a transitive base of b. firstField determines
-    /// whether to consider first-field edges.
-    virtual bool isBase(const DIType *a, const DIType *b, bool firstField);
-
-    /// Returns true if f is a field of b (fields from getFieldTypes).
-    virtual bool isFieldOf(const DIType *f, const DIType *b);
-
-    static inline bool classof(const CommonCHGraph *chg)
-    {
-        return chg->getKind() == DI;
-    }
-
-    /// Returns the type representing all qualifier-variations of t.
-    /// This should only matter in the case of DerivedTypes where
-    /// qualifiers and have qualified base types cause a mess.
-    const DIType* getCanonicalType(const DIType* t);
-
-    /// Returns the type of field number idx (flattened) in base.
-    const DIType *getFieldType(const DIType *base, unsigned idx)
-    {
-        base = getCanonicalType(base);
-        if (base == nullptr)
-        {
-            // Conservative; the base object is untyped, sadly.
-            return nullptr;
-        }
-
-        // For TBHC this is conservative because the union type is lower in the DCHG
-        // than its fields. TODO: make more precise.
-        if (base->getTag() == dwarf::DW_TAG_union_type)
-        {
-            return base;
-        }
-
-        if (base->getTag() == dwarf::DW_TAG_array_type)
-        {
-            const DICompositeType* cbase =
-                SVFUtil::dyn_cast<DICompositeType>(base);
-            assert(cbase && "DCHG: bad DIComposite case");
-            return cbase->getBaseType();
-        }
-
-        if (!(base->getTag() == dwarf::DW_TAG_class_type ||
-                base->getTag() == dwarf::DW_TAG_structure_type))
-        {
-            return nullptr;
-        }
-
-        assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
-        std::vector<const DIType *> &fields = fieldTypes[base];
-        assert(fields.size() > idx && "DCHG: idx into struct larger than # fields!");
-        return getCanonicalType(fields[idx]);
-    }
-
-    /// Returns a vector of the types of all fields in base.
-    const std::vector<const DIType *> &getFieldTypes(const DIType *base)
-    {
-        base = getCanonicalType(base);
-        assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
-        return fieldTypes[base];
-    }
-
-    // Returns the number of fields in base (length of getFieldTypes).
-    unsigned getNumFields(const DIType *base)
-    {
-        base = getCanonicalType(base);
-        assert(fieldTypes.find(base) != fieldTypes.end() && "DCHG: base not flattened!");
-        return fieldTypes[base].size();
-    }
-
-    /// Returns all the aggregates contained (transitively) in base.
-    const Set<const DIType *> &getAggs(const DIType *base)
-    {
-        base = getCanonicalType(base);
-        assert(containingAggs.find(base) != containingAggs.end() && "DCHG: aggregates not gathered for base!");
-        return containingAggs[base];
-    }
-
-    bool isFirstField(const DIType* f, const DIType* b);
-
-protected:
-    /// Whether this CHG is an extended CHG (first-field). Set by buildCHG.
-    bool extended = false;
-    /// Maps DITypes to their nodes.
-    Map<const DIType*, DCHNode*> diTypeToNodeMap;
-    /// Maps VTables to the DIType associated with them.
-    Map<const GlobalObjVar*, const DIType*> vtblToTypeMap;
-    /// Maps types to all children (i.e. CHA).
-    Map<const DIType*, NodeBS> chaMap;
-    /// Maps types to all children but also considering first field.
-    Map<const DIType*, NodeBS> chaFFMap;
-    /// Maps types to a set with their vtable and all their children's.
-    Map<const DIType*, VTableSet> vtblCHAMap;
-    /// Maps callsites to a set of potential virtual functions based on CHA.
-    Map<const CallICFGNode*, VFunSet> csCHAMap;
-    /// Maps types to their canonical type (many-to-one).
-    Map<const DIType*, const DIType*> canonicalTypeMap;
-    /// Set of all possible canonical types (i.e. values of canonicalTypeMap).
-    Set<const DIType*> canonicalTypes;
-    /// Maps types to their flattened fields' types.
-    Map<const DIType*, std::vector<const DIType*>> fieldTypes;
-    /// Maps aggregate types to all the aggregate types it transitively contains.
-    Map<const DIType*, Set<const DIType*>> containingAggs;
-
-private:
-    /// Construction helper to process DIBasicTypes.
-    void handleDIBasicType(const DIBasicType* basicType);
-    /// Construction helper to process DICompositeTypes.
-    void handleDICompositeType(const DICompositeType* compositeType);
-    /// Construction helper to process DIDerivedTypes.
-    void handleDIDerivedType(const DIDerivedType* derivedType);
-    /// Construction helper to process DISubroutineTypes.
-    void handleDISubroutineType(const DISubroutineType* subroutineType);
-
-    /// Finds all defined virtual functions and attaches them to nodes.
-    void buildVTables();
-
-    /// Returns a set of all children of type (CHA). Also gradually builds chaMap.
-    const NodeBS& cha(const DIType* type, bool firstField);
-
-    /// Attaches the typedef(s) to the base node.
-    void handleTypedef(const DIType* typedefType);
-
-    /// Populates fieldTypes for type and all its elements.
-    void flatten(const DICompositeType* type);
-
-    /// Populates containingAggs for type and all its elements.
-    void gatherAggs(const DICompositeType* type);
-
-    /// Creates a node from type, or returns it if it exists.
-    DCHNode* getOrCreateNode(const DIType* type);
-
-    /// Retrieves the metadata associated with a *virtual* callsite.
-    const DIType* getCSStaticType(CallBase* cs) const;
-
-    const DIType *getCSStaticType(const CallICFGNode* cs) const
-    {
-        assert(false && "not supported!");
-        abort();
-    }
-
-    /// Checks if a node exists for type.
-    bool hasNode(const DIType* type)
-    {
-        type = getCanonicalType(type);
-        return diTypeToNodeMap.find(type) != diTypeToNodeMap.end();
-    }
-
-    /// Returns the node for type (nullptr if it doesn't exist).
-    DCHNode* getNode(const DIType* type)
-    {
-        type = getCanonicalType(type);
-        if (hasNode(type))
-        {
-            return diTypeToNodeMap.at(type);
-        }
-
-        return nullptr;
-    }
-
-
-    /// Creates an edge between from t1 to t2.
-    DCHEdge* addEdge(const DIType* t1, const DIType* t2, DCHEdge::GEdgeKind et);
-    /// Returns the edge between t1 and t2 if it exists, returns nullptr otherwise.
-    DCHEdge* hasEdge(const DIType* t1, const DIType* t2, DCHEdge::GEdgeKind et);
-
-    /// Number of types (nodes) in the graph.
-    NodeID numTypes;
-};
-
-} // End namespace SVF
-
-namespace SVF
-{
-/* !
- * GenericGraphTraits specializations for generic graph algorithms.
- * Provide graph traits for traversing from a constraint node using standard graph traversals.
- */
-template<> struct GenericGraphTraits<SVF::DCHNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>*  >
-{
-};
-
-/// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
-template<>
-struct GenericGraphTraits<Inverse<SVF::DCHNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>* > >
-{
-};
-
-template<> struct GenericGraphTraits<SVF::DCHGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::DCHNode,SVF::DCHEdge>* >
-{
-    typedef SVF::DCHNode *NodeRef;
-};
-
-} // End namespace llvm
-
-#endif /* DCHG_H_ */