Detail produktu

2LS: Static Analyser and Verifier, version 0.10

Vznik: 2023

Název česky
2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10
Typ
software
Licence
vyžadována - zdarma
Autoři
Brain Martin (City University London)
Buecheli Samuel (UOx)
David Cristina (UBRIS)
Hruška Martin, Ing. (UITS FIT VUT)
Kroening Daniel (UOx)
Kumar Madhukar (IITD)
Malík Viktor, Ing. (UITS FIT VUT)
Martiček Štefan, Ing. (UITS FIT VUT)
Mukherjee Rajdeep (AmazonCom)
Nečas František, Ing. (FIT VUT)
Schrammel Peter, Dr. (US)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Watcher Björn (UOx)
Popis

2LS je nástroj pro verifikaci programů napsaných v jazyce C. Je postavený na infrastruktuře CPROVER, která podporuje C89, C99 a většinu C11 a rozšíření definovaných překladačemi GCC a Visual Studio. 2LS umožňuje verifikaci hranic polí (přetečení paměti), bezpečnosti práce s pamětí, výjimek, uživatelem definovaných tvrzení v programu a ukončitelnosti programu. Analýza v 2LS je založená na automatickém odvozovaní vlastností programu pomocí šablon a technikách zjemňování abstrakce.

Umístění
Licence

Volně šířitelný software poskytovaný pod licencí 4-clause BSD (pro přesné znění licence viz. https://github.com/diffblue/2ls/blob/master/LICENSE).

Projekty
Nahoru