SystemDependenceGraph

Synopsis

Declared in <src/midend/programAnalysis/staticInterproceduralSlicing/DependenceGraph.h>

class SystemDependenceGraph
    : public MergedDependenceGraph

Base Classes

Name	Description
MergedDependenceGraph

Member Functions

Name	Description
SystemDependenceGraph [constructor]	Default constructor
addFunction
addInterproceduralInformation
addLibraryExtender
cleanUp
computeSummaryEdges
createConnectionsForLibaryFunction
createFunctionStub
createSafeConfiguration
doInterproceduralConnections
getInterproceduralInformation
getMainFunction
getPDGs
getSlice [virtual]
isKnownLibraryFunction
parseProject
performInterproceduralAnalysis	once all functions have been added to the SystemDependenceGraph this function performas the connection of callsites to all possible called functions and establishes summary‐edges
process

Private Member Functions

Name

_getPossibleFuncs

_processFunction

getPossibleFuncs

Private Data Members

Name

_funcs_map

debug

functionToInterfunctionalMap

interproceduralInformation

interproceduralInformationList

libraryExtenders

Created with MrDocs