Frama-C API - Taint_requests
module TaintStatus : Server.Data.STaint status: untainted, direct taint, indirect taint or error.
val is_tainted_property : Frama_c_kernel.Property.identified_property -> TaintStatus.tTaint status of a logic property.