SCHÜRZE Eine Bibliothek, die der statischen Analyse der numerischen Variablen gewidmet ist.
Jetzt downloaden

SCHÜRZE Ranking & Zusammenfassung

SCHÜRZE Stichworte

Analysator Variablen numerisch numerische Variablen Abstrakte Interpretation

SCHÜRZE Beschreibung

Eine Bibliothek, die der statischen Analyse der numerischen Variablen gewidmet ist. Schürze ist eine Bibliothek, die der statischen Analyse der numerischen Variablen eines Programms durch abstrakte Interpretation gewidmet ist. Ziel einer solchen Analyse ist es, Invarianten um diese Variablen zu schließen. Wie 1 Anforderungen: · Ein ANSI C-Compiler (nur GCC mit ANSI-Option wurde getestet) · Die GMP-Bibliothek, Version 4.2 oder UP und die MPFR-Bibliothek, Version 2.2 oder höher · Optional, Parma-Polyhedra-Bibliothek und GMP, zusammengestellt mit -Enable-CXX-Konfigurationsoption) · Wenn Sie möchten, dass die C ++ - Schnittstelle (noch experimentell), GCC 4.1.2 oder höher ist · Wenn Sie die OCAML-Schnittstelle verwenden möchten, benötigen Sie das OCAML-System, Version 3.09 oder höher, den CAMLIDL 1.05-Stubcodegenerator für die OCAML-Schnittstelle sowie GNU SED 4.1 oder UP und GNU M4 (wenn Sie von Subversion herunterladen Repository) Was ist neu in dieser Version: · Octagon-Domain unterstützt jetzt Hashing. Die Unterstützung von gemeinsam genutzten Bibliotheken wurde hinzugefügt. · Minderjährige API-Änderungen wurden gemacht.

SCHÜRZE Zugehörige Software