Installion's Lion Logo

Installion.co.uk

Install or Uninstall libapron-ocaml-dev on kali

libapron-ocaml-devabstract interpretation library (OCaml interface) variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.Kali Linux 2017.1ocaml0.9.10-9+b1

Package Data

Packagelibapron-ocaml-dev
Version0.9.10-9+b1
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://apron.cri.ensmp.fr/library/ implemented-in::ocaml, role::devel-lib, use::analysing, use::checking
Descriptionabstract interpretation library (OCaml interface) variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.
Distrokalilinux
Releasekalilinux
Repomain
Sectionocaml