svf-lib 1.0.2319 → 1.0.2321
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.
- package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/WorkList.h +0 -0
- package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/Modules/FindZ3.cmake +93 -0
- package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfig.cmake +106 -0
- package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +43 -0
- package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets-release.cmake +101 -0
- package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets.cmake +180 -0
- package/SVF-linux-aarch64/Release-build/lib/libSvfCore.so.3.1 +0 -0
- package/SVF-linux-aarch64/Release-build/lib/libSvfLLVM.so.3.1 +0 -0
- package/SVF-linux-aarch64/Release-build/lib/pkgconfig/SVF.pc +12 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/cfl +0 -0
- package/SVF-osx/Release-build/bin/dvf +0 -0
- package/SVF-osx/Release-build/bin/llvm2svf +0 -0
- package/SVF-osx/Release-build/bin/mta +0 -0
- package/SVF-osx/Release-build/bin/saber +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/bin/wpa +0 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/AbstractState.h +425 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/AbstractValue.h +157 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/AddressValue.h +225 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/ICFGWTO.h +135 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/IntervalValue.h +1055 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/NumericValue.h +1292 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/RelExeState.h +226 -0
- package/SVF-osx/Release-build/include/SVF/AE/Core/RelationSolver.h +91 -0
- package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AEDetector.h +439 -0
- package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AbsExtAPI.h +138 -0
- package/SVF-osx/Release-build/include/SVF/AE/Svfexe/AbstractInterpretation.h +384 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFGNormalizer.h +84 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFGrammar.h +468 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLAlias.h +168 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLBase.h +118 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLGramGraphChecker.h +74 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLGraphBuilder.h +168 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLSVFGBuilder.h +58 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLSolver.h +374 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLStat.h +67 -0
- package/SVF-osx/Release-build/include/SVF/CFL/CFLVF.h +68 -0
- package/SVF-osx/Release-build/include/SVF/CFL/GrammarBuilder.h +100 -0
- package/SVF-osx/Release-build/include/SVF/DDA/ContextDDA.h +230 -0
- package/SVF-osx/Release-build/include/SVF/DDA/DDAClient.h +163 -0
- package/SVF-osx/Release-build/include/SVF/DDA/DDAPass.h +102 -0
- package/SVF-osx/Release-build/include/SVF/DDA/DDAStat.h +121 -0
- package/SVF-osx/Release-build/include/SVF/DDA/DDAVFSolver.h +794 -0
- package/SVF-osx/Release-build/include/SVF/DDA/FlowDDA.h +178 -0
- package/SVF-osx/Release-build/include/SVF/FastCluster/fastcluster.h +80 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/BasicBlockG.h +318 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/CDG.h +482 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/CFLGraph.h +232 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/CHG.h +368 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/CallGraph.h +497 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ConsG.h +402 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ConsGEdge.h +355 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ConsGNode.h +418 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/DOTGraphTraits.h +188 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/GenericGraph.h +628 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/GraphPrinter.h +111 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/GraphTraits.h +150 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/GraphWriter.h +380 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ICFG.h +331 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ICFGEdge.h +281 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ICFGNode.h +669 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ICFGStat.h +164 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/IRGraph.h +398 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SCC.h +375 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SVFG.h +491 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SVFGEdge.h +237 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SVFGNode.h +501 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SVFGOPT.h +372 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/SVFGStat.h +273 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/ThreadCallGraph.h +399 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/VFG.h +726 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/VFGEdge.h +295 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/VFGNode.h +1266 -0
- package/SVF-osx/Release-build/include/SVF/Graphs/WTO.h +872 -0
- package/SVF-osx/Release-build/include/SVF/MSSA/MSSAMuChi.h +722 -0
- package/SVF-osx/Release-build/include/SVF/MSSA/MemPartition.h +169 -0
- package/SVF-osx/Release-build/include/SVF/MSSA/MemRegion.h +489 -0
- package/SVF-osx/Release-build/include/SVF/MSSA/MemSSA.h +452 -0
- package/SVF-osx/Release-build/include/SVF/MSSA/SVFGBuilder.h +104 -0
- package/SVF-osx/Release-build/include/SVF/MTA/LockAnalysis.h +533 -0
- package/SVF-osx/Release-build/include/SVF/MTA/MHP.h +546 -0
- package/SVF-osx/Release-build/include/SVF/MTA/MTA.h +97 -0
- package/SVF-osx/Release-build/include/SVF/MTA/MTAStat.h +73 -0
- package/SVF-osx/Release-build/include/SVF/MTA/TCT.h +620 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/AbstractPointsToDS.h +316 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/AccessPath.h +194 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/ConditionalPT.h +878 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/MutablePointsToDS.h +1025 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/PersistentPointsToCache.h +463 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/PersistentPointsToDS.h +955 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/PointerAnalysis.h +428 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/PointerAnalysisImpl.h +602 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/PointsTo.h +255 -0
- package/SVF-osx/Release-build/include/SVF/MemoryModel/SVFLoop.h +167 -0
- package/SVF-osx/Release-build/include/SVF/SABER/DoubleFreeChecker.h +76 -0
- package/SVF-osx/Release-build/include/SVF/SABER/FileChecker.h +80 -0
- package/SVF-osx/Release-build/include/SVF/SABER/LeakChecker.h +122 -0
- package/SVF-osx/Release-build/include/SVF/SABER/ProgSlice.h +327 -0
- package/SVF-osx/Release-build/include/SVF/SABER/SaberCheckerAPI.h +151 -0
- package/SVF-osx/Release-build/include/SVF/SABER/SaberCondAllocator.h +317 -0
- package/SVF-osx/Release-build/include/SVF/SABER/SaberSVFGBuilder.h +114 -0
- package/SVF-osx/Release-build/include/SVF/SABER/SrcSnkDDA.h +327 -0
- package/SVF-osx/Release-build/include/SVF/SABER/SrcSnkSolver.h +186 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/BasicTypes.h +280 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/BreakConstantExpr.h +93 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/CHGBuilder.h +78 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/CppUtil.h +184 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/DCHG.h +474 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/GEPTypeBridgeIterator.h +183 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/ICFGBuilder.h +160 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMLoopAnalysis.h +60 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMModule.h +527 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/LLVMUtil.h +433 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/ObjTypeInference.h +129 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/SVFIRBuilder.h +523 -0
- package/SVF-osx/Release-build/include/SVF/SVF-LLVM/SymbolTableBuilder.h +132 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/ObjTypeInfo.h +224 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/PAGBuilderFromFile.h +80 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/SVFIR.h +856 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/SVFStatements.h +1330 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/SVFType.h +606 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/SVFValue.h +338 -0
- package/SVF-osx/Release-build/include/SVF/SVFIR/SVFVariables.h +2212 -0
- package/SVF-osx/Release-build/include/SVF/Util/Annotator.h +180 -0
- package/SVF-osx/Release-build/include/SVF/Util/BitVector.h +55 -0
- package/SVF-osx/Release-build/include/SVF/Util/CDGBuilder.h +107 -0
- package/SVF-osx/Release-build/include/SVF/Util/CallGraphBuilder.h +61 -0
- package/SVF-osx/Release-build/include/SVF/Util/Casting.h +426 -0
- package/SVF-osx/Release-build/include/SVF/Util/CommandLine.h +530 -0
- package/SVF-osx/Release-build/include/SVF/Util/CoreBitVector.h +214 -0
- package/SVF-osx/Release-build/include/SVF/Util/CxtStmt.h +502 -0
- package/SVF-osx/Release-build/include/SVF/Util/DPItem.h +618 -0
- package/SVF-osx/Release-build/include/SVF/Util/ExtAPI.h +117 -0
- package/SVF-osx/Release-build/include/SVF/Util/GeneralType.h +127 -0
- package/SVF-osx/Release-build/include/SVF/Util/GraphReachSolver.h +186 -0
- package/SVF-osx/Release-build/include/SVF/Util/NodeIDAllocator.h +203 -0
- package/SVF-osx/Release-build/include/SVF/Util/Options.h +273 -0
- package/SVF-osx/Release-build/include/SVF/Util/PTAStat.h +83 -0
- package/SVF-osx/Release-build/include/SVF/Util/SVFBugReport.h +427 -0
- package/SVF-osx/Release-build/include/SVF/Util/SVFLoopAndDomInfo.h +169 -0
- package/SVF-osx/Release-build/include/SVF/Util/SVFStat.h +103 -0
- package/SVF-osx/Release-build/include/SVF/Util/SVFUtil.h +478 -0
- package/SVF-osx/Release-build/include/SVF/Util/SparseBitVector.h +1252 -0
- package/SVF-osx/Release-build/include/SVF/Util/ThreadAPI.h +188 -0
- package/SVF-osx/Release-build/include/SVF/Util/WorkList.h +317 -0
- package/SVF-osx/Release-build/include/SVF/Util/Z3Expr.h +325 -0
- package/SVF-osx/Release-build/include/SVF/Util/cJSON.h +300 -0
- package/SVF-osx/Release-build/include/SVF/Util/config.h +46 -0
- package/SVF-osx/Release-build/include/SVF/Util/iterator.h +407 -0
- package/SVF-osx/Release-build/include/SVF/Util/iterator_range.h +76 -0
- package/SVF-osx/Release-build/include/SVF/WPA/Andersen.h +434 -0
- package/SVF-osx/Release-build/include/SVF/WPA/AndersenPWC.h +160 -0
- package/SVF-osx/Release-build/include/SVF/WPA/CSC.h +95 -0
- package/SVF-osx/Release-build/include/SVF/WPA/FlowSensitive.h +322 -0
- package/SVF-osx/Release-build/include/SVF/WPA/Steensgaard.h +131 -0
- package/SVF-osx/Release-build/include/SVF/WPA/TypeAnalysis.h +90 -0
- package/SVF-osx/Release-build/include/SVF/WPA/VersionedFlowSensitive.h +295 -0
- package/SVF-osx/Release-build/include/SVF/WPA/WPAFSSolver.h +246 -0
- package/SVF-osx/Release-build/include/SVF/WPA/WPAPass.h +115 -0
- package/SVF-osx/Release-build/include/SVF/WPA/WPASolver.h +205 -0
- package/SVF-osx/Release-build/include/SVF/WPA/WPAStat.h +222 -0
- package/SVF-osx/Release-build/include/SVF/extapi.bc +2384 -0
- package/SVF-osx/Release-build/lib/cmake/SVF/Modules/FindZ3.cmake +93 -0
- package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfig.cmake +106 -0
- package/SVF-osx/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake +43 -0
- package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets-release.cmake +101 -0
- package/SVF-osx/Release-build/lib/cmake/SVF/SVFTargets.cmake +180 -0
- package/SVF-osx/Release-build/lib/libSvfCore.3.1.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.3.1.dylib +0 -0
- package/SVF-osx/Release-build/lib/pkgconfig/SVF.pc +12 -0
- package/package.json +1 -1
- package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PAGGrammar.txt +0 -15
- package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PEGGrammar.txt +0 -11
- package/SVF-linux-aarch64/Release-build/include/CFL/grammar/VFGGrammar.txt +0 -7
- package/SVF-linux-aarch64/Release-build/include/FastCluster/LICENSE.TXT +0 -13
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AbstractState.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AbstractValue.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/AddressValue.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/ICFGWTO.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/IntervalValue.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/NumericValue.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/RelExeState.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Core/RelationSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AEDetector.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AbsExtAPI.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{AE → SVF/AE}/Svfexe/AbstractInterpretation.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFGNormalizer.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFGrammar.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLAlias.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLBase.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLGramGraphChecker.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLGraphBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLSVFGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/CFLVF.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{CFL → SVF/CFL}/GrammarBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/ContextDDA.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAClient.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAPass.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/DDAVFSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{DDA → SVF/DDA}/FlowDDA.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{FastCluster → SVF/FastCluster}/fastcluster.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/BasicBlockG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CDG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CFLGraph.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CHG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/CallGraph.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsGEdge.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ConsGNode.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/DOTGraphTraits.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GenericGraph.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphPrinter.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphTraits.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/GraphWriter.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGEdge.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGNode.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ICFGStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/IRGraph.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SCC.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGEdge.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGNode.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGOPT.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/SVFGStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/ThreadCallGraph.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFGEdge.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/VFGNode.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Graphs → SVF/Graphs}/WTO.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MSSAMuChi.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemPartition.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemRegion.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/MemSSA.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MSSA → SVF/MSSA}/SVFGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/LockAnalysis.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MHP.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MTA.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/MTAStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MTA → SVF/MTA}/TCT.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AbstractPointsToDS.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/AccessPath.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/ConditionalPT.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/MutablePointsToDS.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToCache.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PersistentPointsToDS.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysis.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointerAnalysisImpl.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/PointsTo.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{MemoryModel → SVF/MemoryModel}/SVFLoop.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/DoubleFreeChecker.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/FileChecker.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/LeakChecker.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/ProgSlice.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberCheckerAPI.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberCondAllocator.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SaberSVFGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SrcSnkDDA.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SABER → SVF/SABER}/SrcSnkSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BasicTypes.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/BreakConstantExpr.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CHGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/CppUtil.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/DCHG.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/GEPTypeBridgeIterator.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ICFGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMLoopAnalysis.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMModule.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/LLVMUtil.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/ObjTypeInference.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SVFIRBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVF-LLVM → SVF/SVF-LLVM}/SymbolTableBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/ObjTypeInfo.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/PAGBuilderFromFile.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFIR.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFStatements.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFType.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFValue.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{SVFIR → SVF/SVFIR}/SVFVariables.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Annotator.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/BitVector.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CDGBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CallGraphBuilder.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Casting.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CommandLine.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CoreBitVector.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/CxtStmt.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/DPItem.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/ExtAPI.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/GeneralType.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/GraphReachSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/NodeIDAllocator.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Options.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/PTAStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFBugReport.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFLoopAndDomInfo.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SVFUtil.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/SparseBitVector.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/ThreadAPI.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/Z3Expr.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/cJSON.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/iterator.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{Util → SVF/Util}/iterator_range.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/Andersen.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/AndersenPWC.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/CSC.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/FlowSensitive.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/Steensgaard.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/TypeAnalysis.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/VersionedFlowSensitive.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAFSSolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAPass.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPASolver.h +0 -0
- /package/SVF-linux-aarch64/Release-build/include/{WPA → SVF/WPA}/WPAStat.h +0 -0
- /package/SVF-linux-aarch64/Release-build/{lib → include/SVF}/extapi.bc +0 -0
|
@@ -0,0 +1,407 @@
|
|
|
1
|
+
//===- iterator.h - Utilities for using and defining iterators --*- C++ -*-===//
|
|
2
|
+
//
|
|
3
|
+
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
4
|
+
// See https://llvm.org/LICENSE.txt for license information.
|
|
5
|
+
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
6
|
+
//
|
|
7
|
+
//===----------------------------------------------------------------------===//
|
|
8
|
+
|
|
9
|
+
#ifndef UTIL_ITERATOR_H
|
|
10
|
+
#define UTIL_ITERATOR_H
|
|
11
|
+
|
|
12
|
+
#include "Util/iterator_range.h"
|
|
13
|
+
#include <cstddef>
|
|
14
|
+
#include <iterator>
|
|
15
|
+
#include <type_traits>
|
|
16
|
+
#include <utility>
|
|
17
|
+
|
|
18
|
+
namespace SVF
|
|
19
|
+
{
|
|
20
|
+
|
|
21
|
+
/// CRTP base class which implements the entire standard iterator facade
|
|
22
|
+
/// in terms of a minimal subset of the interface.
|
|
23
|
+
///
|
|
24
|
+
/// Use this when it is reasonable to implement most of the iterator
|
|
25
|
+
/// functionality in terms of a core subset. If you need special behavior or
|
|
26
|
+
/// there are performance implications for this, you may want to override the
|
|
27
|
+
/// relevant members instead.
|
|
28
|
+
///
|
|
29
|
+
/// Note, one abstraction that this does *not* provide is implementing
|
|
30
|
+
/// subtraction in terms of addition by negating the difference. Negation isn't
|
|
31
|
+
/// always information preserving, and I can see very reasonable iterator
|
|
32
|
+
/// designs where this doesn't work well. It doesn't really force much added
|
|
33
|
+
/// boilerplate anyways.
|
|
34
|
+
///
|
|
35
|
+
/// Another abstraction that this doesn't provide is implementing increment in
|
|
36
|
+
/// terms of addition of one. These aren't equivalent for all iterator
|
|
37
|
+
/// categories, and respecting that adds a lot of complexity for little gain.
|
|
38
|
+
///
|
|
39
|
+
/// Classes wishing to use `iter_facade_base` should implement the following
|
|
40
|
+
/// methods:
|
|
41
|
+
///
|
|
42
|
+
/// Forward Iterators:
|
|
43
|
+
/// (All of the following methods)
|
|
44
|
+
/// - DerivedT &operator=(const DerivedT &R);
|
|
45
|
+
/// - bool operator==(const DerivedT &R) const;
|
|
46
|
+
/// - const T &operator*() const;
|
|
47
|
+
/// - T &operator*();
|
|
48
|
+
/// - DerivedT &operator++();
|
|
49
|
+
///
|
|
50
|
+
/// Bidirectional Iterators:
|
|
51
|
+
/// (All methods of forward iterators, plus the following)
|
|
52
|
+
/// - DerivedT &operator--();
|
|
53
|
+
///
|
|
54
|
+
/// Random-access Iterators:
|
|
55
|
+
/// (All methods of bidirectional iterators excluding the following)
|
|
56
|
+
/// - DerivedT &operator++();
|
|
57
|
+
/// - DerivedT &operator--();
|
|
58
|
+
/// (and plus the following)
|
|
59
|
+
/// - bool operator<(const DerivedT &RHS) const;
|
|
60
|
+
/// - DifferenceTypeT operator-(const DerivedT &R) const;
|
|
61
|
+
/// - DerivedT &operator+=(DifferenceTypeT N);
|
|
62
|
+
/// - DerivedT &operator-=(DifferenceTypeT N);
|
|
63
|
+
///
|
|
64
|
+
template <typename DerivedT, typename IteratorCategoryT, typename T,
|
|
65
|
+
typename DifferenceTypeT = std::ptrdiff_t, typename PointerT = T *,
|
|
66
|
+
typename ReferenceT = T &>
|
|
67
|
+
class iter_facade_base
|
|
68
|
+
{
|
|
69
|
+
public:
|
|
70
|
+
using iterator_category = IteratorCategoryT;
|
|
71
|
+
using value_type = T;
|
|
72
|
+
using difference_type = DifferenceTypeT;
|
|
73
|
+
using pointer = PointerT;
|
|
74
|
+
using reference = ReferenceT;
|
|
75
|
+
|
|
76
|
+
protected:
|
|
77
|
+
enum
|
|
78
|
+
{
|
|
79
|
+
IsRandomAccess = std::is_base_of<std::random_access_iterator_tag,
|
|
80
|
+
IteratorCategoryT>::value,
|
|
81
|
+
IsBidirectional = std::is_base_of<std::bidirectional_iterator_tag,
|
|
82
|
+
IteratorCategoryT>::value,
|
|
83
|
+
};
|
|
84
|
+
|
|
85
|
+
/// A proxy object for computing a reference via indirecting a copy of an
|
|
86
|
+
/// iterator. This is used in APIs which need to produce a reference via
|
|
87
|
+
/// indirection but for which the iterator object might be a temporary. The
|
|
88
|
+
/// proxy preserves the iterator internally and exposes the indirected
|
|
89
|
+
/// reference via a conversion operator.
|
|
90
|
+
class ReferenceProxy
|
|
91
|
+
{
|
|
92
|
+
friend iter_facade_base;
|
|
93
|
+
|
|
94
|
+
DerivedT I;
|
|
95
|
+
|
|
96
|
+
ReferenceProxy(DerivedT I) : I(std::move(I)) {}
|
|
97
|
+
|
|
98
|
+
public:
|
|
99
|
+
operator ReferenceT() const
|
|
100
|
+
{
|
|
101
|
+
return *I;
|
|
102
|
+
}
|
|
103
|
+
};
|
|
104
|
+
|
|
105
|
+
public:
|
|
106
|
+
DerivedT operator+(DifferenceTypeT n) const
|
|
107
|
+
{
|
|
108
|
+
static_assert(std::is_base_of<iter_facade_base, DerivedT>::value,
|
|
109
|
+
"Must pass the derived type to this template!");
|
|
110
|
+
static_assert(
|
|
111
|
+
IsRandomAccess,
|
|
112
|
+
"The '+' operator is only defined for random access iterators.");
|
|
113
|
+
DerivedT tmp = *static_cast<const DerivedT *>(this);
|
|
114
|
+
tmp += n;
|
|
115
|
+
return tmp;
|
|
116
|
+
}
|
|
117
|
+
friend DerivedT operator+(DifferenceTypeT n, const DerivedT &i)
|
|
118
|
+
{
|
|
119
|
+
static_assert(
|
|
120
|
+
IsRandomAccess,
|
|
121
|
+
"The '+' operator is only defined for random access iterators.");
|
|
122
|
+
return i + n;
|
|
123
|
+
}
|
|
124
|
+
DerivedT operator-(DifferenceTypeT n) const
|
|
125
|
+
{
|
|
126
|
+
static_assert(
|
|
127
|
+
IsRandomAccess,
|
|
128
|
+
"The '-' operator is only defined for random access iterators.");
|
|
129
|
+
DerivedT tmp = *static_cast<const DerivedT *>(this);
|
|
130
|
+
tmp -= n;
|
|
131
|
+
return tmp;
|
|
132
|
+
}
|
|
133
|
+
|
|
134
|
+
DerivedT &operator++()
|
|
135
|
+
{
|
|
136
|
+
static_assert(std::is_base_of<iter_facade_base, DerivedT>::value,
|
|
137
|
+
"Must pass the derived type to this template!");
|
|
138
|
+
return static_cast<DerivedT *>(this)->operator+=(1);
|
|
139
|
+
}
|
|
140
|
+
DerivedT operator++(int)
|
|
141
|
+
{
|
|
142
|
+
DerivedT tmp = *static_cast<DerivedT *>(this);
|
|
143
|
+
++*static_cast<DerivedT *>(this);
|
|
144
|
+
return tmp;
|
|
145
|
+
}
|
|
146
|
+
DerivedT &operator--()
|
|
147
|
+
{
|
|
148
|
+
static_assert(
|
|
149
|
+
IsBidirectional,
|
|
150
|
+
"The decrement operator is only defined for bidirectional iterators.");
|
|
151
|
+
return static_cast<DerivedT *>(this)->operator-=(1);
|
|
152
|
+
}
|
|
153
|
+
DerivedT operator--(int)
|
|
154
|
+
{
|
|
155
|
+
static_assert(
|
|
156
|
+
IsBidirectional,
|
|
157
|
+
"The decrement operator is only defined for bidirectional iterators.");
|
|
158
|
+
DerivedT tmp = *static_cast<DerivedT *>(this);
|
|
159
|
+
--*static_cast<DerivedT *>(this);
|
|
160
|
+
return tmp;
|
|
161
|
+
}
|
|
162
|
+
|
|
163
|
+
#ifndef __cpp_impl_three_way_comparison
|
|
164
|
+
bool operator!=(const DerivedT &RHS) const
|
|
165
|
+
{
|
|
166
|
+
return !(static_cast<const DerivedT &>(*this) == RHS);
|
|
167
|
+
}
|
|
168
|
+
#endif
|
|
169
|
+
|
|
170
|
+
bool operator>(const DerivedT &RHS) const
|
|
171
|
+
{
|
|
172
|
+
static_assert(
|
|
173
|
+
IsRandomAccess,
|
|
174
|
+
"Relational operators are only defined for random access iterators.");
|
|
175
|
+
return !(static_cast<const DerivedT &>(*this) < RHS) &&
|
|
176
|
+
!(static_cast<const DerivedT &>(*this) == RHS);
|
|
177
|
+
}
|
|
178
|
+
bool operator<=(const DerivedT &RHS) const
|
|
179
|
+
{
|
|
180
|
+
static_assert(
|
|
181
|
+
IsRandomAccess,
|
|
182
|
+
"Relational operators are only defined for random access iterators.");
|
|
183
|
+
return !(static_cast<const DerivedT &>(*this) > RHS);
|
|
184
|
+
}
|
|
185
|
+
bool operator>=(const DerivedT &RHS) const
|
|
186
|
+
{
|
|
187
|
+
static_assert(
|
|
188
|
+
IsRandomAccess,
|
|
189
|
+
"Relational operators are only defined for random access iterators.");
|
|
190
|
+
return !(static_cast<const DerivedT &>(*this) < RHS);
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
PointerT operator->()
|
|
194
|
+
{
|
|
195
|
+
return &static_cast<DerivedT *>(this)->operator*();
|
|
196
|
+
}
|
|
197
|
+
PointerT operator->() const
|
|
198
|
+
{
|
|
199
|
+
return &static_cast<const DerivedT *>(this)->operator*();
|
|
200
|
+
}
|
|
201
|
+
ReferenceProxy operator[](DifferenceTypeT n)
|
|
202
|
+
{
|
|
203
|
+
static_assert(IsRandomAccess,
|
|
204
|
+
"Subscripting is only defined for random access iterators.");
|
|
205
|
+
return ReferenceProxy(static_cast<DerivedT *>(this)->operator+(n));
|
|
206
|
+
}
|
|
207
|
+
ReferenceProxy operator[](DifferenceTypeT n) const
|
|
208
|
+
{
|
|
209
|
+
static_assert(IsRandomAccess,
|
|
210
|
+
"Subscripting is only defined for random access iterators.");
|
|
211
|
+
return ReferenceProxy(static_cast<const DerivedT *>(this)->operator+(n));
|
|
212
|
+
}
|
|
213
|
+
};
|
|
214
|
+
|
|
215
|
+
/// CRTP base class for adapting an iterator to a different type.
|
|
216
|
+
///
|
|
217
|
+
/// This class can be used through CRTP to adapt one iterator into another.
|
|
218
|
+
/// Typically this is done through providing in the derived class a custom \c
|
|
219
|
+
/// operator* implementation. Other methods can be overridden as well.
|
|
220
|
+
template <
|
|
221
|
+
typename DerivedT, typename WrappedIteratorT,
|
|
222
|
+
typename IteratorCategoryT =
|
|
223
|
+
typename std::iterator_traits<WrappedIteratorT>::iterator_category,
|
|
224
|
+
typename T = typename std::iterator_traits<WrappedIteratorT>::value_type,
|
|
225
|
+
typename DifferenceTypeT =
|
|
226
|
+
typename std::iterator_traits<WrappedIteratorT>::difference_type,
|
|
227
|
+
typename PointerT = std::conditional_t<
|
|
228
|
+
std::is_same<T, typename std::iterator_traits<
|
|
229
|
+
WrappedIteratorT>::value_type>::value,
|
|
230
|
+
typename std::iterator_traits<WrappedIteratorT>::pointer, T *>,
|
|
231
|
+
typename ReferenceT = std::conditional_t<
|
|
232
|
+
std::is_same<T, typename std::iterator_traits<
|
|
233
|
+
WrappedIteratorT>::value_type>::value,
|
|
234
|
+
typename std::iterator_traits<WrappedIteratorT>::reference, T &>>
|
|
235
|
+
class iter_adaptor_base
|
|
236
|
+
: public iter_facade_base<DerivedT, IteratorCategoryT, T,
|
|
237
|
+
DifferenceTypeT, PointerT, ReferenceT>
|
|
238
|
+
{
|
|
239
|
+
using BaseT = typename iter_adaptor_base::iter_facade_base;
|
|
240
|
+
|
|
241
|
+
protected:
|
|
242
|
+
WrappedIteratorT I;
|
|
243
|
+
|
|
244
|
+
iter_adaptor_base() = default;
|
|
245
|
+
|
|
246
|
+
explicit iter_adaptor_base(WrappedIteratorT u) : I(std::move(u))
|
|
247
|
+
{
|
|
248
|
+
static_assert(std::is_base_of<iter_adaptor_base, DerivedT>::value,
|
|
249
|
+
"Must pass the derived type to this template!");
|
|
250
|
+
}
|
|
251
|
+
|
|
252
|
+
const WrappedIteratorT &wrapped() const
|
|
253
|
+
{
|
|
254
|
+
return I;
|
|
255
|
+
}
|
|
256
|
+
|
|
257
|
+
public:
|
|
258
|
+
using difference_type = DifferenceTypeT;
|
|
259
|
+
|
|
260
|
+
DerivedT &operator+=(difference_type n)
|
|
261
|
+
{
|
|
262
|
+
static_assert(
|
|
263
|
+
BaseT::IsRandomAccess,
|
|
264
|
+
"The '+=' operator is only defined for random access iterators.");
|
|
265
|
+
I += n;
|
|
266
|
+
return *static_cast<DerivedT *>(this);
|
|
267
|
+
}
|
|
268
|
+
DerivedT &operator-=(difference_type n)
|
|
269
|
+
{
|
|
270
|
+
static_assert(
|
|
271
|
+
BaseT::IsRandomAccess,
|
|
272
|
+
"The '-=' operator is only defined for random access iterators.");
|
|
273
|
+
I -= n;
|
|
274
|
+
return *static_cast<DerivedT *>(this);
|
|
275
|
+
}
|
|
276
|
+
using BaseT::operator-;
|
|
277
|
+
difference_type operator-(const DerivedT &RHS) const
|
|
278
|
+
{
|
|
279
|
+
static_assert(
|
|
280
|
+
BaseT::IsRandomAccess,
|
|
281
|
+
"The '-' operator is only defined for random access iterators.");
|
|
282
|
+
return I - RHS.I;
|
|
283
|
+
}
|
|
284
|
+
|
|
285
|
+
// We have to explicitly provide ++ and -- rather than letting the facade
|
|
286
|
+
// forward to += because WrappedIteratorT might not support +=.
|
|
287
|
+
using BaseT::operator++;
|
|
288
|
+
DerivedT &operator++()
|
|
289
|
+
{
|
|
290
|
+
++I;
|
|
291
|
+
return *static_cast<DerivedT *>(this);
|
|
292
|
+
}
|
|
293
|
+
using BaseT::operator--;
|
|
294
|
+
DerivedT &operator--()
|
|
295
|
+
{
|
|
296
|
+
static_assert(
|
|
297
|
+
BaseT::IsBidirectional,
|
|
298
|
+
"The decrement operator is only defined for bidirectional iterators.");
|
|
299
|
+
--I;
|
|
300
|
+
return *static_cast<DerivedT *>(this);
|
|
301
|
+
}
|
|
302
|
+
|
|
303
|
+
friend bool operator==(const iter_adaptor_base &LHS,
|
|
304
|
+
const iter_adaptor_base &RHS)
|
|
305
|
+
{
|
|
306
|
+
return LHS.I == RHS.I;
|
|
307
|
+
}
|
|
308
|
+
friend bool operator<(const iter_adaptor_base &LHS,
|
|
309
|
+
const iter_adaptor_base &RHS)
|
|
310
|
+
{
|
|
311
|
+
static_assert(
|
|
312
|
+
BaseT::IsRandomAccess,
|
|
313
|
+
"Relational operators are only defined for random access iterators.");
|
|
314
|
+
return LHS.I < RHS.I;
|
|
315
|
+
}
|
|
316
|
+
|
|
317
|
+
ReferenceT operator*() const
|
|
318
|
+
{
|
|
319
|
+
return *I;
|
|
320
|
+
}
|
|
321
|
+
};
|
|
322
|
+
|
|
323
|
+
/// An iterator type that allows iterating over the pointees via some
|
|
324
|
+
/// other iterator.
|
|
325
|
+
///
|
|
326
|
+
/// The typical usage of this is to expose a type that iterates over Ts, but
|
|
327
|
+
/// which is implemented with some iterator over T*s:
|
|
328
|
+
///
|
|
329
|
+
/// \code
|
|
330
|
+
/// using iterator = pointee_iter<SmallVectorImpl<T *>::iterator>;
|
|
331
|
+
/// \endcode
|
|
332
|
+
template <typename WrappedIteratorT,
|
|
333
|
+
typename T = std::remove_reference_t<decltype(
|
|
334
|
+
**std::declval<WrappedIteratorT>())>>
|
|
335
|
+
struct pointee_iter
|
|
336
|
+
: iter_adaptor_base<
|
|
337
|
+
pointee_iter<WrappedIteratorT, T>, WrappedIteratorT,
|
|
338
|
+
typename std::iterator_traits<WrappedIteratorT>::iterator_category,
|
|
339
|
+
T>
|
|
340
|
+
{
|
|
341
|
+
pointee_iter() = default;
|
|
342
|
+
template <typename U>
|
|
343
|
+
pointee_iter(U &&u)
|
|
344
|
+
: pointee_iter::iter_adaptor_base(std::forward<U &&>(u)) {}
|
|
345
|
+
|
|
346
|
+
T &operator*() const
|
|
347
|
+
{
|
|
348
|
+
return **this->I;
|
|
349
|
+
}
|
|
350
|
+
};
|
|
351
|
+
|
|
352
|
+
template <typename RangeT, typename WrappedIteratorT =
|
|
353
|
+
decltype(std::begin(std::declval<RangeT>()))>
|
|
354
|
+
iter_range<pointee_iter<WrappedIteratorT>>
|
|
355
|
+
make_pointee_range(RangeT &&Range)
|
|
356
|
+
{
|
|
357
|
+
using PointeeIteratorT = pointee_iter<WrappedIteratorT>;
|
|
358
|
+
return make_range(PointeeIteratorT(std::begin(std::forward<RangeT>(Range))),
|
|
359
|
+
PointeeIteratorT(std::end(std::forward<RangeT>(Range))));
|
|
360
|
+
}
|
|
361
|
+
|
|
362
|
+
template <typename WrappedIteratorT,
|
|
363
|
+
typename T = decltype(&*std::declval<WrappedIteratorT>())>
|
|
364
|
+
class pointer_iterator
|
|
365
|
+
: public iter_adaptor_base<
|
|
366
|
+
pointer_iterator<WrappedIteratorT, T>, WrappedIteratorT,
|
|
367
|
+
typename std::iterator_traits<WrappedIteratorT>::iterator_category,
|
|
368
|
+
T>
|
|
369
|
+
{
|
|
370
|
+
mutable T Ptr;
|
|
371
|
+
|
|
372
|
+
public:
|
|
373
|
+
pointer_iterator() = default;
|
|
374
|
+
|
|
375
|
+
explicit pointer_iterator(WrappedIteratorT u)
|
|
376
|
+
: pointer_iterator::iter_adaptor_base(std::move(u)) {}
|
|
377
|
+
|
|
378
|
+
T &operator*()
|
|
379
|
+
{
|
|
380
|
+
return Ptr = &*this->I;
|
|
381
|
+
}
|
|
382
|
+
const T &operator*() const
|
|
383
|
+
{
|
|
384
|
+
return Ptr = &*this->I;
|
|
385
|
+
}
|
|
386
|
+
};
|
|
387
|
+
|
|
388
|
+
template <typename RangeT, typename WrappedIteratorT =
|
|
389
|
+
decltype(std::begin(std::declval<RangeT>()))>
|
|
390
|
+
iter_range<pointer_iterator<WrappedIteratorT>>
|
|
391
|
+
make_pointer_range(RangeT &&Range)
|
|
392
|
+
{
|
|
393
|
+
using PointerIteratorT = pointer_iterator<WrappedIteratorT>;
|
|
394
|
+
return make_range(PointerIteratorT(std::begin(std::forward<RangeT>(Range))),
|
|
395
|
+
PointerIteratorT(std::end(std::forward<RangeT>(Range))));
|
|
396
|
+
}
|
|
397
|
+
|
|
398
|
+
template <typename WrappedIteratorT,
|
|
399
|
+
typename T1 = std::remove_reference_t<decltype(
|
|
400
|
+
**std::declval<WrappedIteratorT>())>,
|
|
401
|
+
typename T2 = std::add_pointer_t<T1>>
|
|
402
|
+
using raw_pointer_iterator =
|
|
403
|
+
pointer_iterator<pointee_iter<WrappedIteratorT, T1>, T2>;
|
|
404
|
+
|
|
405
|
+
} // end namespace llvm
|
|
406
|
+
|
|
407
|
+
#endif // LLVM_ADT_ITERATOR_H
|
|
@@ -0,0 +1,76 @@
|
|
|
1
|
+
//===- iter_range.h - A range adaptor for iterators ---------*- C++ -*-===//
|
|
2
|
+
//
|
|
3
|
+
// From the LLVM Project with some modifications, under the Apache License v2.0
|
|
4
|
+
// with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.
|
|
5
|
+
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
6
|
+
//
|
|
7
|
+
//===----------------------------------------------------------------------===//
|
|
8
|
+
/// \file
|
|
9
|
+
/// This provides a very simple, boring adaptor for a begin and end iterator
|
|
10
|
+
/// into a range type. This should be used to build range views that work well
|
|
11
|
+
/// with range based for loops and range based constructors.
|
|
12
|
+
///
|
|
13
|
+
/// Note that code here follows more standards-based coding conventions as it
|
|
14
|
+
/// is mirroring proposed interfaces for standardization.
|
|
15
|
+
///
|
|
16
|
+
//===----------------------------------------------------------------------===//
|
|
17
|
+
|
|
18
|
+
#ifndef UTIL_ITERATOR_RANGE_H
|
|
19
|
+
#define UTIL_ITERATOR_RANGE_H
|
|
20
|
+
|
|
21
|
+
#include <utility>
|
|
22
|
+
|
|
23
|
+
namespace SVF
|
|
24
|
+
{
|
|
25
|
+
|
|
26
|
+
/// A range adaptor for a pair of iterators.
|
|
27
|
+
///
|
|
28
|
+
/// This just wraps two iterators into a range-compatible interface. Nothing
|
|
29
|
+
/// fancy at all.
|
|
30
|
+
template <typename IteratorT>
|
|
31
|
+
class iter_range
|
|
32
|
+
{
|
|
33
|
+
IteratorT begin_iterator, end_iterator;
|
|
34
|
+
|
|
35
|
+
public:
|
|
36
|
+
//TODO: Add SFINAE to test that the Container's iterators match the range's
|
|
37
|
+
// iterators.
|
|
38
|
+
template <typename Container>
|
|
39
|
+
iter_range(Container &&c)
|
|
40
|
+
//TODO: Consider ADL/non-member begin/end calls.
|
|
41
|
+
: begin_iterator(c.begin()), end_iterator(c.end()) {}
|
|
42
|
+
iter_range(IteratorT begin_iterator, IteratorT end_iterator)
|
|
43
|
+
: begin_iterator(std::move(begin_iterator)),
|
|
44
|
+
end_iterator(std::move(end_iterator)) {}
|
|
45
|
+
|
|
46
|
+
IteratorT begin() const
|
|
47
|
+
{
|
|
48
|
+
return begin_iterator;
|
|
49
|
+
}
|
|
50
|
+
IteratorT end() const
|
|
51
|
+
{
|
|
52
|
+
return end_iterator;
|
|
53
|
+
}
|
|
54
|
+
bool empty() const
|
|
55
|
+
{
|
|
56
|
+
return begin_iterator == end_iterator;
|
|
57
|
+
}
|
|
58
|
+
};
|
|
59
|
+
|
|
60
|
+
/// Convenience function for iterating over sub-ranges.
|
|
61
|
+
///
|
|
62
|
+
/// This provides a bit of syntactic sugar to make using sub-ranges
|
|
63
|
+
/// in for loops a bit easier. Analogous to std::make_pair().
|
|
64
|
+
template <class T> iter_range<T> make_range(T x, T y)
|
|
65
|
+
{
|
|
66
|
+
return iter_range<T>(std::move(x), std::move(y));
|
|
67
|
+
}
|
|
68
|
+
|
|
69
|
+
template <typename T> iter_range<T> make_range(std::pair<T, T> p)
|
|
70
|
+
{
|
|
71
|
+
return iter_range<T>(std::move(p.first), std::move(p.second));
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
#endif
|