2LS: Static Analyser and Verifier, version 0.10

Result code in 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>

Result on the web

<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

—

Result language

angličtina

Original language name

2LS: Static Analyser and Verifier, version 0.10

Original language description

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.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

—

OECD FORD branch

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

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

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

Publication year

2023

Confidentiality

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

Internal product ID

2LS 0.10

Technical parameters

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.

Economical parameters

Software je volně dostupný včetně 

Owner IČO

09958102

Owner name

DiffBlue