svf-lib 1.0.1373 → 1.0.1375

package/SVF-osx/svf/include/Util/CoreBitVector.h

@@ -0,0 +1,214 @@
+//===- CoreBitVector.h -- Dynamically sized bit vector data structure ------------//
+
+/*
+ * CoreBitVector.h
+ *
+ * Contiguous bit vector which resizes as required by common operations.
+ *
+ *  Created on: Jan 31, 2021
+ *      Author: Mohamad Barbar
+ */
+
+#ifndef COREBITVECTOR_H_
+#define COREBITVECTOR_H_
+
+#include <assert.h>
+#include <vector>
+
+#include "SVFIR/SVFType.h"
+
+namespace SVF
+{
+
+/// A contiguous bit vector that only contains what it needs according
+/// to the operations carried. For example, when two bit vectors are unioned,
+/// their sizes may be increased to fit all the bits from the other set.
+/// This implementation never shrinks. Since points-to sets (generally) grow
+/// monotonically, does not have too big an impact on points-to analysis and
+/// so it isn't implemented.
+/// Abbreviated CBV.
+class CoreBitVector
+{
+public:
+    typedef unsigned long long Word;
+    static const size_t WordSize;
+
+    class CoreBitVectorIterator;
+    typedef CoreBitVectorIterator const_iterator;
+    typedef const_iterator iterator;
+
+public:
+    /// Construct empty CBV.
+    CoreBitVector(void);
+
+    /// Construct empty CBV with space reserved for n Words.
+    CoreBitVector(size_t n);
+
+    /// Copy constructor.
+    CoreBitVector(const CoreBitVector &cbv);
+
+    /// Move constructor.
+    CoreBitVector(CoreBitVector &&cbv);
+
+    /// Copy assignment.
+    CoreBitVector &operator=(const CoreBitVector &rhs);
+
+    /// Move assignment.
+    CoreBitVector &operator=(CoreBitVector &&rhs);
+
+    /// Returns true if no bits are set.
+    bool empty(void) const;
+
+    /// Returns number of bits set.
+    u32_t count(void) const;
+
+    /// Empty the CBV.
+    void clear(void);
+
+    /// Returns true if bit is set in this CBV.
+    bool test(u32_t bit) const;
+
+    /// Check if bit is set. If it is, returns false.
+    /// Otherwise, sets bit and returns true.
+    bool test_and_set(u32_t bit);
+
+    /// Sets bit in the CBV.
+    void set(u32_t bit);
+
+    /// Resets bit in the CBV.
+    void reset(u32_t bit);
+
+    /// Returns true if this CBV is a superset of rhs.
+    bool contains(const CoreBitVector &rhs) const;
+
+    /// Returns true if this CBV and rhs share any set bits.
+    bool intersects(const CoreBitVector &rhs) const;
+
+    /// Returns true if this CBV and rhs have the same bits set.
+    bool operator==(const CoreBitVector &rhs) const;
+
+    /// Returns true if either this CBV or rhs has a bit set unique to the other.
+    bool operator!=(const CoreBitVector &rhs) const;
+
+    /// Put union of this CBV and rhs into this CBV.
+    /// Returns true if CBV changed.
+    bool operator|=(const CoreBitVector &rhs);
+
+    /// Put intersection of this CBV and rhs into this CBV.
+    /// Returns true if CBV changed.
+    bool operator&=(const CoreBitVector &rhs);
+
+    /// Remove set bits in rhs from this CBV.
+    /// Returns true if CBV changed.
+    bool operator-=(const CoreBitVector &rhs);
+
+    /// Put intersection of this CBV with complemenet of rhs into this CBV.
+    /// Returns true if this CBV changed.
+    bool intersectWithComplement(const CoreBitVector &rhs);
+
+    /// Put intersection of lhs with complemenet of rhs into this CBV.
+    void intersectWithComplement(const CoreBitVector &lhs, const CoreBitVector &rhs);
+
+    /// Hash for this CBV.
+    size_t hash(void) const;
+
+    const_iterator begin(void) const;
+    const_iterator end(void) const;
+
+private:
+    /// Add enough words (prepend) to be able to include bit.
+    void extendBackward(u32_t bit);
+
+    /// Add enough words (append) to be able to include bit.
+    void extendForward(u32_t bit);
+
+    /// Add enough words (append xor prepend) to be able to include bit.
+    void extendTo(u32_t bit);
+
+    /// Returns the index into words which would hold bit.
+    size_t indexForBit(u32_t bit) const;
+
+    /// Returns true if bit can fit in this CBV without resizing.
+    bool canHold(u32_t bit) const;
+
+    /// Returns the last bit that this CBV can hold.
+    u32_t finalBit(void) const;
+
+    /// Returns the first bit position that both this CBV and rhs *can* hold.
+    u32_t firstCommonBit(const CoreBitVector &rhs) const;
+
+    /// Returns the next index in the words array at or after start which contains
+    /// set bits. This index and start are indices into the words array not
+    /// accounting for the offset. Returns a value greater than or equal to
+    /// words.size() when there are no more set bits.
+    size_t nextSetIndex(const size_t start) const;
+
+public:
+    class CoreBitVectorIterator
+    {
+    public:
+        using iterator_category = std::forward_iterator_tag;
+        using value_type = u32_t;
+        using difference_type = std::ptrdiff_t;
+        using pointer = u32_t *;
+        using reference = u32_t &;
+
+        CoreBitVectorIterator(void) = delete;
+
+        /// Returns an iterator to the beginning of cbv if end is false, and to
+        /// the end of cbv if end is true.
+        CoreBitVectorIterator(const CoreBitVector *cbv, bool end=false);
+
+        CoreBitVectorIterator(const CoreBitVectorIterator &cbv) = default;
+        CoreBitVectorIterator(CoreBitVectorIterator &&cbv) = default;
+
+        CoreBitVectorIterator &operator=(const CoreBitVectorIterator &cbv) = default;
+        CoreBitVectorIterator &operator=(CoreBitVectorIterator &&cbv) = default;
+
+        /// Pre-increment: ++it.
+        const CoreBitVectorIterator &operator++(void);
+
+        /// Post-increment: it++.
+        const CoreBitVectorIterator operator++(int);
+
+        /// Dereference: *it.
+        u32_t operator*(void) const;
+
+        /// Equality: *this == rhs.
+        bool operator==(const CoreBitVectorIterator &rhs) const;
+
+        /// Inequality: *this != rhs.
+        bool operator!=(const CoreBitVectorIterator &rhs) const;
+
+    private:
+        bool atEnd(void) const;
+
+    private:
+        /// CoreBitVector we are iterating over.
+        const CoreBitVector *cbv;
+        /// Word in words we are looking at.
+        std::vector<Word>::const_iterator wordIt;
+        /// Current bit in wordIt we are looking at
+        /// (index into *wordIt).
+        u32_t bit;
+    };
+
+private:
+    /// The first bit of the first word.
+    u32_t offset;
+    /// Our actual bit vector.
+    std::vector<Word> words;
+};
+
+template <>
+struct Hash<CoreBitVector>
+{
+    size_t operator()(const CoreBitVector &cbv) const
+    {
+        return cbv.hash();
+    }
+};
+
+} // End namespace SVF
+
+#endif  // COREBITVECTOR_H_

package/SVF-osx/svf/include/Util/CppUtil.h

@@ -0,0 +1,81 @@
+//===- 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 "SVFIR/SVFValue.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);
+std::string getClassNameFromVtblObj(const std::string& vtblName);
+
+/// 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
+
+#endif /* CPPUtil_H_ */