package codex
The Codex library for building static analysers based on abstract interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386
doc/codex.whilelib/Whilelib/While_analysis/NonRelationalDomain/Integer_Forward/index.html
Module NonRelationalDomain.Integer_Forward
val itimes : Z.t -> (integer, integer) Domain_Arity.ar1val iadd : (integer, integer, integer) Domain_Arity.ar2val imul : (integer, integer, integer) Domain_Arity.ar2val idiv : (integer, integer, integer) Domain_Arity.ar2val imod : (integer, integer, integer) Domain_Arity.ar2val ishl : (integer, integer, integer) Domain_Arity.ar2val ishr : (integer, integer, integer) Domain_Arity.ar2val iand : (integer, integer, integer) Domain_Arity.ar2val ior : (integer, integer, integer) Domain_Arity.ar2val ixor : (integer, integer, integer) Domain_Arity.ar2val isub : (integer, integer, integer) Domain_Arity.ar2val ieq : (integer, integer, boolean) Domain_Arity.ar2val ile : (integer, integer, boolean) Domain_Arity.ar2val iconst : Z.t -> integer Domain_Arity.ar0val zero : integer Domain_Arity.ar0val one : integer Domain_Arity.ar0