RSS 1 project tagged "races"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.57
Vit 18.82

CDSChecker is a stateless model checker for C11/C++11 atomics.

Screenshot

Project Spotlight

Fosfat

A library and a tool for a read-only access on a Smaky disk.

Screenshot

Project Spotlight

OWASP Zed Attack Proxy

An easy-to-use integrated penetration testing tool for finding vulnerabilities in Web applications.