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
MethodFullSparseAbstractInterpretation
svf/include/AE/Svfexe/SparseAbstractInterpretation.h:88
MethodFunEntryICFGNode
svf/lib/Graphs/ICFG.cpp:39
MethodFunExitICFGNode
svf/include/Graphs/ICFGNode.h:345
MethodFunObjVar
svf/lib/SVFIR/SVFVariables.cpp:482
MethodFunValVar
svf/lib/SVFIR/SVFVariables.cpp:311
MethodFunptrDDAClient
svf/include/DDA/DDAClient.h:126
MethodGNodeSCCInfo
svf/include/Graphs/SCC.h:71
MethodGenericBug
note: should be initialized with a bugEventStack
svf/include/Util/SVFBugReport.h:95
MethodGenericEdge
Constructor
svf/include/Graphs/GenericGraph.h:69
MethodGenericGraph
Constructor
svf/include/Graphs/GenericGraph.h:355
MethodGenericNode
Constructor
svf/include/Graphs/GenericGraph.h:162
MethodGepCGEdge
Constructor
svf/include/Graphs/ConsGEdge.h:235
MethodGepObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:794
MethodGepStmt
constructor
svf/include/SVFIR/SVFStatements.h:676
MethodGepVFGNode
Constructor
svf/include/Graphs/VFGNode.h:682
MethodGepValVar
svf/lib/SVFIR/SVFVariables.cpp:197
MethodGlobalICFGNode
svf/include/Graphs/ICFGNode.h:158
MethodGlobalObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1712
MethodGlobalValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1354
MethodGrammarBuilder
svf/include/CFL/GrammarBuilder.h:86
MethodGraphPrinter
svf/include/Graphs/GraphPrinter.h:48
MethodGraphReachSolver
Constructor
svf/include/Util/GraphReachSolver.h:65
MethodGraphWriter
svf/include/Graphs/GraphWriter.h:109
MethodHareParForEdge
Constructor
svf/include/Graphs/ThreadCallGraph.h:113
MethodHeapObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:898
MethodICFG
! * Constructor * * Build ICFG * 1) build ICFG nodes * statements for top level pointers (PAGEdges) * 2) connect ICFG edges * between two
svf/lib/Graphs/ICFG.cpp:207
MethodICFGBuilder
svf-llvm/include/SVF-LLVM/ICFGBuilder.h:61
MethodICFGEdge
Constructor
svf/include/Graphs/ICFGEdge.h:62
MethodICFGNode
Constructor
svf/include/Graphs/ICFGNode.h:69
MethodICFGNodesBegin
svf/include/MemoryModel/SVFLoop.h:57
MethodICFGNodesEnd
svf/include/MemoryModel/SVFLoop.h:62
MethodICFGStat
svf/include/Graphs/ICFGStat.h:59
MethodICFGWTO
1st argument is the SCC's entry ICFGNode and 2nd argument is the function(s) in this SCC.
svf/include/AE/Core/ICFGWTO.h:58
MethodIRGraph
svf/include/Graphs/IRGraph.h:140
MethodIndirectSVFGEdge
Constructor
svf/include/Graphs/SVFGEdge.h:51
MethodInitialGlobal
For global variable initialization * Give a simple global variable * int x = 10; // store 10 x (constant, non pointer)
svf-llvm/lib/SVFIRBuilder.cpp:912
MethodInterDisjointMRG
svf/include/MSSA/MemPartition.h:142
MethodInterICFGNode
Constructor
svf/include/Graphs/ICFGNode.h:236
MethodInterMSSAPHISVFGNode
Constructor interPHI for formal parameter
svf/include/Graphs/SVFGNode.h:397
MethodInterPHIVFGNode
Constructor interPHI for formal parameter
svf/include/Graphs/VFGNode.h:1232
MethodIntervalValue
Create default IntervalValue
svf/include/AE/Core/IntervalValue.h:106
MethodIntraCFGEdge
Constructor
svf/include/Graphs/ICFGEdge.h:119
MethodIntraDirSVFGEdge
Constructor
svf/include/Graphs/VFGEdge.h:181
MethodIntraDisjointMRG
svf/include/MSSA/MemPartition.h:80
MethodIntraICFGNode
svf/include/Graphs/ICFGNode.h:199
MethodIntraIndSVFGEdge
svf/include/Graphs/SVFGEdge.h:98
MethodIntraMSSAPHISVFGNode
Constructor
svf/include/Graphs/SVFGNode.h:342
MethodIntraPHIVFGNode
Constructor
svf/include/Graphs/VFGNode.h:823
MethodIntrinsicValVar
svf/include/SVFIR/SVFVariables.h:2210
MethodInverse
svf/include/Graphs/GraphTraits.h:101
MethodLLVMGlobalFunction
svf-llvm/lib/LLVMModule.cpp:449
MethodLLVMLoopAnalysis
Constructor
svf-llvm/include/SVF-LLVM/LLVMLoopAnalysis.h:44
MethodLLVMModuleSet
svf-llvm/lib/LLVMModule.cpp:85
MethodLeakChecker
Constructor
svf/include/SABER/LeakChecker.h:59
MethodList
svf/include/Util/WorkList.h:78
MethodListNode
svf/include/Util/WorkList.h:62
MethodLoadCGEdge
Constructor
svf/include/Graphs/ConsGEdge.h:216
MethodLoadMU
Constructor/Destructor for MU @{
svf/include/MSSA/MSSAMuChi.h:175
MethodLoadStmt
constructor
svf/include/SVFIR/SVFStatements.h:593
MethodLoadVFGNode
Constructor
svf/include/Graphs/VFGNode.h:209
MethodLockAnalysis
svf/include/MTA/LockAnalysis.h:80
MethodMHP
! * Constructor */
svf/lib/MTA/MHP.cpp:44
MethodMRGenerator
svf/lib/MSSA/MemRegion.cpp:41
MethodMRSVFGNode
This constructor can only be used by derived classes
svf/include/Graphs/SVFGNode.h:48
MethodMRVer
Constructor
svf/include/MSSA/MSSAMuChi.h:57
MethodMSSACHI
Constructor/Destructor for MSSACHI @{
svf/include/MSSA/MSSAMuChi.h:406
MethodMSSADEF
Constructor/Destructor for MSSADEF @{
svf/include/MSSA/MSSAMuChi.h:346
MethodMSSAMU
Constructor/Destructor for MU @{
svf/include/MSSA/MSSAMuChi.h:112
MethodMSSAPHI
Constructors for PHI @{
svf/include/MSSA/MSSAMuChi.h:641
MethodMSSAPHISVFGNode
Constructor
svf/include/Graphs/SVFGNode.h:275
MethodMTA
svf/lib/MTA/MTA.cpp:43
MethodMTAStat
Constructor
svf/include/MTA/MTAStat.h:54
MethodMemRegion
Constructor
svf/include/MSSA/MemRegion.h:68
MethodMemSSA
! * Constructor */
svf/lib/MSSA/MemSSA.cpp:48
MethodMemSSAStat
! * Constructor */
svf/lib/Graphs/SVFGStat.cpp:65
MethodMergeFunctionRets
svf-llvm/include/SVF-LLVM/BreakConstantExpr.h:66
MethodMultiOpndStmt
svf/lib/SVFIR/SVFStatements.cpp:523
MethodMutableDFPTData
Constructor
svf/include/MemoryModel/MutablePointsToDS.h:379
MethodMutableDiffPTData
Constructor
svf/include/MemoryModel/MutablePointsToDS.h:237
MethodMutableIncDFPTData
Constructor
svf/include/MemoryModel/MutablePointsToDS.h:703
MethodMutablePTData
Constructor
svf/include/MemoryModel/MutablePointsToDS.h:67
MethodMutableVersionedPTData
svf/include/MemoryModel/MutablePointsToDS.h:899
MethodNEG
compute NEG
svf/include/Util/Z3Expr.h:301
MethodNeverFreeBug
svf/include/Util/SVFBugReport.h:179
MethodNode
svf/include/Graphs/SCC.h:260
MethodNode
Get node on the graph
svf/include/WPA/WPASolver.h:177
MethodNodeIDAllocator
Initialise counts to 4 because that's how many special nodes we have.
svf/lib/Util/NodeIDAllocator.cpp:46
MethodNode_Index
svf/include/Graphs/SCC.h:265
MethodNormalGepCGEdge
Constructor
svf/include/Graphs/ConsGEdge.h:296
MethodNullPtrVFGNode
Constructor
svf/include/Graphs/VFGNode.h:1300
MethodNullptrDerefDetector
svf/include/AE/Svfexe/AEDetector.h:335
MethodOOBResetVisited
Reset visited map if the current query is out-of-budget
svf/include/DDA/DDAVFSolver.h:336
MethodOR
compute OR, used for branch condition
svf/lib/Util/Z3Expr.cpp:130
MethodObjTypeInference
svf-llvm/include/SVF-LLVM/ObjTypeInference.h:64
MethodObjTypeInfo
Constructors
svf/include/SVFIR/ObjTypeInfo.h:86
MethodObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:315
MethodOption
svf/include/Util/CommandLine.h:328
MethodOptionBase
svf/include/Util/CommandLine.h:33
MethodOptionMap
svf/include/Util/CommandLine.h:414
MethodOptionMultiple
svf/include/Util/CommandLine.h:462
← previousnext →1,601–1,700 of 5,116, ranked by callers