Module Pulselib.PulseTaintConfig

module F = Stdlib.Format
module Kind : sig ... end
module Target : sig ... end
module Unit : sig ... end
module SinkPolicy : sig ... end
val allocation_sources : (string * Kind.t list) list
val source_procedure_matchers : Unit.procedure_unit list
val source_block_matchers : Unit.procedure_unit list
val source_field_getters_matchers : Unit.field_unit list
val source_field_setters_matchers : Unit.field_unit list
val sink_procedure_matchers : Unit.procedure_unit list
val sink_field_getters_matchers : Unit.field_unit list
val sink_field_setters_matchers : Unit.field_unit list
val sanitizer_matchers : Unit.procedure_unit list
val propagator_matchers : Unit.procedure_unit list
val log_taint_config : unit -> unit