package mopsa

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

Module C.Memory

module Aggregates : sig ... end

Desugar accesses to aggregates into accesses to scalar arrays using pointer arithmetics.

module Cells : sig ... end
module Machine_numbers : sig ... end

Machine representation of C integers and floats

module Pointer_eval_reduction : sig ... end

Reduction rule for pointer evaluations

module Pointer_sentinel : sig ... end

Abstraction of pointer arrays by segmentation using a NULL/INVALID sentinel.

module Pointers : sig ... end
module Protection : sig ... end

Domain implementing various checks for protecting memory access

module Smashing : sig ... end

Abstraction of arrays by smashing.

module String_length : sig ... end

String length abstraction.

module Symbolic_rewriting : sig ... end

Symbolic rewriting of expressions as sum, product or quotient of linear forms Mainly inspired by the article Symbolic transformation of expressions in modular arithmetic SAS'23

module Variable_length_array : sig ... end

Domain for supporting variable-length arrays

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct