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
MethodCallIndSVFGEdge
svf/include/Graphs/SVFGEdge.h:132
MethodCallMU
Constructor/Destructor for MU @{
svf/include/MSSA/MSSAMuChi.h:230
MethodCallPE
svf/lib/SVFIR/SVFStatements.cpp:503
MethodCmpStmt
svf/lib/SVFIR/SVFStatements.cpp:528
MethodCmpVFGNode
Constructor
svf/include/Graphs/VFGNode.h:400
MethodComputeInterCallVFGGuard
! * Compute calling inter-procedural guards between two SVFGNodes (from caller to callee) * src --c1--> callBB --true--> funEntryBB --c2--> dst * t
svf/lib/SABER/SaberCondAllocator.cpp:489
MethodComputeInterCallVFGGuard
svf/include/SABER/ProgSlice.h:256
MethodComputeInterRetVFGGuard
! * Compute return inter-procedural guards between two SVFGNodes (from callee to caller) * src --c1--> funExitBB --true--> retBB --c2--> dst * the
svf/lib/SABER/SaberCondAllocator.cpp:506
MethodComputeInterRetVFGGuard
svf/include/SABER/ProgSlice.h:260
MethodComputeIntraVFGGuard
! * Compute intra-procedural guards between two SVFGNodes (inside same function) */
svf/lib/SABER/SaberCondAllocator.cpp:521
MethodComputeIntraVFGGuard
Compute guards for value-flows @{
svf/include/SABER/ProgSlice.h:252
MethodCondPTAImpl
Constructor
svf/include/MemoryModel/PointerAnalysisImpl.h:260
MethodCondPointsToSet
Constructor @{
svf/include/MemoryModel/ConditionalPT.h:314
MethodCondPtsSetIterator
svf/include/MemoryModel/ConditionalPT.h:752
MethodCondStdSet
svf/include/MemoryModel/ConditionalPT.h:139
MethodCondVar
Constructor
svf/include/MemoryModel/ConditionalPT.h:50
MethodConstAggObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1758
MethodConstAggValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1395
MethodConstDataObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1811
MethodConstDataValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1447
MethodConstFPObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1875
MethodConstFPValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1561
MethodConstIntObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1948
MethodConstIntValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1621
MethodConstNullPtrObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:1998
MethodConstNullPtrValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1663
MethodConstraintEdge
Constructor
svf/include/Graphs/ConsGEdge.h:62
MethodConstraintGraph
Constructor
svf/include/Graphs/ConsG.h:92
MethodConstraintNode
svf/include/Graphs/ConsGNode.h:74
MethodContextCond
Constructor
svf/include/Util/DPItem.h:211
MethodContextDDA
! * Constructor */
svf/lib/DDA/ContextDDA.cpp:42
MethodCopyCGEdge
constructor
svf/include/Graphs/ConsGEdge.h:148
MethodCopyStmt
constructor
svf/include/SVFIR/SVFStatements.h:511
MethodCopyVFGNode
Constructor
svf/include/Graphs/VFGNode.h:331
MethodCoreBitVector
svf/lib/Util/CoreBitVector.cpp:24
MethodCoreBitVectorIterator
svf/lib/Util/CoreBitVector.cpp:387
MethodCoreBitVectorIterator
svf/include/Util/CoreBitVector.h:156
MethodCxtDPItem
Constructor
svf/include/Util/DPItem.h:484
MethodCxtProc
Constructor
svf/include/Util/CxtStmt.h:313
MethodCxtStmt
Constructor
svf/include/Util/CxtStmt.h:46
MethodCxtStmtDPItem
Constructor
svf/include/Util/DPItem.h:395
MethodCxtThread
Constructor
svf/include/Util/CxtStmt.h:193
MethodCxtThreadProc
Constructor
svf/include/Util/CxtStmt.h:400
MethodCxtThreadStmt
Constructor
svf/include/Util/CxtStmt.h:128
MethodDCHEdge
svf-llvm/include/SVF-LLVM/DCHG.h:42
MethodDCHGraph
svf-llvm/include/SVF-LLVM/DCHG.h:231
MethodDCHNode
svf-llvm/include/SVF-LLVM/DCHG.h:74
MethodDDAClient
svf/include/DDA/DDAClient.h:51
MethodDDAPass
svf/include/DDA/DDAPass.h:56
MethodDDAStat
svf/lib/DDA/DDAStat.cpp:42
MethodDDAVFSolver
Constructor
svf/include/DDA/DDAVFSolver.h:65
MethodDFPTData
Constructor
svf/include/MemoryModel/AbstractPointsToDS.h:203
MethodDOTGraphTraits
svf/lib/MTA/TCT.cpp:594
MethodDOTGraphTraits
svf/lib/Graphs/CallGraph.cpp:431
MethodDOTGraphTraits
svf/lib/Graphs/ICFG.cpp:484
MethodDOTGraphTraits
svf/lib/Graphs/SVFG.cpp:834
MethodDOTGraphTraits
svf/lib/Graphs/ConsG.cpp:747
MethodDOTGraphTraits
svf/lib/Graphs/IRGraph.cpp:368
MethodDOTGraphTraits
svf/lib/Graphs/CHG.cpp:264
MethodDOTGraphTraits
svf/lib/Graphs/CFLGraph.cpp:94
MethodDOTGraphTraits
svf/lib/Graphs/VFG.cpp:1088
MethodDOTGraphTraits
svf/include/Graphs/CDG.h:345
MethodDOTGraphTraits
svf/include/Graphs/DOTGraphTraits.h:183
MethodDPItem
Constructor
svf/include/Util/DPItem.h:52
MethodDefaultDOTGraphTraits
svf/include/Graphs/DOTGraphTraits.h:41
MethodDiffPTData
svf/include/MemoryModel/AbstractPointsToDS.h:155
MethodDirectSVFGEdge
Constructor
svf/include/Graphs/VFGEdge.h:146
MethodDistinctMRG
svf/include/MSSA/MemPartition.h:50
MethodDoubleFreeBug
svf/include/Util/SVFBugReport.h:211
MethodDoubleFreeChecker
Constructor
svf/include/SABER/DoubleFreeChecker.h:47
MethodDummyObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:2344
MethodDummyValVar
Constructor
svf/include/SVFIR/SVFVariables.h:2159
MethodDummyVersionPropSVFGNode
svf/include/Graphs/SVFGNode.h:460
MethodEntryCHI
Constructors for EntryCHI @{
svf/include/MSSA/MSSAMuChi.h:585
MethodEscapeStr
svf/lib/Graphs/GraphWriter.cpp:12
MethodExtAPI
svf/include/Util/ExtAPI.h:62
MethodFIFOWorkList
svf/include/Util/WorkList.h:143
MethodFILOWorkList
svf/include/Util/WorkList.h:249
MethodFWProcessCurNode
Forward traverse
svf/include/SABER/SrcSnkDDA.h:253
MethodFWProcessCurNode
Process the DP item @{
svf/include/SABER/SrcSnkSolver.h:132
MethodFWProcessCurNode
Process the DP item @{
svf/include/Util/GraphReachSolver.h:132
MethodFWProcessOutgoingEdge
! * Propagate information forward by matching context */
svf/lib/SABER/SrcSnkDDA.cpp:192
MethodFWProcessOutgoingEdge
@} Propagation for the solving, to be implemented in the child class @{
svf/include/SABER/SrcSnkSolver.h:141
MethodFWProcessOutgoingEdge
@} Propagation for the solving, to be implemented in the child class @{
svf/include/Util/GraphReachSolver.h:141
MethodFileChecker
Constructor
svf/include/SABER/FileChecker.h:48
MethodFileNeverCloseBug
svf/include/Util/SVFBugReport.h:227
MethodFilePartialCloseBug
svf/include/Util/SVFBugReport.h:243
MethodFindLowerBound
svf/include/Util/SparseBitVector.h:567
MethodFindLowerBoundConst
svf/include/Util/SparseBitVector.h:563
MethodFindLowerBoundImpl
This is like std::lower_bound, except we do linear searching from the current position.
svf/include/Util/SparseBitVector.h:518
MethodFlowDDA
Constructor
svf/include/DDA/FlowDDA.h:61
MethodFlowSensitive
Constructor
svf/include/WPA/FlowSensitive.h:60
MethodFlowSensitiveStat
svf/include/WPA/WPAStat.h:93
MethodForkJoinAnalysis
svf/include/MTA/MHP.h:309
MethodFormalINSVFGNode
Constructor
svf/include/Graphs/SVFGNode.h:89
MethodFormalOUTSVFGNode
svf/lib/Graphs/SVFG.cpp:194
MethodFormalParmVFGNode
Constructor
svf/include/Graphs/VFGNode.h:1035
MethodFormalRetVFGNode
svf/lib/Graphs/VFG.cpp:407
MethodFullBufferOverflowBug
svf/include/Util/SVFBugReport.h:147
MethodFullNullPtrDereferenceBug
svf/include/Util/SVFBugReport.h:259
← previousnext →1,501–1,600 of 5,116, ranked by callers