LeeSanderson / Chess
A concurency testing tool
☆53Updated 5 years ago
Related projects: ⓘ
- open source search projects☆80Updated last year
- Various tools and helpers to read assembly metadata.☆178Updated 3 weeks ago
- Model-checker for lock and wait free C# code☆77Updated 6 years ago
- Implements API for retrieval of symbols and other debug artifacts from symbol store.☆143Updated 4 months ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆93Updated 3 months ago
- ☆146Updated 3 months ago
- An experimental mutation testing tool for C# code☆66Updated 3 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated last year
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 2 years ago
- Repository for CLR Hosting and Diagnostic API native code samples.☆132Updated 3 months ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆52Updated last year
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 3 months ago
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆15Updated 2 years ago
- Stack Trace Explorer is a Visual Studio plug-in that pretty prints a stack trace by turning types, methods, and paths into hyper links☆111Updated 5 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆245Updated 3 weeks ago
- A command line memory analysis tool for managed code.☆88Updated 2 years ago
- BPerf is a Cloud Profiling system used by Bing.com based on CoreCLR Profiling APIs & Event Tracing for Windows.☆74Updated last year
- Making .NET open source accessible!☆26Updated 6 years ago
- Visual Studio Debug Adapter Host☆74Updated 5 months ago
- Common Compiler Infrastructure☆101Updated 5 years ago
- Reader of Portable PDBs format that implements DiaSymReader interfaces (ISymUnmanagedReader, ISymUnmanagedBinder, etc.).☆82Updated this week
- My toys to play with SSE/AVX in pure C# (.NET Core 2.1)☆64Updated 5 years ago
- Tools for enhanced editing of MSBuild proj files in Visual Studio 2017 and 2019☆95Updated 2 years ago
- ☆62Updated 5 years ago
- Under the rocks☆104Updated 6 years ago
- Run a process in a job and control its resource quotas☆21Updated 6 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆49Updated 3 months ago
- .NET deadlock detection library to track down async/await related deadlocks with minimal overhead and effort.☆50Updated 3 years ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated last year
- Helper objects to browse complex structures returned by ClrMD☆62Updated 6 months ago