RacerF, Version 1.0

Typ

software

Jazyk

anglicky

Autoři

Dacík Tomáš, Ing.
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)

Popis

RacerF version 1.0 is the first version of a plugin for the Frama-C platform that implements a static analyzer for detecting potential data races in multithreaded C programs using the pthreads library.

Klíčová slova

Static analysis, concurrent programs, multithreaded programs, data race, Frama-C, plugin.

URL

https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Licenční podmínky

Volně šiřitelný software poskytovaný pod MIT licencí (přesné znění licence je dostupné na stránce https://opensource.org/licenses/MIT).

Projekty

Rámec klíčových technologií umožňujících bezpečné a autonomní aplikace dronů, EU, Horizon 2020, 8A19003, zahájení: 2019-10-01, ukončení: 2023-01-31, ukončen

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů (UITS)