cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm

Package de.fraunhofer.aisec.cpg.analysis.fsm

Types

class BaseOpEdge( val op: String, val base: String?, val nextState: State)

Represents an edge of the automaton. The edge label consists of an operation (typically a method name) and a base which allows us to differentiate between multiple objects.

DFA

class DFA : Cloneable

A representation of a deterministic finite automaton (DFA).

DFAOrderEvaluator

open class DFAOrderEvaluator( var consideredBases: Set<Long>, var nodeToRelevantMethod: Map<Node, String>, var thisPositionOfNode: Map<Node, Int> = mapOf(), var eliminateUnreachableCode: Boolean = true)

This class uses a DFA to evaluate if the order of statements in the CPG is correct. It needs the following inputs:

FSMBuilderException

class FSMBuilderException(s: String) : Exception

State

class State( val name: String, val isStart: Boolean = false, var isAcceptingState: Boolean = false) : Cloneable

A simple class representing a state in an FSM.