package cbat-vsa

You can search for identifiers within the package.

in-package search v0.2.0

package cbat-vsa

cbat-plugin-value-set
- Cbat_value_set_plugin
  - Cmdline
  - Config
cbat-value-set

Legend:
Library
Module
Module type
Parameter
Class
Class type

module WordSet = Cbat_clp_set_composite

module AI = Cbat_ai_representation

type vsa_sol = (Bap.Std.tid, AI.t) Graphlib.Std.Solution.t

val precond : Cbat_ai_representation.t Bap.Std.tag

val denote_def : Bap.Std.def Bap.Std.term -> AI.t -> AI.t

val denote_defs : Bap.Std.blk Bap.Std.term -> AI.t -> AI.t

val denote_imm_exp : 
  Bap.Std.exp ->
  AI.t ->
  (WordSet.t, Bap.Std.Type.error) Core_kernel.Std.Result.t

val denote_mem_exp : 
  Bap.Std.exp ->
  AI.t ->
  (Cbat_ai_memmap.t, Bap.Std.Type.error) Core_kernel.Std.Result.t

val denote_block : 
  (sub:Bap.Std.tid -> AI.t -> target:Bap.Std.tid -> AI.t) ->
  Bap.Std.program Bap.Std.term ->
  source:Bap.Std.tid ->
  AI.t ->
  target:Bap.Std.tid ->
  AI.t

val reachable_jumps : 
  AI.t ->
  Bap.Std.jmp Bap.Std.term Bap.Std.seq ->
  Bap.Std.jmp Bap.Std.term Bap.Std.seq

val init_sol : ?entry:AI.t -> Bap.Std.sub Bap.Std.term -> vsa_sol

val static_graph_vsa : 
  Bap.Std.tid list ->
  Bap.Std.Program.t ->
  Bap.Std.Sub.t ->
  vsa_sol ->
  vsa_sol

val load : Bap.Std.sub Bap.Std.term -> vsa_sol option