cpg-analysis
6.2.1
cpg-analysis
/
de.fraunhofer.aisec.cpg.analysis.fsm
/
Trace
/
Trace
Trace
fun
Trace
(
state
:
State
,
cpgNode
:
Node
,
edge
:
Edge
)