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
Sorting:
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- .NET instrumentation framework☆72Updated 7 years ago
- A compiler framework for managed code.☆53Updated 5 years ago
- Library for reading PDB files, both Windows and PortablePDBs.☆47Updated 2 months ago
- A fuzzer. Work in progress!☆21Updated 7 years ago
- Prototype of writing a managed JIT in C# with CoreCLR☆77Updated last year
- Common Compiler Infrastructure☆103Updated 5 years ago
- A C# syntax rewriter☆20Updated 2 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆248Updated this week
- net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.☆31Updated last year
- An interpreter for a subset of dotnet IL implemented in C#☆15Updated 4 years ago
- A transformational system for ASTs, including generation of a p/invoke API from C++ headers.☆32Updated 2 years ago
- Library that aims to simlify work with .NET Compiler Platform ("Roslyn").☆11Updated 2 months ago
- Mindbg is a simple debugger engine written in .net 4.0 for learning purposes.☆37Updated 8 years ago
- A set of tools to work with CIL in .NET applications☆28Updated 7 months ago
- C language compiler from scratch for a custom architecture, with virtual machine and all☆43Updated 2 years ago
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Updated 7 years ago
- Light-weight cross platform IL disassembler tool built in C#.☆64Updated 5 years ago
- .NET debugging visualiser for runtime-generated IL code (via DynamicMethod, etc) for VS2017 and VS2015☆74Updated 3 years ago
- A C# parser combinator library☆19Updated 4 years ago
- An LLVM-based compiler for IL/C# for kernels that compiles to native code☆38Updated 7 years 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…☆30Updated 8 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- Compiles LLVM IR (bytecode) or C to .NET Assemblies☆111Updated 2 years ago
- The example class library project, with code written in the CIL.☆19Updated 5 years ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 10 months ago
- Trace any method in any assembly in any (live) .NET process!☆11Updated 9 years ago
- Reimplementation of ECMA-335 metadata APIs☆20Updated last month
- Contains tools for metadata, such as Roslyn's metadata visualizer.☆50Updated last week
- .NET CIL interpreter written in simple subset of F#☆53Updated last year