Vexis is a custom x86-64

Vexis is a custom x86-64 binary analysis and reverse-engineering platform I built from the ground up in Rust, with a .NET desktop frontend for interactive analysis.

Instead of wrapping an existing disassembly library, I implemented the core instruction-decoding pipeline myself, including legacy and REX prefixes, ModR/M, SIB addressing, RIP-relative addressing, instruction boundaries, and control-flow instructions.

From that decoded instruction stream, Vexis reconstructs basic blocks, functions, and typed control-flow graphs, calculates cyclomatic complexity, identifies anti-disassembly patterns, and generates structured analysis reports.

The visual frontend turns the analysis engine into a usable product: users can inspect full disassembly, explore function-level CFGs, review complexity and control-flow statistics, and analyze entire batches of binaries from one interface.

Key engineering work included:

Custom x86-64 instruction decoder written in Rust

Linear-sweep and recursive-descent analysis strategies

Basic-block and function recovery

Control-flow graph generation and visualization

Cyclomatic complexity and binary statistics

Anti-disassembly detection

Batch analysis across multiple binaries

JSON, Markdown, and Graphviz reporting

Differential testing and fuzz testing of the decoder

.NET GUI communicating with the Rust engine across a clean process boundary

The result is more than a frontend demo: it is a complete analysis pipeline that goes from raw PE64 machine code to searchable disassembly, recovered program structure, visual control flow, and automated reports.