Applied result detail

RacerF, Version 1.0

DACÍK, T.; VOJNAR, T.

Original Title

RacerF, Version 1.0

English Title

RacerF, Version 1.0

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.

Abstract in English

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.

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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