Frama-C API - TaintStatus
Taint status: untainted, direct taint, indirect taint or error.
val jtype : Server.Package.jtypeval of_json : Server.Data.json -> tval to_json : t -> Server.Data.json
Frama-C Frama-C TaintStatusTaint status: untainted, direct taint, indirect taint or error.
val jtype : Server.Package.jtypeval of_json : Server.Data.json -> tval to_json : t -> Server.Data.json