dotscope

A high-performance, cross-platform framework for analyzing and reverse engineering .NET PE executables. Built in pure Rust, dotscope provides comprehensive tooling for parsing CIL (Common Intermediate Language) bytecode, metadata structures, and disassembling .NET assemblies without requiring Windows or the .NET runtime.

Features

Efficient memory access - Memory-mapped file access with minimal allocations and reference-based parsing
Complete metadata analysis - Parse all ECMA-335 metadata tables and streams
High-performance disassembly - Fast CIL instruction decoding with control flow analysis
Cross-platform - Works on Windows, Linux, macOS, and any Rust-supported platform
Memory safe - Built in Rust with comprehensive error handling
Rich type system - Full support for generics, signatures, and complex .NET types
Extensible architecture - Modular design for custom analysis and tooling

Quick Start

Add dotscope to your Cargo.toml:

[dependencies]
dotscope = "0.1"

Basic Usage

use dotscope::prelude::*;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    // Load and analyze a .NET assembly  
    let assembly = CilObject::from_file("MyAssembly.dll".as_ref())?;
    
    // Access basic information
    if let Some(module) = assembly.module() {
        println!("Module: {}", module.name);
    }
    
    // Iterate through methods
    let methods = assembly.methods();
    println!("Found {} methods", methods.len());
    
    // Examine imports and exports
    let imports = assembly.imports();
    let exports = assembly.exports();
    println!("Imports: {}, Exports: {}", imports.len(), exports.len());
    
    Ok(())
}

Disassembly Example

use dotscope::{disassembler::decode_instruction, Parser};

fn disassemble_method() -> dotscope::Result<()> {
    let bytecode = &[0x00, 0x2A]; // nop, ret
    let mut parser = Parser::new(bytecode);
    
    let instruction = decode_instruction(&mut parser, 0x1000)?;
    println!("Mnemonic: {}", instruction.mnemonic);
    println!("Flow type: {:?}", instruction.flow_type);
    
    Ok(())
}

Documentation

API Documentation - Complete API reference
Examples - Working examples for common use cases
Contributing Guide - How to contribute to the project
Security Policy - Security reporting and policy

Architecture

dotscope is organized into several key modules:

Core Components

[prelude] - Convenient re-exports of commonly used types
[metadata] - Complete ECMA-335 metadata parsing and type system
[disassembler] - CIL instruction decoding and control flow analysis
[Error] and [Result] - Comprehensive error handling

Metadata Analysis

The [CilObject] provides access to:

Streams: Strings, user strings, GUIDs, and blob heaps
Tables: All ECMA-335 metadata tables (types, methods, fields, etc.)
Type System: Rich representation of .NET types and signatures
Resources: Embedded resources and manifest information
Security: Code access security and permission sets

Disassembly Engine

The disassembler module provides:

Instruction Decoding: Parse individual CIL opcodes with full operand support
Control Flow Analysis: Build basic blocks and control flow graphs
Stack Analysis: Track stack effects and type flow
Exception Handling: Parse and analyze try/catch/finally regions

Examples

Check out the examples directory for complete working examples with comprehensive documentation:

Basic Usage - Start here! Simple assembly loading and inspection with error handling
Metadata Analysis - Deep dive into assembly metadata and dependency tracking
Disassembly - CIL instruction disassembly and method body analysis
Type System - Working with .NET types, generics, and inheritance
Comprehensive Analysis - Full-featured analysis combining all capabilities
Method Analysis - Exhaustive single-method inspection
Low-Level API - Understanding dotscope internals and raw parsing
Control Flow - Basic block construction and flow analysis

Each example includes detailed documentation explaining:

What it teaches - Key learning objectives and concepts
When to use - Practical applications and use cases
Prerequisites - Required background knowledge
API patterns - Consistent, production-ready code examples

See the examples README for a recommended learning path.

Use Cases

dotscope is perfect for:

Reverse Engineering: Analyze .NET malware and vulnerable software
Security Research: Find vulnerabilities and security issues
Code Analysis: Static analysis and quality metrics
Decompilation: Build decompilers and analysis tools
Educational: Learn about .NET internals and PE format
Forensics: Examine .NET assemblies in digital forensics

Security

Security is a top priority:

Memory Safety: Built on Rust's memory safety guarantees
Fuzzing: Continuous fuzzing with cargo-fuzz
Input Validation: Strict validation of all inputs
Audit Trail: Regular dependency auditing

See our Security Policy for more information.

Standards Compliance

dotscope implements the ECMA-335 specification (6th edition) for the Common Language Infrastructure. All metadata structures, CIL instructions, and type system features conform to this standard.

References

ECMA-335 Standard - Official CLI specification
.NET Runtime - Microsoft's reference implementation

Testing and Quality

We maintain high code quality through:

Comprehensive Test Suite: Unit, integration, and fuzz testing
Continuous Integration: Automated testing on multiple platforms
Code Coverage: >90% test coverage target
Static Analysis: Clippy, rustfmt, and security audits
Performance Testing: Regular benchmarking and regression detection

Running Tests

# Development cycle (recommended for frequent use)
make dev              # Format, lint, and test

# Full CI simulation
make ci               # Complete CI checks

# Security and quality
make audit            # Security audit
make coverage         # Generate coverage report

Extended Testing

# Local fuzzing (60 seconds)
make fuzz

# Extended fuzzing (manual)
cd fuzz && cargo +nightly fuzz run cilobject --release -- -max_total_time=1800

# All quality checks
make check-all

Roadmap

v0.2.x

Improve correctness
Improve API
Improve documentation
Add protections against large allocations (e.g. maliciously crafted files that aim to exhaust system memory to avoid analysis)
Improve type system hash calculations for deduplication
Proper CustomAttribute support
Method instruction access APIs
Standard trait implementations (Debug, Display, Clone, etc.)
Debug logging infrastructure
Ecosystem integration improvements

v0.3.x

Enhanced XML security parsing
String/Blob caching infrastructure

v0.x.x - Pre - 1.0

PortablePDB support
Non-embedded resource support
Parallel loading optimizations
Cross-assembly dependency resolution
Project-wide analysis
Assembly linking and merging
Store and Load a full Assembly to/from json

v1.1.x - Modification

Assembly modification and generation
Instruction patching and injection
Metadata table manipulation

v1.2.x - Emulation

Emulation engine

v1.3.x - Advanced Analysis

Control flow graph generation
Data flow analysis
Call graph construction

v1.4.x - Deobfuscation

SSA (Static Single Assignment) generation
Applying compiler optimizations to IL (dead code, opaque predicates, ...)
String decryption

Contributing

We welcome contributions! Please see our Contributing Guide for details.

Quick Contribution Checklist

Check existing issues and PRs
Write tests for new features
Update documentation
Ensure CI passes
Follow commit message conventions

License

This project is licensed under the Apache License, Version 2.0.

See LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0 for details.

Acknowledgments

The Rust community for excellent tooling and libraries
Microsoft for the ECMA-335 specification
The goblin project for PE parsing inspiration

Support

Bug Reports: GitHub Issues
Feature Requests: GitHub Issues
Questions: GitHub Discussions
Security Issues: admin{at}binflip.rs

dotscope 0.1.0