CGO_MHP_SVC.tar.gz (2.26 GB)
CGO_MHP_SVC (MHP analysis with Static Vector Clocks)
Download (2.26 GB) This item is shared privately
software
modified on 2017-12-05, 04:49 This is a virtual box image. You can use it to run the default data race detector LDruid with Static Vector Clocks. The image does not consist of source code, and we plan to open source in future.
The relevant algorithm and experimental results can be found in paper CGO2018: MHP analysis with Static Vector Clocks.