package binsec_codex

  1. Overview
  2. Docs
package binsec_codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_codex_lib.Cfg_analysisSource

A graph of (address, call_stack) pair that can be translated to regular expressions. It can be used to store a graph of instructions or a graph of basic blocks.

Sourcemodule V : sig ... end
Sourcemodule E : sig ... end
Sourcemodule Cfg : sig ... end
Sourcemodule Reduce : sig ... end
Sourcemodule Wto : sig ... end