cpg-core/de.fraunhofer.aisec.cpg.passes/DFGPass

DFGPass

class DFGPass : Pass

Adds the DFG edges for various types of nodes.

Constructors

Functions

open override fun accept(tr: TranslationResult)

addSoftDependency

fun addSoftDependency(toAdd: Class<out Pass?>)

open fun andThen(p0: Consumer<in TranslationResult>): Consumer<TranslationResult>

open override fun cleanup()

handleCallExpression

fun handleCallExpression(call: CallExpression, inferDfgForUnresolvedSymbols: Boolean)

Adds the DFG edges to a CallExpression.

runsWithCurrentFrontend

fun runsWithCurrentFrontend(usedFrontends: Collection<LanguageFrontend>): Boolean

Check if the pass requires a specific language frontend and if that frontend has been executed.

supportsLanguage

fun supportsLanguage(language: Language<out LanguageFrontend>): Boolean

Specifies, whether this pass supports this particular language. This defaults to true * and needs to be overridden if a different behaviour is wanted.

Properties

val isFirstPass: Boolean

val isLastPass: Boolean

var name: String

lateinit var scopeManager: ScopeManager