Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
lib
 
 
 
 
 
 
 
 
 
 
 
 

RaceSanitizer

RaceSanitizer (RSan) is dynamic data race detector. It uses a modified version of the DataCollider algorithm [1] insofar as it pauses one thread and tries to "wait out" a data race.

More to come later, as well as some explanations of things.

[1] http://research.microsoft.com/apps/pubs/default.aspx?id=139266

About

A dynamic data race detector for programs

Resources

License

Releases

No releases published

Packages

No packages published