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

UnreachableEOGPass

class UnreachableEOGPass(ctx: TranslationContext) : TranslationUnitPass

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

constructor(ctx: TranslationContext)

Properties

config

val config: TranslationConfiguration

ctx

override val ctx: TranslationContext

name

var name: String

scope

open override val scope: Scope?

scopeManager

val scopeManager: ScopeManager

typeManager

val typeManager: TypeManager

Functions

open override fun accept(tu: TranslationUnitDeclaration)

andThen

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

cleanup

open override fun cleanup()

passConfig

fun <T : PassConfiguration> passConfig(): T?

runsWithCurrentFrontend

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

runsWithLanguageTrait

fun runsWithLanguageTrait(language: Language<*>?): Boolean