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
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:564
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:771
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:871
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:930
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1026
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1282
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1331
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1372
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1424
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1474
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1529
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1583
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1636
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1685
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFVariables.h:1730
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:1783
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:1840
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:1902
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:1963
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:2026
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:2085
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:2136
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:2188
Methodclassof
svf/include/SVFIR/SVFVariables.h:2232
Methodclassof
svf/include/SVFIR/SVFVariables.h:2274
Methodclassof
@{ Methods for support type inquiry through isa, cast, and dyn_cast:
svf/include/SVFIR/SVFVariables.h:2316
Methodclassof
ClassOf @{
svf/include/SVFIR/SVFStatements.h:151
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:328
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:390
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:460
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:538
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:578
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:620
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:709
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:781
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:854
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:925
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:999
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1089
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1156
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1212
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1267
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1340
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/SVFIR/SVFStatements.h:1380
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:199
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:254
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:299
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:435
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:492
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:551
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:602
Methodclassof
Methods for support type inquiry through isa, cast, and dyn_cast: @{
svf/include/MSSA/MSSAMuChi.h:697
Methodclassof
svf-llvm/include/SVF-LLVM/DCHG.h:285
MethodcleanConsCG
svf/lib/WPA/Andersen.cpp:180
Methodclear
svf/include/MemoryModel/PersistentPointsToDS.h:217
Methodclear
svf/include/MemoryModel/PersistentPointsToDS.h:351
Methodclear
svf/include/MemoryModel/PersistentPointsToDS.h:712
Methodclear
svf/include/MemoryModel/PersistentPointsToDS.h:820
Methodclear
svf/include/MemoryModel/ConditionalPT.h:376
Methodclear
svf/include/MemoryModel/MutablePointsToDS.h:246
Methodclear
svf/include/MemoryModel/MutablePointsToDS.h:388
Methodclear
svf/include/MemoryModel/MutablePointsToDS.h:904
Methodclear
! * Clear all the data */
svf/include/Util/WorkList.h:333
Methodclear
! * Clear all the data */
svf/include/CFL/CFGrammar.h:456
MethodclearAllDFOutUpdatedVar
svf/include/MemoryModel/PersistentPointsToDS.h:486
MethodclearAllDFOutUpdatedVar
svf/include/MemoryModel/PersistentPointsToDS.h:700
MethodclearAllDFOutUpdatedVar
svf/include/MemoryModel/MutablePointsToDS.h:803
MethodclearAllDFOutVarFlag
svf/include/WPA/FlowSensitive.h:210
MethodclearAllPts
Clear all data
svf/include/MemoryModel/PointerAnalysisImpl.h:128
MethodclearCFCond
svf/include/SABER/SaberCondAllocator.h:176
MethodclearCFCond
Clear Control flow conditions before each VF computation
svf/include/SABER/ProgSlice.h:221
MethodclearEdges
This is a dataset version, to be modified to a cflData version */
svf/include/CFL/CFLSolver.h:262
MethodclearFlagMap
Clear flags
svf/include/MTA/LockAnalysis.h:389
MethodclearFlagMap
Clear flags
svf/include/MTA/MHP.h:444
MethodclearFullPts
Clear points-to set of id.
svf/include/MemoryModel/PointerAnalysisImpl.h:105
MethodclearFullPts
svf/include/MemoryModel/PersistentPointsToDS.h:255
MethodclearFullPts
svf/include/MemoryModel/PersistentPointsToDS.h:389
MethodclearFullPts
svf/include/MemoryModel/PersistentPointsToDS.h:889
MethodclearFullPts
svf/include/MemoryModel/MutablePointsToDS.h:282
MethodclearFullPts
svf/include/MemoryModel/MutablePointsToDS.h:542
MethodclearFullPts
svf/include/MemoryModel/MutablePointsToDS.h:973
MethodclearPropaPts
svf/include/MemoryModel/PersistentPointsToDS.h:299
MethodclearPropaPts
svf/include/MemoryModel/MutablePointsToDS.h:323
MethodclearPropaPts
svf/include/WPA/Andersen.h:293
MethodclearPts
Remove element from the points-to set of id.
svf/include/MemoryModel/PointerAnalysisImpl.h:99
MethodclearPts
svf/include/MemoryModel/PersistentPointsToDS.h:250
MethodclearPts
svf/include/MemoryModel/PersistentPointsToDS.h:384
MethodclearPts
svf/include/MemoryModel/PersistentPointsToDS.h:880
MethodclearPts
svf/include/MemoryModel/MutablePointsToDS.h:277
MethodclearPts
svf/include/MemoryModel/MutablePointsToDS.h:538
MethodclearPts
svf/include/MemoryModel/MutablePointsToDS.h:964
MethodclearRevPts
svf/include/MemoryModel/PersistentPointsToDS.h:184
MethodclearRevPts
svf/include/MemoryModel/MutablePointsToDS.h:211
MethodclearSingleRevPts
svf/include/MemoryModel/PersistentPointsToDS.h:176
MethodclearSingleRevPts
svf/include/MemoryModel/MutablePointsToDS.h:204
MethodclearSolitaries
! * Remove nodes that are neither pointers nor connected with any edge */
svf/lib/Graphs/ConsG.cpp:152
MethodclearStat
svf/lib/WPA/VersionedFlowSensitiveStat.cpp:18
MethodclearStat
! * Clear statistics */
svf/lib/WPA/FlowSensitiveStat.cpp:41
MethodclearVisitedMap
svf/include/SABER/SrcSnkDDA.h:299
MethodclearbkVisited
svf/include/DDA/DDAVFSolver.h:547
← previousnext →2,401–2,500 of 5,116, ranked by callers