package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz

sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap/Bap/Std/Graphs/index.html

Module `Std.Graphs`

BAP Common Graphs.

This module contains several graph structures, that are used across BAP.

The idiomatic use case is to bind the chosen graph to a shorter name and use it as a first class module with different functions in graphlib library, e.g.,

  module G = Graphs.Cfg

  let insns cfg =
    Graphlib.reverse_postorder_traverse (module G) cfg |>
    Seq.map ~f:Block.insns |>
    Seq.concat_map ~f:Seq.of_list

module Cfg : 
  Graphlib.Std.Graph
    with type t = cfg
     and type node = block
     and type Edge.label = edge

Control Flow Graph with a machine basic block as a node.

module Callgraph : 
  Graphlib.Std.Graph
    with type node = tid
     and type Node.label = tid
     and type Edge.label = jmp term list

A call graph representation. In this representations, nodes are identifiers of subroutine terms, and edges, representing calls, are marked with a list of callsites, where callsite is denoted by a jump term.

module Ir : sig ... end

Graph view over IR.

module Tid : sig ... end

Graph of Term identifiers.