package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.linter/Linter/RDDomain/index.html

Module Linter.RDDomain

Reaching definition domain. For more informations see :

  • https://en.wikipedia.org/wiki/Reaching_definition
  • Principles of Program Analysis - Nielson, Nielson & Hankin (2006) (chapter 2.1.2)

This module implements a reaching definition domain for Jasmin programs. Domain are represented as a map that associate a set of instructions to each variable.

domain type

val empty : t

empty domain

val join : t -> t -> t
val included : t -> t -> bool
val forget : Jasmin.Prog.var -> t -> t
val pp : Format.formatter -> (Jasmin.Location.i_loc * t) -> unit