cpg-analysis/de.fraunhofer.aisec.cpg.passes/UnreachableEOGPass

UnreachableEOGPass

A Pass which uses a simple logic to determine constant values and mark unreachable code regions by setting the Properties.UNREACHABLE property of an eog-edge to true.

Constructors

UnreachableEOGPass

fun UnreachableEOGPass()

Functions

open override fun accept(t: TranslationResult)

andThen

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

cleanup

open override fun cleanup()

getLang

@Nullable

open fun getLang(): @Nullable LanguageFrontend?

getName

open fun getName(): String

isFirstPass

@NotNull

open fun isFirstPass(): @NotNull Boolean

isLastPass

@NotNull

open fun isLastPass(): @NotNull Boolean

runsWithCurrentFrontend

open fun runsWithCurrentFrontend(): Boolean

setLang

open fun setLang(@Nullable p0: @Nullable LanguageFrontend?)

supportsLanguageFrontend

open fun supportsLanguageFrontend(p0: LanguageFrontend): Boolean

Properties

hardDependencies

val hardDependencies: MutableSet<Class<out Pass>>

softDependencies

val softDependencies: MutableSet<Class<out Pass>>