Detail produktu

Testos-Aufover - Verification as a Service

Vznik: 2021

Název česky
Testos-Aufover - Verifikace jako služba
Typ
software
Licence
vyžadována - zdarma
Autoři
Popis

Projekt integruje nástroje dynamické analýzy vyvíjené výzkumnou skupinou VeriFIT (VUT v Brně). Cílem software je poskytovat služby analyzačních nástrojů v jednotném standardním rozhraní OSLC. Produkt se skládá z nástrojů Testos-Spectra, Anaconda a Unite. Umožňuje však také analýzu nástrojem Valgrind a dalšími (např. Infer, který je sice ve službě konfigurován, ale není kvůli nekompatibilitě licencí zdrojovými soubory zahrnut).

Umístění
Licence

Licenční podmínky v souladu s licení BSD-3-Clause dostupné na https://opensource.org/licenses/BSD-3-Clause

Projekty
Výzkumné skupiny
Pracoviště
Nahoru