-
Notifications
You must be signed in to change notification settings - Fork 0
C++11 extension to ThreadSanitizer.
License
ChrisLidbury/tsan11
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
ThreadSanitizer for C++11 (tsan11) research repository =============================== This repo contains tsan11 for the purposes of experimenting with the C++11 memory model and techniques for performing dynamic analysis of programs written for C++11. This repo is not inteded to work with the main repo, so will not be synced regularly. The svn files are here, so it can be synced if necessary. The initial commit contains compiler-rt at r286385 as found in the main SVN repo for compiler-rt. The second commit contains the changes used by our paper "Dynamic Race Detection For C++11" in POPL17, the resulting repo we call tsan11. The main branch contains just the basic tsan11, research projects are kept in their respective branches. If something is deemed to be useful to both the basic tsan11 tool and other research branches, then it can be merged with the master. ================================
About
C++11 extension to ThreadSanitizer.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published