chubbymaggie/SystemCallService
Process / thread-level system call tracer for Windows 7 / 8 / 2008 / 2012
AddressSanitizer, ThreadSanitizer, MemorySanitizer
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Process / thread-level system call tracer for Windows 7 / 8 / 2008 / 2012
This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )
Trustworthy Library for Secure Isolated Regions
KJS: A Complete Formal Semantics of JavaScript