npm - svf-lib - Versions diffs - 1.0.2643 → 1.0.2655 - Mend

svf-lib 1.0.2643 → 1.0.2655

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 (294) hide show

package/SVF-linux-x86_64/include/CFL/CFLSVFGBuilder.h CHANGED Viewed

@@ -27,11 +27,16 @@
 #ifndef SVF_CFLSVFGBUILDER_H
 #define SVF_CFLSVFGBUILDER_H
+#include "Graphs/SVFG.h"
 #include "SABER/SaberSVFGBuilder.h"
+#include "Util/WorkList.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {
+class BVDataPTAImpl;
 class CFLSVFGBuilder: public SaberSVFGBuilder
 {
 public:

package/SVF-linux-x86_64/include/CFL/CFLSolver.h CHANGED Viewed

@@ -32,6 +32,7 @@
 #include "Graphs/CFLGraph.h"
 #include "CFL/CFGrammar.h"
+#include "Util/GeneralType.h"
 #include "Util/WorkList.h"
 using namespace std;
@@ -371,4 +372,4 @@ public:
 };
 }
-#endif /* INCLUDE_CFL_CFLSolver_H_*/
+#endif /* INCLUDE_CFL_CFLSolver_H_*/

package/SVF-linux-x86_64/include/CFL/CFLStat.h CHANGED Viewed

@@ -32,12 +32,12 @@
 #define CFL_CFLSTAT_H_
 #include "Util/PTAStat.h"
-#include "CFL/CFLAlias.h"
-#include "CFL/CFLVF.h"
 namespace SVF
 {
+class CFLBase;
 /*!
  * Statistics of CFL's analysis
  */

package/SVF-linux-x86_64/include/CFL/CFLVF.h CHANGED Viewed

@@ -32,12 +32,15 @@
 #include "CFL/CFLBase.h"
-#include "CFL/CFLStat.h"
 #include "CFL/CFLSVFGBuilder.h"
-#include "WPA/Andersen.h"
+#include "Graphs/SVFG.h"
+#include "MemoryModel/PTATY.h"
 namespace SVF
 {
+class SVFIR;
 class CFLVF : public CFLBase
 {

package/SVF-linux-x86_64/include/CFL/GrammarBuilder.h CHANGED Viewed

@@ -30,11 +30,13 @@
 #ifndef INCLUDE_CFL_GRAMMARBUILDER_H_
 #define INCLUDE_CFL_GRAMMARBUILDER_H_
-#include "CFL/CFGrammar.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {
+class GrammarBase;
 /**
  * Build Grammar from a user specified grammar text
  *

package/SVF-linux-x86_64/include/DDA/ContextDDA.h CHANGED Viewed

@@ -40,6 +40,7 @@
 #include "MemoryModel/PointerAnalysisImpl.h"
 #include "DDA/DDAVFSolver.h"
 #include "Util/DPItem.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/DDA/DDAClient.h CHANGED Viewed

@@ -35,13 +35,13 @@
 #define DDACLIENT_H_
 #include "SVFIR/SVFIR.h"
-#include "MemoryModel/PointerAnalysisImpl.h"
 #include "Graphs/SVFG.h"
-#include "SVFIR/SVFValue.h"
 namespace SVF
 {
+class PointerAnalysis;
 /**
  * General DDAClient which queries all top level pointers by default.
  */

package/SVF-linux-x86_64/include/DDA/DDAPass.h CHANGED Viewed

@@ -33,12 +33,16 @@
 #define DDAPASS_H_
 #include "DDA/DDAClient.h"
+#include "MemoryModel/PointerAnalysis.h"
 #include "Graphs/SCC.h"
-#include "MemoryModel/PointerAnalysisImpl.h"
+#include "Graphs/SVFG.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {
+class PointerAnalysis;
 /*!
  * Demand-Driven Pointer Analysis.
  * This class performs various pointer analysis on the given module.

package/SVF-linux-x86_64/include/DDA/DDAStat.h CHANGED Viewed

@@ -30,8 +30,9 @@
 #ifndef DDASTAT_H_
 #define DDASTAT_H_
-#include "Util/PTAStat.h"
 #include "MemoryModel/PointsTo.h"
+#include "Util/PTAStat.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/DDA/DDAVFSolver.h CHANGED Viewed

@@ -30,12 +30,14 @@
 #ifndef VALUEFLOWDDA_H_
 #define VALUEFLOWDDA_H_
+#include <algorithm>
 #include "DDA/DDAStat.h"
 #include "Graphs/SCC.h"
 #include "MSSA/SVFGBuilder.h"
 #include "MemoryModel/PointsTo.h"
 #include "WPA/Andersen.h"
-#include <algorithm>
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/DDA/FlowDDA.h CHANGED Viewed

@@ -38,8 +38,9 @@
 #define FlowDDA_H_
 #include "MemoryModel/PointerAnalysisImpl.h"
-#include "Util/DPItem.h"
 #include "DDA/DDAVFSolver.h"
+#include "Util/DPItem.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/Graphs/CDG.h CHANGED Viewed

@@ -30,12 +30,18 @@
 #ifndef SVF_CONTROLDG_H
 #define SVF_CONTROLDG_H
+#include "Graphs/GenericGraph.h"
+#include "Graphs/GraphPrinter.h"
+#include "Graphs/ICFGNode.h"
 #include "SVFIR/SVFIR.h"
+#include "Util/GeneralType.h"
+#include "Util/SVFUtil.h"
 namespace SVF
 {
 class CDGNode;
+class SVFVar;
 typedef GenericEdge<CDGNode> GenericCDGEdgeTy;

package/SVF-linux-x86_64/include/Graphs/ICFGNode.h CHANGED Viewed

@@ -31,6 +31,7 @@
 #define ICFGNODE_H_
 #include "Util/SVFUtil.h"
+#include "Graphs/BasicBlockG.h"
 #include "Graphs/GenericGraph.h"
 #include "Graphs/ICFGEdge.h"

package/SVF-linux-x86_64/include/Graphs/IRGraph.h CHANGED Viewed

@@ -31,17 +31,16 @@
 #ifndef IRGRAPH_H_
 #define IRGRAPH_H_
+#include "Graphs/GenericGraph.h"
 #include "SVFIR/SVFStatements.h"
 #include "SVFIR/SVFVariables.h"
-#include "Util/NodeIDAllocator.h"
-#include "Util/SVFUtil.h"
-#include "Graphs/ICFG.h"
 namespace SVF
 {
 typedef SVFVar PAGNode;
 typedef SVFStmt PAGEdge;
+class ICFGNode;
 class ObjTypeInfo;
 /*

package/SVF-linux-x86_64/include/Graphs/SCC.h CHANGED Viewed

@@ -40,11 +40,12 @@
 #ifndef SCC_H_
 #define SCC_H_
-#include "SVFIR/SVFValue.h"	// for NodeBS
-#include "Util/WorkList.h"	// for NodeBS
 #include <limits.h>
 #include <stack>
-#include <map>
+#include "Graphs/GraphPrinter.h"
+#include "Util/GeneralType.h"
+#include "Util/WorkList.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/Graphs/WTO.h CHANGED Viewed

@@ -34,8 +34,7 @@
 #ifndef WTO_H_
 #define WTO_H_
-#include "SVFIR/SVFType.h"
-#include "SVFIR/SVFValue.h"
+#include "Util/GeneralType.h"
 #include <functional>
 namespace SVF
@@ -872,4 +871,4 @@ protected:
 } // namespace SVF
-#endif /* WTO_H_ */
+#endif /* WTO_H_ */

package/SVF-linux-x86_64/include/MSSA/MSSAMuChi.h CHANGED Viewed

@@ -30,11 +30,12 @@
 #ifndef MSSAMUCHI_H_
 #define MSSAMUCHI_H_
-#include "MSSA/MemRegion.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {
+class MemRegion;
 class MSSADEF;
 /*!

package/SVF-linux-x86_64/include/MSSA/MemPartition.h CHANGED Viewed

@@ -37,6 +37,7 @@
 #define DISNCTMRGENERATOR_H_
 #include "MSSA/MemRegion.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/MSSA/MemRegion.h CHANGED Viewed

@@ -34,8 +34,6 @@
 #ifndef MEMORYREGION_H_
 #define MEMORYREGION_H_
-#include "Graphs/ICFG.h"
-#include "Graphs/CallGraph.h"
 #include "Graphs/SCC.h"
 #include "SVFIR/SVFIR.h"
 #include "Util/WorkList.h"
@@ -47,6 +45,12 @@ namespace SVF
 class BVDataPTAImpl;
+class CallICFGNode;
+class CallGraph;
+class CallGraphSCC;
+class CallGraphNode;
 typedef NodeID MRID;
 typedef NodeID MRVERID;
 typedef NodeID MRVERSION;

package/SVF-linux-x86_64/include/MSSA/SVFGBuilder.h CHANGED Viewed

@@ -31,7 +31,7 @@
 #define ANDERSENMEMSSA_H_
 #include "MemoryModel/PointerAnalysis.h"
-#include "Graphs/SVFGOPT.h"
+#include "Graphs/SVFG.h"
 #include "Util/Options.h"
 namespace SVF

package/SVF-linux-x86_64/include/MTA/MHP.h CHANGED Viewed

@@ -32,6 +32,7 @@
 #include "MTA/TCT.h"
 #include "Util/SVFUtil.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/MTA/MTA.h CHANGED Viewed

@@ -34,11 +34,6 @@
 #ifndef MTA_H_
 #define MTA_H_
-#include <set>
-#include <vector>
-#include "SVFIR/SVFIR.h"
-#include "SVFIR/SVFValue.h"
 namespace SVF
 {
@@ -49,6 +44,7 @@ class MTAStat;
 class TCT;
 class MHP;
 class LockAnalysis;
+class SVFIR;
 /*!
  * Base data race detector

package/SVF-linux-x86_64/include/MTA/TCT.h CHANGED Viewed

@@ -30,13 +30,14 @@
 #ifndef TCTNodeDetector_H_
 #define TCTNodeDetector_H_
+#include <vector>
 #include "MemoryModel/PointerAnalysis.h"
 #include "Graphs/SCC.h"
 #include "Graphs/ThreadCallGraph.h"
 #include "Util/CxtStmt.h"
+#include "Util/GeneralType.h"
 #include "Util/SVFUtil.h"
-#include <set>
-#include <vector>
 namespace SVF
 {

package/SVF-linux-x86_64/include/MemoryModel/AbstractPointsToDS.h CHANGED Viewed

@@ -53,8 +53,6 @@
 #ifndef ABSTRACT_POINTSTO_H_
 #define ABSTRACT_POINTSTO_H_
-#include "SVFIR/SVFType.h"
 namespace SVF
 {
 /// Basic points-to data structure

package/SVF-linux-x86_64/include/MemoryModel/AccessPath.h CHANGED Viewed

@@ -33,13 +33,17 @@
 #ifndef AccessPath_H_
 #define AccessPath_H_
+#include <utility>
+#include <vector>
-#include "SVFIR/SVFValue.h"
+#include "Util/GeneralType.h"
+#include "Util/Hash.h"
 namespace SVF
 {
+class SVFStructType;
+class SVFType;
 class SVFVar;
 class ValVar;

package/SVF-linux-x86_64/include/MemoryModel/MutablePointsToDS.h CHANGED Viewed

@@ -39,7 +39,6 @@
 #include<fstream>
 #include "MemoryModel/AbstractPointsToDS.h"
-#include "SVFIR/SVFType.h"
 #include "Util/SVFUtil.h"
 namespace SVF

package/SVF-linux-x86_64/include/MemoryModel/PersistentPointsToCache.h CHANGED Viewed

@@ -19,7 +19,7 @@
 #include <vector>
 #include <functional>
-#include "SVFIR/SVFType.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/MemoryModel/PersistentPointsToDS.h CHANGED Viewed

@@ -16,7 +16,6 @@
 #include "MemoryModel/AbstractPointsToDS.h"
 #include "MemoryModel/PersistentPointsToCache.h"
-#include "MemoryModel/PointsTo.h"
 #include "Util/SVFUtil.h"
 namespace SVF

package/SVF-linux-x86_64/include/MemoryModel/PointerAnalysis.h CHANGED Viewed

@@ -34,13 +34,8 @@
 #include <signal.h>
 #include "Graphs/CHG.h"
-#include "Graphs/ThreadCallGraph.h"
+#include "Graphs/CallGraph.h"
 #include "Graphs/SCC.h"
-#include "MemoryModel/AbstractPointsToDS.h"
-#include "MemoryModel/ConditionalPT.h"
-#include "MemoryModel/MutablePointsToDS.h"
-#include "MemoryModel/PersistentPointsToDS.h"
-#include "MemoryModel/PointsTo.h"
 #include "MemoryModel/PTATY.h"
 #include "SVFIR/SVFIR.h"
@@ -48,9 +43,9 @@ namespace SVF
 {
 class CommonCHGraph;
 class ICFG;
 class PTAStat;
 /*
  * Pointer Analysis Base Class
  */

package/SVF-linux-x86_64/include/MemoryModel/PointerAnalysisImpl.h CHANGED Viewed

@@ -30,9 +30,13 @@
 #ifndef INCLUDE_MEMORYMODEL_POINTERANALYSISIMPL_H_
 #define INCLUDE_MEMORYMODEL_POINTERANALYSISIMPL_H_
-#include <Graphs/ConsG.h>
+#include "Graphs/ConsG.h"
 #include "MemoryModel/PTATY.h"
 #include "MemoryModel/PointerAnalysis.h"
+#include "MemoryModel/AbstractPointsToDS.h"
+#include "MemoryModel/MutablePointsToDS.h"
+#include "MemoryModel/PersistentPointsToDS.h"
+#include "MemoryModel/ConditionalPT.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/MemoryModel/PointsTo.h CHANGED Viewed

@@ -12,9 +12,10 @@
 #ifndef POINTSTO_H_
 #define POINTSTO_H_
+#include <memory>
 #include <vector>
-#include "SVFIR/SVFType.h"
+#include "Util/GeneralType.h"
 #include "Util/BitVector.h"
 #include "Util/CoreBitVector.h"
 #include "Util/SparseBitVector.h"

package/SVF-linux-x86_64/include/MemoryModel/SVFLoop.h CHANGED Viewed

@@ -30,11 +30,14 @@
 #ifndef SVF_SVFLOOP_H
 #define SVF_SVFLOOP_H
-#include "SVFIR/SVFType.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {
+class ICFGEdge;
+class ICFGNode;
 class SVFLoop
 {

package/SVF-linux-x86_64/include/SABER/ProgSlice.h CHANGED Viewed

@@ -40,7 +40,6 @@
 #include "SABER/SaberCondAllocator.h"
 #include "Util/WorkList.h"
 #include "Graphs/SVFG.h"
-#include "Util/DPItem.h"
 #include "Util/SVFBugReport.h"
 namespace SVF

package/SVF-linux-x86_64/include/SABER/SaberCheckerAPI.h CHANGED Viewed

@@ -30,9 +30,8 @@
 #ifndef SABERCHECKERAPI_H_
 #define SABERCHECKERAPI_H_
-#include "Util/SVFUtil.h"
 #include "Graphs/ICFGNode.h"
-#include "SVFIR/SVFVariables.h" // add header
+#include "SVFIR/SVFVariables.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/SABER/SaberSVFGBuilder.h CHANGED Viewed

@@ -30,15 +30,19 @@
 #ifndef SABERSVFGBUILDER_H_
 #define SABERSVFGBUILDER_H_
+#include "Graphs/SVFG.h"
 #include "MSSA/SVFGBuilder.h"
-#include "SVFIR/SVFValue.h"
+#include "Util/GeneralType.h"
 #include "Util/WorkList.h"
 namespace SVF
 {
+class BVDataPTAImpl;
+class CallICFGNode;
 class SaberCondAllocator;
+class ValVar;
 class SaberSVFGBuilder : public SVFGBuilder
 {

package/SVF-linux-x86_64/include/SABER/SrcSnkDDA.h CHANGED Viewed

@@ -37,7 +37,7 @@
 #ifndef SRCSNKANALYSIS_H_
 #define SRCSNKANALYSIS_H_
-#include "Graphs/SVFGOPT.h"
+#include "Graphs/SVFG.h"
 #include "SABER/ProgSlice.h"
 #include "SABER/SaberSVFGBuilder.h"
 #include "Util/GraphReachSolver.h"

package/SVF-linux-x86_64/include/SVF-LLVM/LLVMLoopAnalysis.h CHANGED Viewed

@@ -31,7 +31,6 @@
 #define SVF_LLVMLOOPANALYSIS_H
 #include "SVFIR/SVFIR.h"
-#include "MemoryModel/SVFLoop.h"
 #include "SVF-LLVM/BasicTypes.h"
 namespace SVF

package/SVF-linux-x86_64/include/SVF-LLVM/LLVMUtil.h CHANGED Viewed

@@ -38,6 +38,8 @@
 namespace SVF
 {
+class SVFBasicBlock;
 namespace LLVMUtil
 {

package/SVF-linux-x86_64/include/SVFIR/ObjTypeInfo.h CHANGED Viewed

@@ -30,12 +30,13 @@
 #ifndef INCLUDE_SVFIR_OBJTYPEINFO_H_
 #define INCLUDE_SVFIR_OBJTYPEINFO_H_
+#include "Util/GeneralType.h"
-#include "Util/SVFUtil.h"
-#include "MemoryModel/AccessPath.h"
 namespace SVF
 {
+class SVFType;
 /*!
  * Type Info of an abstract memory object
  */

package/SVF-linux-x86_64/include/SVFIR/PAGBuilderFromFile.h CHANGED Viewed

@@ -31,6 +31,7 @@
 #define INCLUDE_SVFIR_PAGBUILDERFROMFILE_H_
 #include "SVFIR/SVFIR.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {

package/SVF-linux-x86_64/include/SVFIR/SVFIR.h CHANGED Viewed

@@ -30,7 +30,10 @@
 #ifndef INCLUDE_SVFIR_H_
 #define INCLUDE_SVFIR_H_
+#include "Graphs/ICFG.h"
 #include "Graphs/IRGraph.h"
+#include "Util/GeneralType.h"
+#include "Util/SVFUtil.h"
 namespace SVF
 {
@@ -44,7 +47,6 @@ class SVFIR : public IRGraph
     friend class SVFIRBuilder;
     friend class ExternalPAG;
     friend class PAGBuilderFromFile;
-    friend class TypeBasedHeapCloning;
     friend class BVDataPTAImpl;
     friend class GraphDBClient;
     friend class GraphDBSVFIRBuilder;

package/SVF-linux-x86_64/include/SVFIR/SVFStatements.h CHANGED Viewed

@@ -33,6 +33,7 @@
 #include "Graphs/GenericGraph.h"
 #include "MemoryModel/AccessPath.h"
+#include "Util/GeneralType.h"
 namespace SVF
 {