roberthusak / AskTheCodeLinks
Program error cause finder for C# - research tool
☆17Updated 4 years ago
Alternatives and similar repositories for AskTheCode
Users that are interested in AskTheCode are comparing it to the libraries listed below
Sorting:
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Updated 2 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆250Updated 2 months ago
- AFL-based fuzz testing for .NET☆446Updated last month
- C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions☆83Updated 2 years ago
- A simple tool for detecting near-duplicate source code☆102Updated last year
- Generates valid, readable C# from an Expression Tree.☆170Updated 3 weeks ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Updated 6 months ago
- A set of source generators for equality, immutability, ...☆91Updated 3 years ago
- A unit test generation extension for Visual Studio that aims to always produce code that compiles - covering the basic cases automaticall…☆92Updated 8 months ago
- DgmlBuilder is a small DotNet library for generating DGML graphs without having to know all the details of DGML (the Microsoft Directed G…☆69Updated last year
- C# immutable records generator☆73Updated 5 years ago
- Symbolic execution engine for .NET Core☆53Updated last year
- Model-checker for lock and wait free C# code☆78Updated 7 years ago
- Pattern matching for Roslyn syntax trees☆31Updated 7 years ago
- A Roslyn based C# source generation framework☆134Updated last month
- Diff parsing and patching with .Net☆24Updated 2 years ago
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 3 years ago
- A command-line tool for live tracing .NET applications, based on EventPipes.☆185Updated 6 months ago
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆71Updated 2 months ago
- An experimental mutation testing tool for C# code☆66Updated 4 years ago
- Visual Studio debugging visualizer, and .NET visualization controls, for ANTLR4 parse trees☆72Updated 3 years ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆52Updated 5 months ago
- Provides multiple ClrMD enhancements including LINQPad integration.☆134Updated 5 years ago
- Zen is a constraint solving library for .NET☆141Updated 2 years ago
- A command line memory analysis tool for managed code.☆90Updated 4 years ago
- The C# Source Generator Playground☆149Updated 4 years ago
- A lightweight .NET library for expressive Guard Clauses.☆93Updated 2 months ago
- IL weaver to add nullability annotations to .NET reference assemblies☆71Updated 4 years ago
- Wrappers around ILoggers (Microsoft Extensions Logging, Serilog, NLog, etc) to accept Interpolated Strings☆88Updated 3 years ago
- Extensible inline editor output for LINQPad☆57Updated 3 years ago