Goblint_lib.CallstringCall String analysis call_string and/or Call Site analysis call_site. The call string limitation for both approaches can be adjusted with the "callString_length" option. By adding new implementations of the CallstringType, additional analyses can be added.
module type CallstringType = sig ... endmodule Spec (CT : CallstringType) : Analyses.MCPSpecAnalysis with infinite call string or with limited call string (k-CFA, tracks the last k call stack elements). With the CT argument it is possible to specify the type of the call string elements
module Callstring : CallstringTypemodule Callsite : CallstringType