cpg-analysis
6.2.1
cpg-analysis
/
de.fraunhofer.aisec.cpg.analysis.fsm
/
DFA
/
DFA
DFA
fun
DFA
(
states
:
Set
<
State
>
=
setOf()
)