Howard: A Dynamic Excavator for Reverse Engineering Data Structures

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Network and Distributed System Security Symposium

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• S2E: a platform for in-vivo multi-path analysis of software systems

  2011cited by this paper
• Reverse engineering of binary device drivers with RevNIC

  2010cited by this paper
• Automatic Reverse Engineering of Data Structures from Binary Execution

  2010influential reference
• PAriCheck: an efficient pointer arithmetic checker for C programs

  2010cited by this paper
• ReFormat: Automatic Reverse Engineering of Encrypted Messages

  2009cited by this paper
• Prospex: Protocol Specification Extraction

  2009cited by this paper
• Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors

  2009cited by this paper
• Digging for Data Structures

  2008influential reference
• Tupni: automatic reverse engineering of input formats

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008cited by this paper
• Preventing Memory Error Exploits with WIT

  2008cited by this paper
• Automatic Network Protocol Analysis

  2008cited by this paper
• Improved Memory-Access Analysis for x86 Executables

  2008cited by this paper
• Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution

  2008cited by this paper
• Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture

  2008cited by this paper
• Polyglot: automatic extraction of protocol message format using dynamic binary analysis

  2007cited by this paper
• Information Hiding in Software with Mixed Boolean-Arithmetic Transforms

  2007cited by this paper
• Detecting System Emulators

  2007cited by this paper
• Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels

  2007cited by this paper
• Attacks on Virtual Machine Emulators

  2007cited by this paper
• Generalising the array split obfuscation

  2007cited by this paper
• Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software

  2006cited by this paper
• Compilers: Principles, Techniques, and Tools (2nd Edition)

  2006cited by this paper
• QEMU, a Fast and Portable Dynamic Translator

  2005cited by this paper
• String analysis for x86 binaries

  2005cited by this paper
• WYSINWYX: What you see is not what you eXecute

  2005cited by this paper
• Non-Control-Data Attacks Are Realistic Threats

  2005cited by this paper
• CodeSurfer/x86-A Platform for Analyzing x86 Executables

  2005cited by this paper
• Efficient Techniques for Comprehensive Protection from Memory Error Exploits

  2005cited by this paper
• On the effectiveness of address-space randomization

  2004cited by this paper
• Analyzing Memory Accesses in x86 Binary Executables

  2003influential reference
• White-Box Cryptography and an AES Implementation

  2002cited by this paper
• Aggregate structure identification and its application to program analysis

  1999cited by this paper
• StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks

  1998cited by this paper
• A Taxonomy of Obfuscating Transformations

  1997cited by this paper
• Smashing The Stack For Fun And Profit

  1996cited by this paper
• Compiler transformations for high-performance computing

  1994cited by this paper
• Compilers

  1973cited by this paper
• LoopProf : Dynamic Techniques for Loop Detection and Profiling

  year unknowncited by this paper

• HyRES: Recovering Data Structures in Binaries via Semantic Enhanced Hybrid Reasoning

  2025influential citation
• Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code

  2025cites this paper
• From Bytes to Types: Enhancing Type Prediction in Executables With Transformer-Based Binary Analysis Tool SeeType

  2025cites this paper
• Idioms: Neural Decompilation With Joint Code and Type Definition Prediction

  2025cites this paper
• TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries

  2025cites this paper
• Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering

  2025cites this paper
• DRAGON: Predicting Decompiled Variable Data Types with Learned Confidence Estimates

  2025cites this paper
• Benchmarking Binary Type Inference Techniques in Decompilers

  2025cites this paper
• Recover Function Signature from Combined Constraints

  2025cites this paper
• FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them

  2025cites this paper
• Resolving Indirect Calls in Binary Code via Cross-Reference Augmented Graph Neural Networks

  2025cites this paper
• Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary

  2025cites this paper
• An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy

  2025cites this paper
• SoK: No Goto, No Cry? The Fairy Tale of Flawless Control-Flow Structuring

  2025cites this paper
• R3-Bench: Reproducible Real-world Reverse Engineering Dataset for Symbol Recovery

  2025cites this paper
• The Reversing Machine: Reconstructing Memory Assumptions

  2024cites this paper
• TYGR: Type Inference on Stripped Binaries using Graph Neural Networks

  2024cites this paper
• VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts

  2024cites this paper
• "Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning

  2024cites this paper
• FirmDiff: Improving the Configuration of Linux Kernels Geared Towards Firmware Re-hosting

  2024cites this paper
• What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation

  2024cites this paper
• Camouflage: Utility-Aware Obfuscation for Accurate Simulation of Sensitive Program Traces

  2024cites this paper
• STRIDE: Simple Type Recognition In Decompiled Executables

  2024cites this paper
• Ahoy SAILR! There is No Need to DREAM of C: A Compiler-Aware Structuring Algorithm for Binary Decompilation

  2024cites this paper
• Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

  2024cites this paper
• Blaze: A Framework for Interprocedural Binary Analysis

  2023cites this paper
• NestFuzz: Enhancing Fuzzing with Comprehensive Understanding of Input Processing Logic

  2023cites this paper
• Capturing Invalid Input Manipulations for Memory Corruption Diagnosis

  2023cites this paper
• Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary

  2023cites this paper
• MTSan: A Feasible and Practical Memory Sanitizer for Fuzzing COTS Binaries

  2023cites this paper
• A Parallel Memory Defect Detection Method based on Sparse-Value-Flow Graph

  2023cites this paper
• AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering

  2023cites this paper
• EnBinDiff: Identifying Data-Only Patches for Binaries

  2023cites this paper
• FirmSolo: Enabling dynamic analysis of binary Linux-based IoT kernel modules

  2023cites this paper
• Egg Hunt in Tesla Infotainment: A First Look at Reverse Engineering of Qt Binaries

  2023influential citation
• Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers

  2023cites this paper
• AutoProfile: Towards Automated Profile Generation for Memory Analysis

  2022cites this paper
• MinSIB: Minimized static instrumentation for fuzzing binaries

  2022cites this paper
• SigRec: Automatic Recovery of Function Signatures in Smart Contracts

  2022cites this paper
• Recovering Container Class Types in C++ Binaries

  2022cites this paper
• LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference

  2022cites this paper
• SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications

  2022cites this paper
• RTOSExtracter: Extracting user-defined functions in stripped RTOS-based firmware

  2022cites this paper
• In the Land of MMUs: Multiarchitecture OS-Agnostic Virtual Memory Forensics

  2022cites this paper
• spotFuzzer: Static Instrument and Fuzzing Windows COTs

  2022cites this paper
• Minimum Viable IO Drivers for TrustZone

  2021cites this paper
• Protocol Reverse-Engineering Methods and Tools: A Survey

  2021cites this paper
• Forecasting Malware Capabilities From Cyber Attack Memory Images

  2021cites this paper
• Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs

  2021cites this paper
• MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation

  2021cites this paper
• NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis

  2021cites this paper
• OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary

  2021influential citation
• StateFormer: fine-grained type recovery from binaries using generative state modeling

  2021influential citation
• Automatic Reverse Engineering of Script Engine Binaries for Building Script API Tracers

  2021cites this paper
• Relational abstract interpretation of arrays in assembly code

  2021cites this paper
• Memory Safety for Binary Programs

  2021cites this paper
• Minimum viable device drivers for ARM trustzone

  2021cites this paper
• Augmenting Decompiler Output with Learned Variable Names and Types

  2021cites this paper
• BinRec: dynamic binary lifting and recompilation

  2020cites this paper
• Binary Analysis Overview

  2020cites this paper
• GMAI

  2020cites this paper
• Binary Code Fingerprinting for Cybersecurity: Application to Malicious Code Fingerprinting

  2020cites this paper
• FirmXRay: Detecting Bluetooth Link Layer Vulnerabilities From Bare-Metal Firmware

  2020cites this paper
• GMAI: A GPU Memory Allocation Inspection Tool for Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems

  2020cites this paper
• A Hardware-Based Architecture-Neutral Framework for Real-Time IoT Workload Forensics

  2020cites this paper
• PatchScope: Memory Object Centric Patch Diffing

  2020influential citation
• ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery

  2019influential citation
• Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems

  2019cites this paper
• Recovery of High-Level Intermediate Representations of Algorithms from Binary Code

  2019cites this paper
• Static Evaluation of Type Inference and Propagation on Global Variables with Varying Context

  2019cites this paper
• Static Detection of Uninitialized Stack Variables in Binary Code

  2019cites this paper
• Locating vulnerabilities in binaries via memory layout recovering

  2019influential citation
• Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries

  2019cites this paper
• TypeMiner: Recovering Types in Binary Programs Using Machine Learning

  2019cites this paper
• BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation

  2019cites this paper
• Type Learning for Binaries and Its Applications

  2019cites this paper
• From Hack to Elaborate Technique—A Survey on Binary Rewriting

  2019cites this paper
• Faultprog: Testing the Accuracy of Binary-Level Software Fault Injection

  2018cites this paper
• What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices

  2018cites this paper
• TIFF: Using Input Type Inference To Improve Fuzzing

  2018influential citation
• Android STAR: An Efficient Interaction-Preserving Record-Replay System For Messenger App Usage Surveillance

  2018cites this paper
• A Human-Centric Approach For Binary Code Decompilation

  2018cites this paper
• Chapter Five - A Tutorial on Software Obfuscation

  2018cites this paper
• Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge

  2018cites this paper
• Automating Mobile Device File Format Analysis

  2018influential citation
• Tipped Off by Your Memory Allocator: Device-Wide User Activity Sequencing from Android Memory Images

  2018cites this paper
• Run-Time Detection of Protocol Bugs in Storage I/O Device Drivers

  2018cites this paper
• Développement et évaluation d'obsfucations de protocoles basées sur la spécification. (Development and evaluation of protocol obsfucations based on the specification)

  2018cites this paper
• dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis

  2017cites this paper
• A Tutorial on Software

  2017influential citation
• DSIbin: Identifying dynamic data structures in C/C++ binaries

  2017influential citation
• Learning Types for Binaries

  2017cites this paper
• CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems

  2017cites this paper
• deExploit: Identifying misuses of input data to diagnose memory-corruption exploits at the binary level

  2017cites this paper
• adapting software testing techniques to enhance software security

  2017influential citation
• Towards Efficient Heap Overflow Discovery

  2017cites this paper
• State of the art of network protocol reverse engineering tools

  2017influential citation
• Using run-time randomization against memory corruption attacks on legacy binaries

  2017influential citation
• THE SCALABLE AND ACCOUNTABLE BINARY CODE SEARCH AND ITS APPLICATIONS

  2017influential citation
• Reverse-engineering of binaries in a single execution : a lightweight function-grained dynamic analysis. (Rétro-ingénierie de programmes binaires en une exécution : une analyse dynamique légère basée au niveau des fonctions)

  2017cites this paper