Frama-C:
Plug-ins:
Libraries:

Frama-C API - pattern

never fails

method get_after : ?offset:int -> int -> string

get_after ~offset:p k returns the end of the message starting p characters after the end of group k.

method get_string : int -> string
method get_int : int -> int
method get_float : int -> float