actionNonAcceptingTermination
open override fun actionNonAcceptingTermination(base: String, fsm: DFA, interproceduralFlow: Boolean)(source)
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).