RacerF, Version 1.0

Type

software

Language

English

Authors

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

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.

Keywords

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

URL

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

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

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, EU, Horizon 2020, 8A19003, start: 2019-10-01, end: 2023-01-31, completed

Research groups

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

Departments

Department of Intelligent Systems (DITS)