cpg/de.fraunhofer.aisec.codyze.backends.cpg.coko.ordering/CodyzeDfaOrderEvaluator

CodyzeDfaOrderEvaluator

class CodyzeDfaOrderEvaluator(val context: EvaluationContext, val hashToMethod: Map<String, String>, dfa: DFA, consideredBases: Set<Node>, nodeToRelevantMethod: Map<Node, Set<String>>, thisPositionOfNode: Map<Node, Int> = mapOf(), consideredResetNodes: Set<Node>, eliminateUnreachableCode: Boolean = true) : DFAOrderEvaluator(source)

Codyze-specific implementation of the DFAOrderEvaluator. Its main purpose is to collect the findings in case of violations to the order.

Constructors

constructor(context: EvaluationContext, hashToMethod: Map<String, String>, dfa: DFA, consideredBases: Set<Node>, nodeToRelevantMethod: Map<Node, Set<String>>, thisPositionOfNode: Map<Node, Int> = mapOf(), consideredResetNodes: Set<Node>, eliminateUnreachableCode: Boolean = true)

Properties

consideredBases

val consideredBases: Set<Node>

consideredResetNodes

val consideredResetNodes: Set<Node>

context

val context: EvaluationContext

dfa

val dfa: DFA

eliminateUnreachableCode

val eliminateUnreachableCode: Boolean

findings

val findings: MutableSet<CpgFinding>

hashToMethod

val hashToMethod: Map<String, String>

nodeToRelevantMethod

val nodeToRelevantMethod: Map<Node, Set<String>>

thisPositionOfNode

val thisPositionOfNode: Map<Node, Int>

Functions

actionAcceptingTermination

open override fun actionAcceptingTermination(base: String, fsm: DFA, interproceduralFlow: Boolean)

Contains the functionality which is executed if the DFA terminated in an accepting state for the given base. This means that all required statements have been executed for base so far. The fsm holds the execution trace found by the analysis.

actionMissingTransitionForNode

open override fun actionMissingTransitionForNode(node: Node, fsm: DFA, interproceduralFlow: Boolean)

Collects a finding if the node makes an operation which violates the desired order.

actionNonAcceptingTermination

open override fun actionNonAcceptingTermination(base: String, fsm: DFA, interproceduralFlow: Boolean)

Collects the finding in the AnalysisContext because the DFA finished analyzing the function but the base did not terminate in an accepting state (i.e., some operations are missing).

evaluateOrder

fun evaluateOrder(startNode: Node, stopOnWrongBase: Boolean): Boolean

getBaseOfNode

fun getBaseOfNode(node: CallExpression): Node?