On the public citation graph

Type Inference on Executables

0 signed · 143 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380240204openalex-snapshot

Rewriting executable files to measure program behavior

inferredcites →https://doi.org/10.1007/3-540-49099-x_14openalex-snapshot

Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

inferredcites →https://doi.org/10.1007/978-3-319-08509-8_1openalex-snapshot

Data Structure Archaeology: Scrape Away the Dirt and Glue Back the Pieces!

inferredcites →https://doi.org/10.1007/978-3-319-11212-1_14openalex-snapshot

SigPath: A Memory Graph Based Approach for Program Data Introspection and Modification

inferredcites →https://doi.org/10.1007/978-3-319-26362-5_25openalex-snapshot

Towards Automatic Inference of Kernel Object Semantics from Binary Code

inferredcites →https://doi.org/10.1007/978-3-540-24723-4_2openalex-snapshot

Analyzing Memory Accesses in x86 Executables

inferredcites →https://doi.org/10.1007/978-3-540-30579-8_13openalex-snapshot

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

inferredcites →https://doi.org/10.1007/978-3-540-31985-6_19openalex-snapshot

CodeSurfer/x86—A Platform for Analyzing x86 Executables

inferredcites →https://doi.org/10.1007/978-3-540-69738-1_1openalex-snapshot

DIVINE: DIscovering Variables IN Executables

inferredcites →https://doi.org/10.1007/978-3-540-73368-3_22openalex-snapshot

Shape Analysis for Composite Data Structures

inferredcites →https://doi.org/10.1007/978-3-642-02918-9_7openalex-snapshot

Polymorphing Software by Randomizing Data Structure Layout

inferredcites →https://doi.org/10.1007/978-3-642-54807-9_4openalex-snapshot

Recovery of Class Hierarchies and Composition Relationships from Machine Code

inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot

A theory of type polymorphism in programming

inferredcites →https://doi.org/10.1016/j.diin.2006.10.001openalex-snapshot

FATKit: A framework for the extraction and analysis of digital forensic data from volatile system memory

inferredcites →https://doi.org/10.1016/j.infsof.2006.10.013openalex-snapshot

Working Conference on Reverse Engineering 2005

inferredcites →https://doi.org/10.1109/2.214441openalex-snapshot

An architectural framework for supporting heterogeneous instruction-set architectures

inferredcites →https://doi.org/10.1109/apsec.2014.44openalex-snapshot

Recovery of Object Oriented Features from C++ Binaries

inferredcites →https://doi.org/10.1109/compsac.2007.163openalex-snapshot

Parameter and Return-value Analysis of Binary Executables

inferredcites →https://doi.org/10.1109/csmr.2010.43openalex-snapshot

Reconstruction of Class Hierarchies for Decompilation of C++ Programs

inferredcites →https://doi.org/10.1109/kbse.1994.342669openalex-snapshot

Abstract data structure recognition

inferredcites →https://doi.org/10.1109/ms.2011.67openalex-snapshot

Usenix Security Symposium

inferredcites →https://doi.org/10.1109/msp.2004.9openalex-snapshot

USENIX Security Symposium

inferredcites →https://doi.org/10.1109/scam.2010.24openalex-snapshot

Reconstruction of Composite Types for Decompilation

inferredcites →https://doi.org/10.1109/sp.2008.24openalex-snapshot

Lares: An Architecture for Secure Active Monitoring Using Virtualization

inferredcites →https://doi.org/10.1109/sp.2010.10openalex-snapshot

Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries

inferredcites →https://doi.org/10.1109/sp.2011.11openalex-snapshot

Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection

inferredcites →https://doi.org/10.1109/sp.2011.28openalex-snapshot

OpenConflict: Preventing Real Time Map Hacks in Online Games

inferredcites →https://doi.org/10.1109/sp.2012.40openalex-snapshot

Space Traveling across VM: Automatically Bridging the Semantic Gap in Virtual Machine Introspection via Online Kernel Data Redirection

inferredcites →https://doi.org/10.1109/sp.2013.44openalex-snapshot

Practical Control Flow Integrity and Randomization for Binary Executables

inferredcites →https://doi.org/10.1109/tcc.2014.2338305openalex-snapshot

Multi-Aspect, Robust, and Memory Exclusive Guest OS Fingerprinting

inferredcites →https://doi.org/10.1109/wcre.2001.957843openalex-snapshot

Simple type system for program reengineering

inferredcites →https://doi.org/10.1109/wcre.2002.1173063openalex-snapshot

Disassembly of executable code revisited

inferredcites →https://doi.org/10.1109/wcre.2004.42openalex-snapshot

Using a decompiler for real-world source recovery

inferredcites →https://doi.org/10.1109/wcre.2006.29openalex-snapshot

Extracting Output Formats from Executables

inferredcites →https://doi.org/10.1109/wcre.2008.20openalex-snapshot

Automatic Type Reconstruction in Disassembled C Programs

inferredcites →https://doi.org/10.1109/wcre.2011.49openalex-snapshot

SmartDec: Approaching C++ Decompilation

inferredcites →https://doi.org/10.1109/wcre.2013.6671277openalex-snapshot

Who allocated my memory? Detecting custom memory allocators in C binaries

inferredcites →https://doi.org/10.1109/wcre.2013.6671278openalex-snapshot

MemPick: High-level data structure detection in C/C++ binaries

inferredcites →https://doi.org/10.1109/wpc.1999.777758openalex-snapshot

Recovery of jump table case statements from binary code

inferredcites →https://doi.org/10.1134/s0361768809020066openalex-snapshot

Automatic reconstruction of data types in the decompilation problem

inferredcites →https://doi.org/10.1145/1065010.1065034openalex-snapshot

inferredcites →https://doi.org/10.1145/1108768.1108814openalex-snapshot

String analysis for x86 binaries

inferredcites →https://doi.org/10.1145/1108792.1108814openalex-snapshot

String analysis for x86 binaries

inferredcites →https://doi.org/10.1145/1111583.1111585openalex-snapshot

Recursive data structure profiling

inferredcites →https://doi.org/10.1145/1134760.1220164openalex-snapshot

Framework for instruction-level tracing and analysis of program executions

inferredcites →https://doi.org/10.1145/1146238.1146268openalex-snapshot

Dynamic inference of abstract types

inferredcites →https://doi.org/10.1145/1250734.1250746openalex-snapshot

Valgrind

inferredcites →https://doi.org/10.1145/1315245.1315262openalex-snapshot

Stealthy malware detection through vmm-based "out-of-the-box" semantic view reconstruction

inferredcites →https://doi.org/10.1145/1315245.1315286openalex-snapshot

Polyglot

inferredcites →https://doi.org/10.1145/1455770.1455820openalex-snapshot

Tupni

inferredcites →https://doi.org/10.1145/151220.151227openalex-snapshot

Binary translation

inferredcites →https://doi.org/10.1145/1542431.1542445openalex-snapshot

Identification of logically related heap regions

inferredcites →https://doi.org/10.1145/1609956.1609960openalex-snapshot

Control-flow integrity principles, implementations, and applications

inferredcites →https://doi.org/10.1145/1653662.1653729openalex-snapshot

Mapping kernel objects to enable systematic integrity checking

inferredcites →https://doi.org/10.1145/1653662.1653737openalex-snapshot

Dispatcher

inferredcites →https://doi.org/10.1145/1669112.1669122openalex-snapshot

DDT

inferredcites →https://doi.org/10.1145/168619.168635openalex-snapshot

Efficient software-based fault isolation

inferredcites →https://doi.org/10.1145/1745312.1745315openalex-snapshot

Verifying safety properties of concurrent heap-manipulating programs

inferredcites →https://doi.org/10.1145/1851276.1851280openalex-snapshot

DDE

inferredcites →https://doi.org/10.1145/186025.186093openalex-snapshot

Decompilation: the enumeration of types and grammars

inferredcites →https://doi.org/10.1145/2024569.2024571openalex-snapshot

Labeling library functions in stripped binaries

inferredcites →https://doi.org/10.1145/2338965.2336769openalex-snapshot

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities

inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

inferredcites →https://doi.org/10.1145/2391229.2391234openalex-snapshot

OS-Sommelier

inferredcites →https://doi.org/10.1145/2491956.2462165openalex-snapshot

Scalable variable and data type detection in a binary rewriter

inferredcites →https://doi.org/10.1145/2505879.2505901openalex-snapshot

Theory propagation and rational-trees

inferredcites →https://doi.org/10.1145/2508859.2516664openalex-snapshot

Obfuscation resilient binary code reuse through trace-oriented programming

inferredcites →https://doi.org/10.1145/253228.253351openalex-snapshot

Lackwit

inferredcites →https://doi.org/10.1145/2556464.2556465openalex-snapshot

Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis

inferredcites →https://doi.org/10.1145/292540.292552openalex-snapshot

Parametric shape analysis via 3-valued logic

inferredcites →https://doi.org/10.1145/292540.292553openalex-snapshot

Aggregate structure identification and its application to program analysis

inferredcites →https://doi.org/10.1145/563647.563662openalex-snapshot

Workshop on binary translation - 2001

inferredcites →https://doi.org/10.1145/93542.93585openalex-snapshot

Analysis of pointers and structures

inferredcites →https://doi.org/10.1145/989393.989429openalex-snapshot

Analysis of pointers and structures

inferredcites →https://doi.org/10.1184/r1/6467924openalex-snapshot

HookFinder: Identifying and Understanding Malware Hooking Behaviors

inferredcites →https://doi.org/10.1184/r1/6468464openalex-snapshot

BYTEWEIGHT: Learning to Recognize Functions in Binary Code

inferredcites →https://doi.org/10.1184/r1/6469466openalex-snapshot

TIE: Principled Reverse Engineering of Types in Binary Programs

inferredcites →https://doi.org/10.14722/ndss.2014.23229openalex-snapshot

Avatar: A Framework to Support Dynamic Security Analysis of Embedded Systems’ Firmwares

inferredcites →https://doi.org/10.14722/ndss.2015.23099openalex-snapshot

VTint: Protecting Virtual Function Tables' Integrity

inferredcites →https://doi.org/10.14722/ndss.2015.23297openalex-snapshot

vfGuard: Strict Protection for Virtual Function Calls in COTS C++ Binaries

inferredcites →https://doi.org/10.21236/ada538737openalex-snapshot

Binary Code Extraction and Interface Identification for Security Applications

inferredcites →https://doi.org/10.5555/1298455.1298463openalex-snapshot

XFI: software guards for system address spaces

inferredcites →https://doi.org/10.5555/1855741.1855759openalex-snapshot

Digging for data structures

inferredcites →https://doi.org/10.5555/2342821.2342832openalex-snapshot

Body armor for binaries: preventing buffer overflows without recompilation

inferredcites →https://doi.org/10.7916/d8p55nkbopenalex-snapshot

When Firmware Modifications Attack: A Case Study of Embedded Exploitation

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-00470-5_20openalex-snapshot

$$\tau $$ CFI: Type-Assisted Control Flow Integrity for x86-64 Binaries

inferred← citeshttps://doi.org/10.1007/978-3-030-22038-9_14openalex-snapshot

TypeMiner: Recovering Types in Binary Programs Using Machine Learning

inferred← citeshttps://doi.org/10.1007/978-3-030-22038-9_23openalex-snapshot

BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation

inferred← citeshttps://doi.org/10.1007/978-3-031-74776-2_17openalex-snapshot

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

inferred← citeshttps://doi.org/10.1007/978-3-319-45719-2_3openalex-snapshot

Automatic Uncovering of Tap Points from Kernel Executions

inferred← citeshttps://doi.org/10.1007/978-3-319-68690-5_26openalex-snapshot

Learning Types for Binaries

inferred← citeshttps://doi.org/10.1007/978-3-319-93411-2_6openalex-snapshot

BINARM: Scalable and Efficient Detection of Vulnerabilities in Firmware Images of Intelligent Electronic Devices

inferred← citeshttps://doi.org/10.1007/s10515-026-00677-yopenalex-snapshot

Type recovery in stripped binaries: a comprehensive survey of inference tools and methods

inferred← citeshttps://doi.org/10.1007/s10703-022-00399-3openalex-snapshot

Relational abstract interpretation of arrays in assembly code

inferred← citeshttps://doi.org/10.1109/access.2020.2986578openalex-snapshot

Recognizing the Data Type of Firmware Data Segments With Deep Learning

inferred← citeshttps://doi.org/10.1109/access.2025.3627183openalex-snapshot

From Bytes to Types: Enhancing Type Prediction in Executables With Transformer-Based Binary Analysis Tool SeeType

inferred← citeshttps://doi.org/10.1109/ase.2017.8115646openalex-snapshot

DSIbin: Identifying dynamic data structures in C/C++ binaries

inferred← citeshttps://doi.org/10.1109/ccgrid.2019.00019openalex-snapshot

An Intelligent, Adaptive, and Flexible Data Compression Framework

inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741259openalex-snapshot

Gadgets Splicing: Dynamic Binary Transformation for Precise Rewriting

inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741274openalex-snapshot

Recovering Container Class Types in C++ Binaries

inferred← citeshttps://doi.org/10.1109/icaibd55127.2022.9820045openalex-snapshot

A Survey of Available Information Recovery of Binary Programs Based on Machine Learning

inferred← citeshttps://doi.org/10.1109/iccwamtip60502.2023.10387148openalex-snapshot

Integrating Flow and Program Analysis for Enhanced Protocol Reverse Engineering

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00020openalex-snapshot

Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers

inferred← citeshttps://doi.org/10.1109/ipdps47924.2020.00064openalex-snapshot

HCompress: Hierarchical Data Compression for Multi-Tiered Storage Environments

inferred← citeshttps://doi.org/10.1109/issrew51248.2020.00040openalex-snapshot

Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications

inferred← citeshttps://doi.org/10.1109/raid67961.2025.00027openalex-snapshot

On the Effectiveness of Custom Transformers for Binary Analysis

inferred← citeshttps://doi.org/10.1109/saner56733.2023.00033openalex-snapshot

Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries

inferred← citeshttps://doi.org/10.1109/sc41405.2020.00093openalex-snapshot

GVPROF: A Value Profiler for GPU-Based Clusters

inferred← citeshttps://doi.org/10.1109/sp40001.2021.00114openalex-snapshot

NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis

inferred← citeshttps://doi.org/10.1109/tdsc.2021.3133500openalex-snapshot

EnBinDiff: Identifying Data-Only Patches for Binaries

inferred← citeshttps://doi.org/10.1109/tr.2018.2884143openalex-snapshot

Type Learning for Binaries and Its Applications

inferred← citeshttps://doi.org/10.1145/2976749.2989041openalex-snapshot

POSTER

inferred← citeshttps://doi.org/10.1145/3141235.3141244openalex-snapshot

Binary Code Retrofitting and Hardening Using SGX

inferred← citeshttps://doi.org/10.1145/3173162.3173202openalex-snapshot

Statistical Reconstruction of Class Hierarchies in Binaries

inferred← citeshttps://doi.org/10.1145/3176258.3176309openalex-snapshot

From Debugging-Information Based Binary-Level Type Inference to CFG Generation

inferred← citeshttps://doi.org/10.1145/3211346.3211347openalex-snapshot

Clone-hunter: accelerated bound checks elimination via binary code clone detection

inferred← citeshttps://doi.org/10.1145/3296957.3173202openalex-snapshot

Statistical Reconstruction of Class Hierarchies in Binaries

inferred← citeshttps://doi.org/10.1145/3307650.3322256openalex-snapshot

Bouncer

inferred← citeshttps://doi.org/10.1145/3316415openalex-snapshot

From Hack to Elaborate Technique—A Survey on Binary Rewriting

inferred← citeshttps://doi.org/10.1145/3428244openalex-snapshot

Sound garbage collection for C using pointer provenance

inferred← citeshttps://doi.org/10.1145/3446371openalex-snapshot

A Survey of Binary Code Similarity

inferred← citeshttps://doi.org/10.1145/3468264.3468607openalex-snapshot

StateFormer: fine-grained type recovery from binaries using generative state modeling

inferred← citeshttps://doi.org/10.1145/3475738.3480719openalex-snapshot

Architecture-agnostic dynamic type recovery

inferred← citeshttps://doi.org/10.1145/3485471openalex-snapshot

AutoProfile: Towards Automated Profile Generation for Memory Analysis

inferred← citeshttps://doi.org/10.1145/3486860openalex-snapshot

A Survey of Binary Code Fingerprinting Approaches: Taxonomy, Methodologies, and Features

inferred← citeshttps://doi.org/10.1145/3519939.3523449openalex-snapshot

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

inferred← citeshttps://doi.org/10.1145/3523181.3523207openalex-snapshot

GRIN: Make Rewriting More Precise

inferred← citeshttps://doi.org/10.1145/3551349.3561152openalex-snapshot

Cornucopia : A Framework for Feedback Guided Generation of Binaries

inferred← citeshttps://doi.org/10.1145/3650212.3652141openalex-snapshot

Multi-modal Learning for WebAssembly Reverse Engineering

inferred← citeshttps://doi.org/10.1145/3658644.3691386openalex-snapshot

Poster: Formally Verified Binary Lifting to P-Code

inferred← citeshttps://doi.org/10.1145/3696443.3708936openalex-snapshot

Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries

inferred← citeshttps://doi.org/10.1145/3728974openalex-snapshot

Type-Alias Analysis: Enabling LLVM IR with Accurate Types

inferred← citeshttps://doi.org/10.1145/3729388openalex-snapshot

Recasting Type Hints from WebAssembly Contracts

inferred← citeshttps://doi.org/10.1145/3733822.3764675openalex-snapshot

Benchmarking Binary Type Inference Techniques in Decompilers

inferred← citeshttps://doi.org/10.1145/3744916.3773121openalex-snapshot

Precise Static Identification of Ethereum Storage Variables

inferred← citeshttps://doi.org/10.1145/3844948openalex-snapshot

A Survey of Symbol Name Recovery in Software Reverse Engineering

inferred← citeshttps://doi.org/10.14722/bar.2019.23090openalex-snapshot

Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools

inferred← citeshttps://doi.org/10.14722/ndss.2018.23300openalex-snapshot

Superset Disassembly: Statically Rewriting x86 Binaries Without Heuristics

inferred← citeshttps://doi.org/10.20868/upm.thesis.57490openalex-snapshot

Lineage Inference of Packed Malware using Binary Code Similarity

inferred← citeshttps://doi.org/10.3897/jucs.71831openalex-snapshot

A Compiler and Language Support for Designing Mixed-Criticality Applications

inferred← citeshttps://doi.org/10.48550/arxiv.2101.08116openalex-snapshot

Improving type information inferred by decompilers with supervised machine learning

inferred← citeshttps://doi.org/10.48550/arxiv.2103.12801openalex-snapshot

Variable Name Recovery in Decompiled Binary Code using Constrained Masked Language Modeling

inferred← citeshttps://doi.org/10.70675/7d58a8e0za008z4cb2z82c7zc7ec033b26adopenalex-snapshot

Advances in memory forensics

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.