Driver (soteria-rust.Soteria_rust

val wrap_step : string -> (unit -> 'a) -> 'a

val with_exn_and_config : 
  Config.mode ->
  Config.global ->
  (unit -> Analyses.Outcome.t) ->
  'a

val exec_wpst : Config.global -> [< `Dir of string | `File of string ] -> 'a

val build_plugins : Config.global -> 'a