cpg/de.fraunhofer.aisec.codyze.backends.cpg.coko/CokoCpgBackend

CokoCpgBackend

class CokoCpgBackend(config: BackendConfiguration) : CPGBackend, CokoBackend(source)

The CPG backend for Coko.

Constructors

CokoCpgBackend

constructor(config: BackendConfiguration)

Properties

artifacts

open override val artifacts: Map<Path, Artifact>

backendData

open override val backendData: TranslationResult

cpg

val cpg: TranslationResult

cpg

val CokoBackend.cpg: TranslationResult

toolInfo

open override val toolInfo: ToolComponent

Functions

argumentOrigin

open override fun argumentOrigin(targetOp: KFunction<Op>, argPos: Int, originOp: KFunction<Op>): ArgumentEvaluator

Verifies that the argument at argPos of targetOp stems from a call to originOp

cpgCall

fun CokoBackend.cpgCall(name: String, predicate: CallExpression.() -> Boolean = { true }): List<CallExpression>

Returns a list of CallExpressions with the matching name and fulfilling predicate.

cpgCallFqn

fun CokoBackend.cpgCallFqn(fqn: String, predicate: CallExpression.() -> Boolean = { true }): List<CallExpression>

Returns a list of CallExpressions with the matching fqn (fully-qualified name) and fulfilling predicate.

cpgConstructor

fun CokoBackend.cpgConstructor(classFqn: String, predicate: CallExpression.() -> Boolean = { true }): List<ConstructExpression>

Returns a list of ConstructExpressions with the matching classFqn and fulfilling predicate.

cpgMemberExpr

fun CokoBackend.cpgMemberExpr(predicate: MemberExpression.() -> Boolean): List<MemberExpression>

Returns a list of MemberExpressions with the matching something.

cpgVariable

fun CokoBackend.cpgVariable(name: String): List<ValueDeclaration>

Returns a list of ValueDeclarations with the matching name.

cpgVariableFqn

fun CokoBackend.cpgVariableFqn(fqn: String): List<ValueDeclaration>

Returns a list of ValueDeclarations with the matching fqn.

followedBy

open infix override fun Op.followedBy(that: Op): FollowsEvaluator

For each of the nodes in this, there is a path to at least one of the nodes in that.

never

open override fun never(vararg ops: Op): OnlyNeverEvaluator

only

open override fun only(vararg ops: Op): OnlyNeverEvaluator

Ensures that all calls to the ops have arguments that fit the parameters specified in ops

order

open override fun order(baseNodes: Op, block: Order.() -> Unit): OrderEvaluator

open override fun order(baseNodes: OrderToken, block: Order.() -> Unit): OrderEvaluator

precedes

open infix override fun Op.precedes(that: Op): PrecedesEvaluator

For each of the nodes in that, there is a path from at least one of the nodes in this.

whenever

open override fun whenever(premise: ConditionComponent, assertionBlock: WheneverEvaluator.() -> Unit): WheneverEvaluator

open override fun whenever(premise: Condition.() -> ConditionComponent, assertionBlock: WheneverEvaluator.() -> Unit): WheneverEvaluator