Goblint_lib.PtranalAnalysis
CIL's GoblintCil.Ptranal for function pointer evaluation (ptranal).
GoblintCil.Ptranal
ptranal
Useful for sound analysis of function pointers without base.
module Spec : sig ... end