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)

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

supportsLanguage

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

Properties

isFirstPass

val isFirstPass: Boolean

isLastPass

val isLastPass: Boolean

name

var name: String

scopeManager

lateinit var scopeManager: ScopeManager