Datalog Disassembly (2020)

Lobsters Hottest Papers
binary-analysis disassembly datalog security-research program-analysis usecix-security

Summary

A USENIX Security 2020 paper presenting Datalog Disassembly, a rule-based approach that recovers function boundaries and calls in stripped binaries by leveraging contextual, code-based features encoded as Datalog facts, outperforming prior disassembly heuristics.

<p><a href="https://lobste.rs/s/zchcbj/datalog_disassembly_2020">Comments</a></p>
Original Article
View Cached Full Text

Cached at: 10/01/26, 04:21 AM

I can't translate this content — the pasted text appears to be raw, garbled PDF binary data (mojibake) rather than readable Chinese article text. There is no actual Chinese prose, headings, or structure to work from. If you can provide one of the following, I'll happily produce a natural English translation: 1. **The plain text** of the article (copy-pasted from the PDF viewer or an HTML version), 2. **A clean markdown source** if you have one, or 3. **A specific excerpt** you want translated. Alternatively, if the paper is available in an accessible format (e.g., an HTML abstract page on USENIX), you can paste that text and I'll translate it accurately while preserving headings, emphasis, code, and links.

Similar Articles

Datalog

Lobsters Hottest

Comprehensive notes on Datalog: what it is, how to implement it in various languages, and its applications in program analysis, with code examples and resources.

Deconstructing Datalog

Lobsters Hottest

The article describes the author's PhD dissertation 'Deconstructing Datalog', which integrates Datalog's recursive query capabilities into a typed functional language (Datafun) by using least prefix points and monotonicity tracking in the type system.

Dissecting House of Apple 2 on modern glibc

Lobsters Hottest

This article dissects the House of Apple 2 exploitation technique on modern glibc versions, providing an interactive GDB walkthrough and analyzing its viability with a sandbox environment.