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

ControlFlowSensitiveDFGPass

open class ControlFlowSensitiveDFGPass : Pass

This pass determines the data flows of DeclaredReferenceExpressions which refer to a VariableDeclaration (not a field) while considering the control flow of a function. After this path, only such data flows are left which can occur when following the control flow (in terms of the EOG) of the program.

Constructors

fun ControlFlowSensitiveDFGPass()

Functions

open override fun accept(translationResult: TranslationResult)

addSoftDependency

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

andThen

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

cleanup

open override fun cleanup()

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

isFirstPass

val isFirstPass: Boolean

isLastPass

val isLastPass: Boolean

name

var name: String

scopeManager

lateinit var scopeManager: ScopeManager