package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Memory.Pointers`

module Domain : sig ... end

Non-relational abstraction of C pointers

module Static_points_to : sig ... end

Static evaluation of a pointer expression

module Value : sig ... end

Non-relational abstraction of pointer values