PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Interactive decompilation with rellic-xref

blog.trailofbits.com | blog | #reverse-engineering | #tooling | #static-analysis | #llvm | #decompilation | #rellic
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

rellic-xref is a web interface for the Rellic LLVM-to-C decompiler that lets users interactively refine decompiled code while tracking provenance between LLVM IR and the C output.
Published
Collected

Related coverage

research · blog.quarkslab.com
SCAF - Source Code Analysis Framework based on Clang - Pre-alpha preview
A preview of SCAF, a Clang-based source code analysis framework: a Python API and GUI that store ASTs and metadata in a shared database, plus a make-process hook for accurate build context.
research · volexity.com
Go Get ‘Em: Updates to Volexity Golang Tooling
# Go Get ‘Em: Updates to Volexity Golang Tooling August 11, 2025 Ivan Mladenov _This blog post was the final deliverable for asummer internship project, which was completed under the direction of...
blog · blog.trailofbits.com
SequenceHash: multihashing for the rest of us
We're releasing SequenceHash and its sister function SequenceMAC, a pair of related hash constructions that bring secure multihashing to developers using hash functions other than Keccak.
blog · blog.trailofbits.com
Auditing in the age of (good enough) AI
Trail of Bits explains how agents built tooling and a Lean model for the Miden zkVM audit, finding a flaw enabling Falcon signature forgery and yielding 95 machine-checked proofs.
blog · blog.trailofbits.com
Rust-proof your code with our new Testing Handbook chapter
Trail of Bits added a Rust testing chapter to its Testing Handbook: Miri, property testing, Clippy, zeroization, Kani model checking and dependency vetting, plus the rust-review Claude Code plugin.
blog · blog.trailofbits.com
Binary type inference in Ghidra
Trail of Bits releases BTIGhidra, a Ghidra extension that performs inter-procedural type inference on binaries, propagating type constraints across functions for cleaner, idiomatic decompilation.
Back