MCPcopy Create free account

hub / github.com/SVF-tools/SVF / functions

Functions5,116 in github.com/SVF-tools/SVF

⨍ Functions 5,116◇ Types & classes 678
MethodOptions
svf/include/Util/Options.h:19
MethodPAGBuilderFromFile
Constructor
svf/include/SVFIR/PAGBuilderFromFile.h:49
MethodPHIVFGNode
svf/lib/Graphs/VFG.cpp:412
MethodPOCRAlias
svf/include/CFL/CFLAlias.h:149
MethodPOCRHybrid
svf/include/CFL/CFLAlias.h:159
MethodPOCRHybridSolver
svf/include/CFL/CFLSolver.h:347
MethodPOCRSolver
svf/include/CFL/CFLSolver.h:269
MethodPTAName
svf/include/DDA/FlowDDA.h:167
MethodPTAName
svf/include/DDA/ContextDDA.h:217
MethodPTAName
Get PTA name
svf/include/WPA/Andersen.h:381
MethodPTAName
Get PTA name
svf/include/WPA/FlowSensitive.h:116
MethodPTAName
Get PTA name
svf/include/WPA/VersionedFlowSensitive.h:62
MethodPTAStat
svf/lib/Util/PTAStat.cpp:39
MethodPTData
svf/include/MemoryModel/AbstractPointsToDS.h:96
MethodPWCDetect
! * Call the PWC stride calculation method of class CSC. */
svf/lib/WPA/AndersenSFR.cpp:59
MethodPWCDetect
! * */
svf/lib/WPA/AndersenSCD.cpp:126
MethodPartialBufferOverflowBug
svf/include/Util/SVFBugReport.h:163
MethodPartialLeakBug
svf/include/Util/SVFBugReport.h:195
MethodPartialNullPtrDereferenceBug
svf/include/Util/SVFBugReport.h:275
MethodPersistentDFPTData
svf/include/MemoryModel/PersistentPointsToDS.h:346
MethodPersistentDiffPTData
Constructor
svf/include/MemoryModel/PersistentPointsToDS.h:212
MethodPersistentIncDFPTData
Constructor
svf/include/MemoryModel/PersistentPointsToDS.h:594
MethodPersistentPTData
Constructor
svf/include/MemoryModel/PersistentPointsToDS.h:48
MethodPersistentPointsToCache
svf/include/MemoryModel/PersistentPointsToCache.h:46
MethodPersistentVersionedPTData
svf/include/MemoryModel/PersistentPointsToDS.h:815
MethodPhiStmt
constructor
svf/include/SVFIR/SVFStatements.h:944
MethodPointerAnalysis
! * Constructor */
svf/lib/MemoryModel/PointerAnalysis.cpp:68
MethodPointsTo
svf/lib/MemoryModel/PointsTo.cpp:25
MethodPointsToIterator
svf/lib/MemoryModel/PointsTo.cpp:389
MethodPointsToIterator
Deleted because we don't want iterators with null pt.
svf/include/MemoryModel/PointsTo.h:191
MethodPrintAliasPairs
svf/lib/WPA/WPAPass.cpp:132
MethodPrintGraph
svf/include/Graphs/GraphPrinter.h:79
MethodProgSlice
Constructor
svf/include/SABER/ProgSlice.h:65
MethodRSY_time
svf-llvm/tools/AE/ae.cpp:71
MethodReferenceProxy
svf/include/Util/iterator.h:96
MethodRelExeState
svf/include/AE/Core/RelExeState.h:52
MethodRelationSolver
svf/include/AE/Core/RelationSolver.h:41
MethodRenameChiSet
Rename chi set
svf/include/MSSA/MemSSA.h:260
MethodRenameMuSet
Rename mus, chis and phis @{ Rename mu set
svf/include/MSSA/MemSSA.h:249
MethodRenamePhiOps
Rename operands (RHS) of phis
svf/include/MSSA/MemSSA.h:285
MethodRenamePhiRes
Rename result (LHS) of phis
svf/include/MSSA/MemSSA.h:273
MethodRetCFGEdge
Constructor
svf/include/Graphs/ICFGEdge.h:236
MethodRetDirSVFGEdge
Constructor
svf/include/Graphs/VFGEdge.h:261
MethodRetICFGNode
svf/include/Graphs/ICFGNode.h:608
MethodRetIndSVFGEdge
svf/include/Graphs/SVFGEdge.h:171
MethodRetMU
Constructor/Destructor for MU @{
svf/include/MSSA/MSSAMuChi.h:284
MethodRetPE
svf/lib/SVFIR/SVFStatements.cpp:516
MethodRetValPN
svf/lib/SVFIR/SVFVariables.cpp:216
MethodSCCDetection
svf/include/Graphs/SCC.h:119
MethodSSARename
! * SSA construction algorithm */
svf/lib/MSSA/MemSSA.cpp:250
MethodSSARenameBB
! * Renaming for each memory regions * See the renaming algorithm in book Engineering A Compiler (Figure 9.12) */
svf/lib/MSSA/MemSSA.cpp:263
MethodSVFArrayType
svf/include/SVFIR/SVFType.h:491
MethodSVFBasicBlock
Constructor without name
svf/include/Graphs/BasicBlockG.h:115
MethodSVFBugEvent
svf/include/Util/SVFBugReport.h:68
MethodSVFBugReport
svf/include/Util/SVFBugReport.h:291
MethodSVFFunctionType
svf/include/SVFIR/SVFType.h:394
MethodSVFG
! * Constructor */
svf/lib/Graphs/SVFG.cpp:204
MethodSVFGBuilder
Constructor
svf/include/MSSA/SVFGBuilder.h:53
MethodSVFGOPT
Constructor
svf/include/Graphs/SVFGOPT.h:64
MethodSVFGSCCDetection
SVFG SCC detection
svf/include/DDA/DDAVFSolver.h:603
MethodSVFGStat
! * Constructor */
svf/lib/Graphs/SVFGStat.cpp:136
MethodSVFIR
svf/lib/SVFIR/SVFIR.cpp:42
MethodSVFIRBuilder
Constructor
svf-llvm/include/SVF-LLVM/SVFIRBuilder.h:58
MethodSVFIntegerType
svf/include/SVFIR/SVFType.h:351
MethodSVFLoop
svf/include/MemoryModel/SVFLoop.h:49
MethodSVFLoopAndDomInfo
svf/include/Util/SVFLoopAndDomInfo.h:96
MethodSVFOtherType
svf/include/SVFIR/SVFType.h:535
MethodSVFPointerType
svf/include/SVFIR/SVFType.h:323
MethodSVFStat
svf/lib/Util/SVFStat.cpp:42
MethodSVFStmt
! * SVFStmt constructor */
svf/lib/SVFIR/SVFStatements.cpp:48
MethodSVFStmt
Private constructor for reading SVFIR from file without side-effect
svf/include/SVFIR/SVFStatements.h:90
MethodSVFStructType
svf/include/SVFIR/SVFType.h:443
MethodSVFType
svf/include/SVFIR/SVFType.h:244
MethodSVFValue
svf/include/SVFIR/SVFValue.h:157
MethodSVFVar
! * SVFVar constructor */
svf/lib/SVFIR/SVFVariables.cpp:44
MethodSaberCheckerAPI
Constructor
svf/include/SABER/SaberCheckerAPI.h:65
MethodSaberCondAllocator
svf/lib/SABER/SaberCondAllocator.cpp:51
MethodSaberSVFGBuilder
Constructor
svf/include/SABER/SaberSVFGBuilder.h:52
MethodSelectStmt
svf/lib/SVFIR/SVFStatements.cpp:536
MethodSemiSparseAbstractInterpretation
svf/include/AE/Svfexe/SparseAbstractInterpretation.h:46
MethodSparseBitVector
svf/include/Util/SparseBitVector.h:715
MethodSparseBitVectorElement
svf/include/Util/SparseBitVector.h:279
MethodSparseBitVectorIterator
svf/include/Util/SparseBitVector.h:660
MethodSrcSnkDDA
Constructor
svf/include/SABER/SrcSnkDDA.h:85
MethodSrcSnkSolver
Constructor
svf/include/SABER/SrcSnkSolver.h:65
MethodStInfo
svf/include/SVFIR/SVFType.h:53
MethodStackObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:957
MethodSteensgaard
Constructor
svf/include/WPA/Steensgaard.h:28
MethodStmtDPItem
Constructor
svf/include/Util/DPItem.h:140
MethodStmtVFGNode
Constructor
svf/include/Graphs/VFGNode.h:135
MethodStoreCGEdge
constructor
svf/include/Graphs/ConsGEdge.h:182
MethodStoreCHI
Constructors for StoreCHI @{
svf/include/MSSA/MSSAMuChi.h:469
MethodStoreStmt
svf/lib/SVFIR/SVFStatements.cpp:498
MethodStoreVFGNode
Constructor
svf/include/Graphs/VFGNode.h:270
FunctionSyGetmem
svf-llvm/lib/extapi.c:853
MethodSymblicAbstractionTest
svf-llvm/tools/AE/ae.cpp:57
MethodSymbol
Default Value for Symbol is 0.
svf/include/CFL/CFGrammar.h:49
MethodSymbolTableBuilder
Constructor
svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h:52
MethodTCT
Constructor
svf/include/MTA/TCT.h:174
MethodTCTEdge
Constructor
svf/include/MTA/TCT.h:58
← previousnext →1,701–1,800 of 5,116, ranked by callers