cpg-language-llvm/de.fraunhofer.aisec.cpg.frontends.llvm/LLVMIRLanguageFrontend

LLVMIRLanguageFrontend

class LLVMIRLanguageFrontend(config: TranslationConfiguration, scopeManager: ScopeManager?) : LanguageFrontend

Constructors

LLVMIRLanguageFrontend

fun LLVMIRLanguageFrontend(config: TranslationConfiguration, scopeManager: ScopeManager?)

Types

object Companion

Functions

open fun cleanup()

open fun clearProcessed()

getCodeFromRawNode

open override fun <T> getCodeFromRawNode(astNode: T): String?

getCodeOfSubregion

open fun getCodeOfSubregion(p0: Node, p1: Region, p2: Region): String

open fun getConfig(): TranslationConfiguration

open fun getCurrentTU(): TranslationUnitDeclaration

getLocationFromRawNode

open override fun <T> getLocationFromRawNode(astNode: T): PhysicalLocation?

fun getNameOf(valueRef: LLVMValueRef): Pair<String, String>

Returns a pair of the name and symbol name of valueRef.

open fun getNewLineType(p0: Node): String

getOperandValueAtIndex

fun getOperandValueAtIndex(instr: LLVMValueRef, idx: Int): Expression

getScopeManager

@NotNull

open fun getScopeManager(): @NotNull ScopeManager

guessSlotNumber

fun guessSlotNumber(valueRef: LLVMValueRef): String

isKnownStructTypeName

fun isKnownStructTypeName(name: String): Boolean

Determines if a struct with name exists in the scope.

open fun mergeRegions(p0: Region, p1: Region): Region

open override fun parse(file: File): TranslationUnitDeclaration

open fun parseAll(): MutableList<TranslationUnitDeclaration>

open fun process(p0: Any, p1: Any)

registerObjectListener

open fun registerObjectListener(p0: Any, p1: BiConsumer<Any, Any>)

registerPredicateListener

open fun registerPredicateListener(p0: BiPredicate<Any, Any>, p1: BiConsumer<Any, Any>)

setCodeAndRegion

open fun <N : Any, S : Any> setCodeAndRegion(@NotNull p0: @NotNull N, @Nullable p1: @Nullable S?)

open override fun <S, T> setComment(s: S, ctx: T)

open fun setCurrentTU(p0: TranslationUnitDeclaration)

setScopeManager

open fun setScopeManager(@NotNull p0: @NotNull ScopeManager)

fun typeOf(valueRef: LLVMValueRef): Type

Properties

var bindingsCache: MutableMap<String, Declaration>

This contains a cache binding between an LLVMValueRef (representing a variable) and its Declaration in the graph. We need this, because this way we can look up and connect a DeclaredReferenceExpression to its Declaration already in the language frontend. This in turn is needed because of the local/global system we cannot rely on the VariableUsageResolver.

var ctx: LLVMContextRef? = null

declarationHandler

val declarationHandler: DeclarationHandler

expressionHandler

val expressionHandler: ExpressionHandler

namespaceDelimiter

val namespaceDelimiter: String

val phiList: MutableList<LLVMValueRef>

statementHandler

val statementHandler: StatementHandler

val typeCache: MutableMap<String, Type>