Library wrapper and system-level tracing utilities
A standard Linux kernel tree with KVM for ARM patches
A Unified, Economical Object Store for Web Applications
Woodpecker: Verifying systems rules using rule-directed symbolic execution
Follows Linaro qemu/master for KVM/ARM support
Xen for unit test
Xen source code
A browser-based web tracking detection platform.
benchmarks for xen and kvm
Mirror of git://android.git.kernel.org/platform/dalvik.git with TaintDroid additions (mirror lags official Android)
CPAchecker, the Configurable Software-Verification Platform
Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.
Robotium based test app for TMTestApp
The Parrot stable and deterministic multi-threading system.