edgardozoppi / analysis-net
Static analysis framework for .NET programs.
☆29Updated 4 years ago
Alternatives and similar repositories for analysis-net:
Users that are interested in analysis-net are comparing it to the libraries listed below
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- A compiler framework for managed code.☆53Updated 5 years ago
- .NET instrumentation framework☆72Updated 7 years ago
- Library for reading PDB files, both Windows and PortablePDBs.☆47Updated this week
- A C# syntax rewriter☆20Updated last year
- net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.☆31Updated last year
- A set of tools to work with CIL in .NET applications☆26Updated 4 months ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Updated 7 years ago
- A transformational system for ASTs, including generation of a p/invoke API from C++ headers.☆32Updated 2 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆245Updated 5 months ago
- An interpreter for a subset of dotnet IL implemented in C#☆15Updated 4 years ago
- Reimplementation of ECMA-335 metadata APIs☆18Updated 4 months ago
- Provides a way which you can load a .NET dll/exe from disk, modify/inject IL, and then run the assembly all in memory without modifying t…☆29Updated 7 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Updated 8 years ago
- Minimalist Prolog compiler and runtime library☆20Updated 11 years ago
- A console debugger using DbgX and Terminal.Gui☆29Updated 2 years ago
- Prototype of writing a managed JIT in C# with CoreCLR☆76Updated 11 months ago
- C# Implementation of Finger Tree☆12Updated 7 years ago
- Compiles LLVM IR (bytecode) or C to .NET Assemblies☆111Updated last year
- Library that aims to simlify work with .NET Compiler Platform ("Roslyn").☆11Updated this week
- Simple static analysis(SA) tool to analyze .Net assemblies at the IL-code level.☆9Updated last year
- Collect, aggregate, and display live stack traces for ETW events, including CPU sampling, of native and .NET processes.☆53Updated 5 years ago
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆14Updated 3 years ago
- A fuzzer. Work in progress!☆21Updated 7 years ago
- Tool to convert C# code to use nameof vs string literals where appropriate.☆9Updated 10 years ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 7 months ago
- .NET library for hooking and dumping Clr☆42Updated 8 months ago
- Common Compiler Infrastructure☆102Updated 5 years ago
- MSIL Reader☆36Updated 2 years ago