cpg-core/de.fraunhofer.aisec.cpg.passes/CallResolver

CallResolver

open class CallResolver : SymbolResolverPass

Resolves CallExpression and NewExpression targets.

A CallExpression specifies the method that wants to be called via CallExpression.name. The call target is a method of the same class the caller belongs to, so the name is resolved to the appropriate MethodDeclaration. This pass also takes into consideration that a method might not be present in the current class, but rather has its implementation in a superclass, and sets the pointer accordingly.

Constructor calls with ConstructExpression are resolved in such a way that their ConstructExpression.instantiates points to the correct RecordDeclaration. Additionally, the ConstructExpression.constructor is set to the according ConstructorDeclaration.

This pass should NOT use any DFG edges because they are computed / adjusted in a later stage.

Constructors

CallResolver

fun CallResolver()

Types

Companion

object Companion

Functions

open override fun accept(translationResult: TranslationResult)

addSoftDependency

fun addSoftDependency(toAdd: Class<out Pass?>)

andThen

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

cleanup

open override fun cleanup()

getInvocationCandidatesFromRecord

fun getInvocationCandidatesFromRecord(recordDeclaration: RecordDeclaration?, name: String?, call: CallExpression): List<FunctionDeclaration>

resolveMemberCallee

fun resolveMemberCallee(callee: DeclaredReferenceExpression, curClass: RecordDeclaration?, call: CallExpression): List<FunctionDeclaration>

Resolves a CallExpression.callee of type MemberExpression to a possible list of FunctionDeclaration nodes.

runsWithCurrentFrontend

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

Check if the pass requires a specific language frontend and if that frontend has been executed.

supportsLanguage

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

Specifies, whether this pass supports this particular language. This defaults to true * and needs to be overridden if a different behaviour is wanted.