RacerF, Version 1.0

Czech title

RacerF, verze 1.0

Type

software

License

required - free

Authors

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

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

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

Licence

Free software under the MIT license (cf. https://opensource.org/licenses/MIT).

Projects

Framework of key enabling technologies for safe and autonomous drones´ applications (8A19003)

Research groups

Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)