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/Terms/Build/Binary/index.html
Module Build.Binary
val empty : size:Units.In_bits.t -> Operator.Function_symbol.binary tval bunion :
size:Units.In_bits.t ->
Operator.Condition.t ->
Operator.Function_symbol.binary t ->
Operator.Function_symbol.binary t ->
Operator.Function_symbol.binary tval unknown :
size:Units.In_bits.t ->
level:int ->
Operator.Function_symbol.binary ttype binary = Operator.Function_symbol.binary ttype boolean = Operator.Function_symbol.boolean tval biadd :
size:Units.In_bits.t ->
flags:Operator.Flags.Biadd.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bisub :
size:Units.In_bits.t ->
flags:Operator.Flags.Biadd.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bimul :
size:Units.In_bits.t ->
flags:Operator.Flags.Bimul.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bshl :
size:Units.In_bits.t ->
flags:Operator.Flags.Bshl.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bashr :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val blshr :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val beq :
size:Units.In_bits.t ->
(binary, binary, boolean) Operator.Forward_Arity.ar2val bisle :
size:Units.In_bits.t ->
(binary, binary, boolean) Operator.Forward_Arity.ar2val biule :
size:Units.In_bits.t ->
(binary, binary, boolean) Operator.Forward_Arity.ar2val bconcat :
size1:Units.In_bits.t ->
size2:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bextract :
size:Units.In_bits.t ->
index:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val band :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bor :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bxor :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val buext :
size:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val bsext :
size:Units.In_bits.t ->
oldsize:Units.In_bits.t ->
(binary, binary) Operator.Forward_Arity.ar1val bisdiv :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bismod :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val biudiv :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val biumod :
size:Units.In_bits.t ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bofbool :
size:Units.In_bits.t ->
(boolean, binary) Operator.Forward_Arity.ar1val valid :
size:Units.In_bits.t ->
Operator__Operator_sig.access_type ->
(binary, boolean) Operator.Forward_Arity.ar1val valid_ptr_arith :
size:Units.In_bits.t ->
Operator__Operator_sig.arith_type ->
(binary, binary, boolean) Operator.Forward_Arity.ar2val bshift :
size:Units.In_bits.t ->
offset:int ->
max:int option ->
(binary, binary) Operator.Forward_Arity.ar1val bindex :
size:Units.In_bits.t ->
int ->
(binary, binary, binary) Operator.Forward_Arity.ar2val bchoose :
size:Units.In_bits.t ->
int ->
(binary, binary) Operator.Forward_Arity.ar1val biconst : size:Units.In_bits.t -> Z.t -> binary Operator.Forward_Arity.ar0val buninit : size:Units.In_bits.t -> binary Operator.Forward_Arity.ar0