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

LLVMIRLanguageFrontend

class LLVMIRLanguageFrontend(language: Language<LLVMIRLanguageFrontend>, ctx: TranslationContext) : LanguageFrontend<Pointer, LLVMTypeRef>

Because we are using the C LLVM API, there are two possibly AST nodes that we need to consider: LLVMValueRef and LLVMBasicBlockRef. Because they do not share any class hierarchy, we need to resort to use Pointer as the AST node type here.

Constructors

LLVMIRLanguageFrontend

constructor(language: Language<LLVMIRLanguageFrontend>, ctx: TranslationContext)

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 Reference to its Declaration already in the language frontend. This in turn is needed because of the local/global system we cannot rely on the SymbolResolver.

val config: TranslationConfiguration

override var ctx: TranslationContext

var ctxRef: LLVMContextRef?

var currentTU: TranslationUnitDeclaration?

declarationHandler

val declarationHandler: DeclarationHandler

expressionHandler

val expressionHandler: ExpressionHandler

open override val language: Language<out LanguageFrontend<Pointer, LLVMTypeRef>>

open override val namespace: Name?

val phiList: MutableList<LLVMValueRef>

open override val scope: Scope?

val scopeManager: ScopeManager

statementHandler

val statementHandler: StatementHandler

val typeCache: MutableMap<String, Type>

val typeManager: TypeManager

Functions

fun build(init: LanguageFrontend<*, *>.() -> TranslationResult): TranslationResult

open fun cleanup()

fun clearProcessed()

open override fun codeOf(astNode: Pointer): String?

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

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

getOperandValueAtIndex

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

guessSlotNumber

fun guessSlotNumber(valueRef: LLVMValueRef): String

isKnownStructTypeName

fun isKnownStructTypeName(name: String): Boolean

Determines if a struct with name exists in the scope.

open override fun locationOf(astNode: Pointer): PhysicalLocation?

open override fun parse(file: File): TranslationUnitDeclaration

fun parseAll(): List<TranslationUnitDeclaration>

open fun process(from: Any, to: Node)

registerObjectListener

open fun registerObjectListener(from: Any, biConsumer: BiConsumer<Any, Node>)

registerPredicateListener

open fun registerPredicateListener(predicate: BiPredicate<Any, Node>, biConsumer: BiConsumer<Any, Node>)

open override fun setComment(node: Node, astNode: Pointer)

open override fun typeOf(type: LLVMTypeRef): Type

fun typeOf(valueRef: LLVMValueRef): Type