Product detail

RacerF, Version 1.0

DACÍK, T. VOJNAR, T.

Product type

software

Abstract

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.

Keywords

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

Create date

31. 1. 2023

Location

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

Possibilities of use

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

Licence fee

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

www

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