package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ir.Killset`Source

type t =
  Binsec_kernel.Dba_types.Var.Set.t
    Binsec_kernel.Basic_types.Integers.Int.Htbl.t

Sourceval is_deadstore : t -> Binsec_kernel.Dba.Var.t -> View.vertex -> bool

Source

val analyze : 
  View.t ->
  may_read:(builtin -> Binsec_kernel.Dba_types.Var.Set.t option) ->
  must_write:(builtin -> Binsec_kernel.Dba_types.Var.Set.t) ->
  ?sink:Binsec_kernel.Basic_types.Integers.Int.Set.t ->
  t ->
  unit

package binsec

Module Ir.KillsetSource

Module `Ir.Killset`Source