SCHORT Een bibliotheek gewijd aan de statische analyse van de numerieke variabelen.
Download nu

SCHORT Rangschikking & Samenvatting

SCHORT Tags

analys variabelen numeriek numerieke variabelen abstracte interpretatie

SCHORT Beschrijving

Een bibliotheek gewijd aan de statische analyse van de numerieke variabelen. Schort is een bibliotheek die is gewijd aan de statische analyse van de numerieke variabelen van een programma door abstracte interpretatie. Het doel van een dergelijke analyse is om invarianten af te leiden over deze variabelen. zoals 1 vereisten: · Een ANSI C-compiler (alleen GCC met ANSI-optie is getest) · De GMP-bibliotheek, versie 4.2 of hoger, en de MPFR-bibliotheek, versie 2.2 of hoger · Eventueel Parma Polyhedra-bibliotheek en GMP samengesteld met -Enable-CXX-configuratieoptie) · Als u wilt dat de C ++ -interface (nog steeds experimenteel), GCC 4.1.2 of hoger · Als u de OCAML-interface wilt gebruiken, hebt u het OCAML-systeem, versie 3.09 of hoger nodig, de CAMLIDL 1.05-ondergenerator voor de OCAML-interface, evenals GNU SED 4.1 of hoger, en GNU M4 (als u downloadt van subversie opslagplaats) Wat is er nieuw in deze release: · Octagon-domein ondersteunt nu hashing. Ondersteuning voor gedeelde bibliotheken werd toegevoegd. · Minor API-veranderingen zijn gemaakt.

SCHORT Gerelateerde software