Detail aplikovaného výsledku

RacerF, Version 1.0

DACÍK, T.; VOJNAR, T.

Originální název

RacerF, Version 1.0

Anglický název

RacerF, Version 1.0

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www

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