Detail produktu

RacerF, Version 1.0

DACÍK, T. VOJNAR, T.

Typ produktu

software

Abstrakt

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.

Datum vzniku

31. 1. 2023

Umístění

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

Možnosti využití

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

www

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