GitHub - anm-spa/Racer: Racer detects statically potential data race between two tasks running simultaneously.

anm-spa / Racer Public

Racer detects statically potential data race between two tasks running simultaneously.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
libExt		libExt
CGFrontendAction.h		CGFrontendAction.h
CMakeLists.txt		CMakeLists.txt
callGraphAnalysis.h		callGraphAnalysis.h
commandOptions.h		commandOptions.h
eventHandler.h		eventHandler.h
flowSensitivePA.cpp		flowSensitivePA.cpp
flowSensitivePA.h		flowSensitivePA.h
globalVarHandler.cpp		globalVarHandler.cpp
globalVarHandler.h		globalVarHandler.h
headerDepAnalysis.h		headerDepAnalysis.h
macros.h		macros.h
raceAnalysis.cpp		raceAnalysis.cpp
raceAnalysis.h		raceAnalysis.h
racer.cpp		racer.cpp
steengaardPA.cpp		steengaardPA.cpp
steengaardPA.h		steengaardPA.h
steengaardPAVisitor.cpp		steengaardPAVisitor.cpp
steengaardPAVisitor.h		steengaardPAVisitor.h
symTabBuilder.cpp		symTabBuilder.cpp
symTabBuilder.h		symTabBuilder.h
symtab.cpp		symtab.cpp
symtab.h		symtab.h