On the public citation graph
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation
0 signed · 84 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
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-31985-6_14openalex-snapshot
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
inferredcites →https://doi.org/10.1007/978-3-540-89862-7_1openalex-snapshot
BitBlaze: A New Approach to Computer Security via Binary Analysis
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_37openalex-snapshot
BAP: A Binary Analysis Platform
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_3openalex-snapshot
Running Probabilistic Programs Backwards
inferredcites →https://doi.org/10.1016/j.cose.2015.03.008openalex-snapshot
Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs
inferredcites →https://doi.org/10.1109/32.83912openalex-snapshot
Using program slicing in software maintenance
inferredcites →https://doi.org/10.1109/ase30473.2013openalex-snapshot
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
inferredcites →https://doi.org/10.1109/icsm.1993.366934openalex-snapshot
Using dependence analysis to support the software maintenance process
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/qest.2009.21openalex-snapshot
Language-Level Symmetry Reduction for Probabilistic Model Checking
inferredcites →https://doi.org/10.1109/rtcsa.2000.896367openalex-snapshot
Extracting safe and precise control flow from binaries
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.2019.00003openalex-snapshot
Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization
inferredcites →https://doi.org/10.1145/1040305.1040332openalex-snapshot
Precise interprocedural analysis using random interpretation
inferredcites →https://doi.org/10.1145/1328438.1328464openalex-snapshot
Demand-driven alias analysis for C
inferredcites →https://doi.org/10.1145/1375581.1375615openalex-snapshot
Sound, complete and scalable path-sensitive analysis
inferredcites →https://doi.org/10.1145/1375634.1375648openalex-snapshot
Sampling-based program locality approximation
inferredcites →https://doi.org/10.1145/1390630.1390658openalex-snapshot
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis
inferredcites →https://doi.org/10.1145/1572272.1572287openalex-snapshot
Detecting code clones in binary executables
inferredcites →https://doi.org/10.1145/174675openalex-snapshot
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94
inferredcites →https://doi.org/10.1145/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/1926385.1926389openalex-snapshot
Points-to analysis with efficient strong updates
inferredcites →https://doi.org/10.1145/1985793.1985840openalex-snapshot
Run-time efficient probabilistic model checking
inferredcites →https://doi.org/10.1145/199448openalex-snapshot
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95
inferredcites →https://doi.org/10.1145/2338965.2336773openalex-snapshot
Probabilistic symbolic execution
inferredcites →https://doi.org/10.1145/2363.2366openalex-snapshot
Information-flow and data-flow analysis of while-programs
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/2508859.2516664openalex-snapshot
Obfuscation resilient binary code reuse through trace-oriented programming
inferredcites →https://doi.org/10.1145/268946.268948openalex-snapshot
Alias analysis of executable code
inferredcites →https://doi.org/10.1145/2786805.2786823openalex-snapshot
Efficient dependency detection for safe Java test acceleration
inferredcites →https://doi.org/10.1145/2786805.2786832openalex-snapshot
Iterative distribution-aware sampling for probabilistic symbolic execution
inferredcites →https://doi.org/10.1145/2950290.2950310openalex-snapshot
A deployable sampling strategy for data race detection
inferredcites →https://doi.org/10.1145/2950290.2950343openalex-snapshot
Python probabilistic type inference with natural language support
inferredcites →https://doi.org/10.1145/3062341.3062359openalex-snapshot
Context transformations for pointer analysis
inferredcites →https://doi.org/10.1145/3106237.3106249openalex-snapshot
Failure-directed program trimming
inferredcites →https://doi.org/10.1145/3106237.3106295openalex-snapshot
Steelix: program-state based binary fuzzing
inferredcites →https://doi.org/10.1145/3133956.3134018openalex-snapshot
Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection
inferredcites →https://doi.org/10.1145/3141235.3141244openalex-snapshot
Binary Code Retrofitting and Hardening Using SGX
inferredcites →https://doi.org/10.1145/581888.581894openalex-snapshot
Frequent value locality and its applications
inferredcites →https://doi.org/10.1145/93542openalex-snapshot
Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation - PLDI '90
inferredcites →https://doi.org/10.1145/964001.964030openalex-snapshot
Global value numbering using random interpretation
inferredcites →https://doi.org/10.1184/r1/6468716openalex-snapshot
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
inferredcites →https://doi.org/10.1184/r1/6469466openalex-snapshot
TIE: Principled Reverse Engineering of Types in Binary Programs
inferredcites →https://doi.org/10.48550/arxiv.1705.07204openalex-snapshot
Ensemble Adversarial Training: Attacks and Defenses
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1109/compsac61105.2024.00132openalex-snapshot
CCall: Recovering Indirect Call Targets from Binaries With Cross-Domain Fine-Tuning
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00231openalex-snapshot
Formally Verified Binary-Level Pointer Analysis
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00051openalex-snapshot
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179482openalex-snapshot
Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00193openalex-snapshot
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3588687openalex-snapshot
CALLEE: Recovering Call Graphs for Binaries With Transfer and Contrastive Learning
inferred← citeshttps://doi.org/10.1109/tse.2025.3623325openalex-snapshot
Augmenting Smart Contract Decompiler Output Through Fine-Grained Dependency Analysis and LLM-Facilitated Semantic Recovery
inferred← citeshttps://doi.org/10.1145/3428232openalex-snapshot
Compiling symbolic execution with staging and algebraic effects
inferred← citeshttps://doi.org/10.1145/3464457openalex-snapshot
A Survey of Parametric Static Analysis
inferred← citeshttps://doi.org/10.1145/3497776.3517776openalex-snapshot
BinPointer: towards precise, sound, and scalable binary-level pointer analysis
inferred← citeshttps://doi.org/10.1145/3540250.3549147openalex-snapshot
NeuDep: neural binary memory dependence analysis
inferred← citeshttps://doi.org/10.1145/3551349.3561152openalex-snapshot
Cornucopia : A Framework for Feedback Guided Generation of Binaries
inferred← citeshttps://doi.org/10.1145/3597926.3598062openalex-snapshot
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
inferred← citeshttps://doi.org/10.1145/3597926.3598121openalex-snapshot
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
inferred← citeshttps://doi.org/10.1145/3611643.3616301openalex-snapshot
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
inferred← citeshttps://doi.org/10.1145/3623278.3624759openalex-snapshot
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
inferred← citeshttps://doi.org/10.1145/3643752openalex-snapshot
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
inferred← citeshttps://doi.org/10.1145/3658644.3670340openalex-snapshot
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3728928openalex-snapshot
BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
inferred← citeshttps://doi.org/10.1145/3779208.3785293openalex-snapshot
TRM: An Efficient Hypervisor-Based Framework For Malware Analysis and Memory Reconstruction
inferred← citeshttps://doi.org/10.1145/3797130openalex-snapshot
Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis
inferred← citeshttps://doi.org/10.1145/3798206openalex-snapshot
Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
inferred← citeshttps://doi.org/10.1145/3832245openalex-snapshot
BinRAG: An RAG-Based Decompilation Framework Fusing Name Prediction and Calling Context
inferred← citeshttps://doi.org/10.14722/ndss.2021.24386openalex-snapshot
Refining Indirect Call Targets at the Binary Level
inferred← citeshttps://doi.org/10.14722/ndss.2021.24531openalex-snapshot
NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
inferred← citeshttps://doi.org/10.14722/ndss.2024.24401openalex-snapshot
DeGPT: Optimizing Decompiler Output with LLM
inferred← citeshttps://doi.org/10.48550/arxiv.2109.12209openalex-snapshot
Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis
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.