Product Details
RacerF, Version 1.0
Created: 2023
Czech title
RacerF, verze 1.0
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Keywords
Static analysis, concurrent programs, multithreaded programs, data race, Frama-C, plugin.
Description
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.
Location
License Conditions
Free software under the MIT license (cf. https://opensource.org/licenses/MIT).
Projects
Framework of key enabling technologies for safe and autonomous drones´ applications, MŠMT, Společná technologická iniciativa ECSEL, 8A19003, 2019-2023, completed
Research groups
Departments