2LS: Static Analyser and Verifier, version 0.10

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F23%3APR37708" target="_blank" >RIV/00216305:26230/23:PR37708 - isvavai.cz</a>

Výsledek na webu

<a href="https://github.com/diffblue/2ls/releases/tag/2ls-0.10" target="_blank" >https://github.com/diffblue/2ls/releases/tag/2ls-0.10</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

2LS: Static Analyser and Verifier, version 0.10

Popis výsledku v původním jazyce

2LS ("tools") is a verification tool for C programs. It is built upon the CPROVER framework, which supports C89, C99, most of C11 and most compiler extensions provided by gcc and Visual Studio. It allows verifying array bounds (buffer overflows), pointer safety, exceptions, user-specified assertions, and termination properties. The analysis is performed by template-based predicate synthesis and abstraction refinements techniques.

Název v anglickém jazyce

2LS: Static Analyser and Verifier, version 0.10

Popis výsledku anglicky

2LS ("tools") is a verification tool for C programs. It is built upon the CPROVER framework, which supports C89, C99, most of C11 and most compiler extensions provided by gcc and Visual Studio. It allows verifying array bounds (buffer overflows), pointer safety, exceptions, user-specified assertions, and termination properties. The analysis is performed by template-based predicate synthesis and abstraction refinements techniques.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

2LS 0.10

Technické parametry

Software je volně dostupný včetně zdrojových textů. Pro informace o licenčních podmínkách prosím kontaktujte: DiffBlue Ltd., 16c Worcester Place, Oxford, OX1 2JW, United Kingdom.

Ekonomické parametry

Software je volně dostupný včetně 

IČO vlastníka výsledku

09958102

Název vlastníka

DiffBlue