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
MethodAEDetector
* @brief Constructor initializes the detector kind to UNKNOWN. */
svf/include/AE/Svfexe/AEDetector.h:59
MethodAEException
* @brief Constructor initializes the exception with a message. * @param message The error message. */
svf/include/AE/Svfexe/AEDetector.h:118
MethodAEStat
svf/include/AE/Svfexe/AEStat.h:39
MethodAETest
svf-llvm/tools/AE/ae.cpp:628
MethodAEWTO
svf/lib/AE/Svfexe/AEWTO.cpp:37
MethodAND
compute AND, used for branch condition
svf/lib/Util/Z3Expr.cpp:92
MethodAbsExtAPI
svf/lib/AE/Svfexe/AbsExtAPI.cpp:35
MethodAbstractInterpretation
svf/lib/AE/Svfexe/AbstractInterpretation.cpp:61
MethodAbstractState
default constructor
svf/include/AE/Core/AbstractState.h:63
MethodAbstractValue
svf/include/AE/Core/AbstractValue.h:41
MethodAccessPath
Constructor
svf/include/MemoryModel/AccessPath.h:66
MethodActualINSVFGNode
Constructor
svf/include/Graphs/SVFGNode.h:175
MethodActualOUTSVFGNode
Constructor
svf/include/Graphs/SVFGNode.h:225
MethodActualParmVFGNode
Constructor
svf/include/Graphs/VFGNode.h:977
MethodActualRetVFGNode
Constructor
svf/include/Graphs/VFGNode.h:1106
MethodAddCallSiteCHI
svf/include/MSSA/MemSSA.h:204
MethodAddCallSiteMU
svf/include/MSSA/MemSSA.h:199
MethodAddExtActualParmSVFGNodes
Add actual parameter SVFGNode for 1st argument of a deallocation like external function
svf/lib/SABER/SaberSVFGBuilder.cpp:294
MethodAddLoadMU
Add methods for mus/chis/phis @{
svf/include/MSSA/MemSSA.h:189
MethodAddMSSAPHI
svf/include/MSSA/MemSSA.h:209
MethodAddStoreCHI
svf/include/MSSA/MemSSA.h:194
MethodAddrCGEdge
! * Constructor for address constraint graph edge */
svf/lib/Graphs/ConsG.cpp:189
MethodAddrStmt
constructor
svf/include/SVFIR/SVFStatements.h:405
MethodAddrVFGNode
Constructor
svf/include/Graphs/VFGNode.h:876
MethodAddressValue
Default constructor
svf/include/AE/Core/AddressValue.h:64
MethodAdvanceToFirstNonZero
Move our iterator to the first non-zero bit in the bitmap.
svf/include/Util/SparseBitVector.h:594
MethodAdvanceToNextNonZero
Move our iterator to the next non-zero bit.
svf/include/Util/SparseBitVector.h:613
MethodAliasDDAClient
svf/include/DDA/DDAClient.h:145
MethodAndersen
Constructor
svf/include/WPA/Andersen.h:196
MethodAndersenBase
Constructor
svf/include/WPA/Andersen.h:64
MethodAndersenSCD
svf/include/WPA/AndersenPWC.h:55
MethodAndersenSFR
svf/include/WPA/AndersenPWC.h:117
MethodAndersenStat
! * Constructor */
svf/lib/WPA/AndersenStat.cpp:49
MethodAndersenWaveDiff
svf/include/WPA/Andersen.h:404
MethodAnnotator
Constructor
svf/include/Util/Annotator.h:26
FunctionArgInDeadFunction
whether this is an argument in dead function
svf-llvm/include/SVF-LLVM/LLVMUtil.h:158
MethodArgValVar
svf/lib/SVFIR/SVFVariables.cpp:155
MethodArgumentVFGNode
Constructor
svf/include/Graphs/VFGNode.h:934
MethodAsmPCValVar
svf/include/SVFIR/SVFVariables.h:2295
MethodAssignStmt
constructor
svf/include/SVFIR/SVFStatements.h:323
MethodBS_time
svf-llvm/tools/AE/ae.cpp:95
MethodBVDataPTAImpl
! * Constructor */
svf/lib/MemoryModel/PointerAnalysisImpl.cpp:46
MethodBWProcessCurNode
Backward traverse
svf/include/SABER/SrcSnkDDA.h:265
MethodBWProcessCurNode
svf/include/SABER/SrcSnkSolver.h:135
MethodBWProcessCurNode
svf/include/Util/GraphReachSolver.h:135
MethodBWProcessIncomingEdge
! * Propagate information backward without matching context, as forward analysis already did it */
svf/lib/SABER/SrcSnkDDA.cpp:257
MethodBWProcessIncomingEdge
svf/include/SABER/SrcSnkSolver.h:147
MethodBWProcessIncomingEdge
svf/include/Util/GraphReachSolver.h:147
MethodBaseObjVar
Constructor
svf/include/SVFIR/SVFVariables.h:587
MethodBasicBlockEdge
Constructor
svf/include/Graphs/BasicBlockG.h:50
MethodBasicBlockGraph
Constructor
svf/include/Graphs/BasicBlockG.h:307
MethodBasicBlockValVar
svf/include/SVFIR/SVFVariables.h:2253
MethodBilateral_time
svf-llvm/tools/AE/ae.cpp:83
MethodBinaryOPStmt
svf/lib/SVFIR/SVFStatements.cpp:544
MethodBinaryOPVFGNode
Constructor
svf/include/Graphs/VFGNode.h:477
MethodBitVector
svf/lib/Util/BitVector.cpp:17
MethodBlackHoleValVar
Constructor
svf/include/SVFIR/SVFVariables.h:1501
MethodBoundedDouble
svf/include/AE/Core/NumericValue.h:731
MethodBoundedInt
Default constructor is protected to prevent creating an object without initializing _iVal and _isInf.
svf/include/AE/Core/NumericValue.h:64
MethodBoxedOptSolver
svf/lib/AE/Core/RelationSolver.cpp:345
MethodBranchStmt
svf/lib/SVFIR/SVFStatements.cpp:492
MethodBranchVFGNode
Constructor
svf/include/Graphs/VFGNode.h:623
MethodBreakConstantGEPs
svf-llvm/include/SVF-LLVM/BreakConstantExpr.h:42
MethodBufOverflowDetector
* @brief Constructor initializes the detector kind to BUF_OVERFLOW and sets up external API buffer overflow rules. */
svf/include/AE/Svfexe/AEDetector.h:145
MethodBufferOverflowBug
svf/include/Util/SVFBugReport.h:127
MethodCDG
< Singleton pattern here Constructor
svf/include/Graphs/CDG.h:157
MethodCDGBuilder
constructor
svf/include/Util/CDGBuilder.h:43
MethodCDGEdge
Constructor
svf/include/Graphs/CDG.h:48
MethodCDGNode
Constructor
svf/include/Graphs/CDG.h:99
MethodCFGNormalizer
svf/include/CFL/CFGNormalizer.h:51
MethodCFGrammar
svf/lib/CFL/CFGrammar.cpp:341
MethodCFLAlias
svf/include/CFL/CFLAlias.h:47
MethodCFLBase
svf/include/CFL/CFLBase.h:53
MethodCFLEdge
svf/include/Graphs/CFLGraph.h:51
MethodCFLFIFOWorkList
svf/include/CFL/CFGrammar.h:412
MethodCFLGrammarStat
svf/lib/CFL/CFLStat.cpp:59
MethodCFLGraph
svf/include/Graphs/CFLGraph.h:180
MethodCFLGraphStat
! * Collect CFLGraph information */
svf/lib/CFL/CFLStat.cpp:47
MethodCFLNode
svf/include/Graphs/CFLGraph.h:78
MethodCFLSVFGBuilder
Constructor
svf/include/CFL/CFLSVFGBuilder.h:43
MethodCFLSolver
svf/include/CFL/CFLSolver.h:54
MethodCFLSolverStat
svf/lib/CFL/CFLStat.cpp:67
MethodCFLStat
! * Constructor */
svf/lib/CFL/CFLStat.cpp:39
MethodCFLVF
svf/include/CFL/CFLVF.h:45
MethodCHEdge
svf/include/Graphs/CHG.h:90
MethodCHGBuilder
svf-llvm/include/SVF-LLVM/CHGBuilder.h:48
MethodCHGraph
svf/include/Graphs/CHG.h:260
MethodCHNode
svf/include/Graphs/CHG.h:120
FunctionCJSON_CDECL internal_free
svf/lib/Util/cJSON.cpp:170
FunctionCJSON_CDECL internal_malloc
work around MSVC error C2322: '...' address of dllimport '...' is not static */
svf/lib/Util/cJSON.cpp:166
FunctionCJSON_CDECL internal_realloc
svf/lib/Util/cJSON.cpp:174
MethodCSC
svf/include/WPA/CSC.h:68
MethodCallCFGEdge
Constructor
svf/include/Graphs/ICFGEdge.h:187
MethodCallCHI
Constructors for CallCHI @{
svf/include/MSSA/MSSAMuChi.h:528
MethodCallDirSVFGEdge
Constructor
svf/include/Graphs/VFGEdge.h:218
MethodCallGraph
Constructor
svf/lib/Graphs/CallGraph.cpp:122
MethodCallGraphBuilder
svf/include/Util/CallGraphBuilder.h:46
MethodCallGraphEdge
Constructor
svf/include/Graphs/CallGraph.h:68
MethodCallGraphNode
Constructor
svf/include/Graphs/CallGraph.h:183
MethodCallICFGNode
svf/include/Graphs/ICFGNode.h:426
← previousnext →1,401–1,500 of 5,116, ranked by callers