RacerF, Version 1.0
Static analysis, concurrent programs, multithreaded programs, data race, Frama-C, plugin.
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.
Free software under the MIT license (cf. https://opensource.org/licenses/MIT).