WYSINWYX: What you see is not what you eXecute

No abstract is available for this paper.

• Publication year

  2005

• Venue

  TOPL

• Publication date

  2005-10-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1749608.1749612
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering

  2011cited by this paper
• The Empirical Study

  2011cited by this paper
• Design and Implementation

  2009cited by this paper
• The worst-case execution-time problem—overview of methods and survey of tools

  2008cited by this paper
• A System for Generating Static Analyzers for Machine Instructions

  2008cited by this paper
• A theory of platform-dependent low-level software

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

  2008influential reference
• Analyzing Stripped Device-Driver Executables

  2008influential reference
• 1201. Circumvention of copyright protection systems

  2007cited by this paper
• DIVINE: DIscovering Variables IN Executables

  2007influential reference
• AWE: improving software analysis through modular integration of static and dynamic analyses

  2007cited by this paper
• Parameter and Return-value Analysis of Binary Executables

  2007influential reference
• Static single assignment for decompilation

  2007cited by this paper
• Low-Level Library Analysis and Summarization

  2007influential reference
• Certified self-modifying code

  2007cited by this paper
• Modular verification of assembly code with stack-based control abstractions

  2006cited by this paper
• Extracting Output Formats from Executables

  2006cited by this paper
• Lookahead Widening

  2006cited by this paper
• Recency-Abstraction for Heap-Allocated Storage

  2006influential reference
• Intermediate-representation recovery from low-level code

  2006cited by this paper
• Analysis of Low-Level Code Using Cooperating Decompilers

  2006cited by this paper
• Improving Pushdown System Model Checking

  2006influential reference
• Path-Sensitive Dataflow Analysis with Iterative Refinement

  2006cited by this paper
• Static Detection of Vulnerabilities in x86 Executables

  2006cited by this paper
• Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics

  2006cited by this paper
• HP Laboratories

  2006cited by this paper
• Certified assembly programming with embedded code pointers

  2006cited by this paper
• Thorough static analysis of device drivers

  2006cited by this paper
• Joining dataflow with predicates

  2005cited by this paper
• A Next-Generation Platform for Analyzing Executables

  2005influential reference
• Automating Mimicry Attacks Using Static Binary Analysis

  2005cited by this paper
• Improving the reliability of commodity operating systems

  2005cited by this paper
• Practical and accurate low-level pointer analysis

  2005cited by this paper
• WPDS++: A C++ library for weighted pushdown systems

  2005cited by this paper
• Trace Partitioning in Abstract Interpretation Based Static Analyzers

  2005cited by this paper
• String analysis for x86 binaries

  2005cited by this paper
• Model Checking x86 Executables with CodeSurfer/x86 and WPDS++

  2005cited by this paper
• Extended Weighted Pushdown Systems

  2005cited by this paper
• A framework for numeric analysis of array operations

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

  2005influential reference
• Region-based shape analysis with tracked locations

  2005cited by this paper
• Analysis of modular arithmetic

  2005cited by this paper
• Parameterized object sensitivity for points-to analysis for Java

  2005cited by this paper
• Recovering device drivers

  2004cited by this paper
• Abstractions from proofs

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

  2004influential reference
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

  2004cited by this paper
• Precise interprocedural analysis through linear algebra

  2004cited by this paper
• RETROSPECTIVE : Interprocedural Side-Effect Analysis in Linear Time

  2004cited by this paper
• Programmanalyse des XRTL-Zwischencodes

  2004influential reference
• Numeric Domains with Summarized Dimensions

  2004cited by this paper
• A generic approach to the static analysis of concurrent programs with procedures

  2003cited by this paper
• CSSV: towards a realistic tool for statically detecting all buffer overflows in C

  2003cited by this paper
• Weighted pushdown systems and their application to interprocedural dataflow analysis

  2003cited by this paper
• Eliminating stack overflow by abstract interpretation

  2003influential reference
• A static analyzer for large safety-critical software

  2003cited by this paper
• Interprocedural static slicing of binary executables

  2003cited by this paper
• Hacker's Delight

  2002cited by this paper
• Model checking pushdown systems

  2002cited by this paper
• ESP: path-sensitive program verification in polynomial time

  2002influential reference
• MOPS: an infrastructure for examining security properties of software

  2002cited by this paper
• Lazy abstraction

  2002influential reference
• Abstract Interpretation-Based Certification of Assembly Code

  2002cited by this paper
• Parametric shape analysis via 3-valued logic

  2002cited by this paper
• Secure Execution via Program Shepherding

  2002cited by this paper
• Automated Verification of Concurrent Linked Lists with Counters

  2002cited by this paper
• Multics security evaluation: vulnerability analysis

  2002cited by this paper
• Compactly Representing First-Order Structures for Static Analysis

  2002cited by this paper
• Pointer analysis: haven't we solved this problem yet?

  2001cited by this paper
• Reliable and Precise WCET Determination for a Real-Life Processor

  2001cited by this paper
• The SLAM Toolkit

  2001influential reference
• Typestate Checking of Machine Code

  2001cited by this paper
• An empirical study of operating systems errors

  2001cited by this paper
• Vulcan Binary transformation in a distributed environment

  2001cited by this paper
• Bebop: A Symbolic Model Checker for Boolean Programs

  2000cited by this paper
• Safety checking of machine code

  2000cited by this paper
• Dynamo: a transparent dynamic optimization system

  2000cited by this paper
• A static analyzer for finding dynamic programming errors

  2000cited by this paper
• Practical virtual method call resolution for Java

  2000cited by this paper
• Putting static analysis to work for verification: A case study

  2000cited by this paper
• Model checking JAVA programs using JAVA PathFinder

  2000cited by this paper
• Symbolic bounds analysis of pointers, array indices, and accessed memory regions

  2000cited by this paper
• A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

  2000cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• Unification-based pointer analysis with directional assignments

  2000cited by this paper
• Counterexample-Guided Abstraction Refinement

  2000cited by this paper
• Static Detection of Malicious Code in Executable Programs

  2000cited by this paper
• Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C

  2000cited by this paper
• Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation

  2000cited by this paper
• On the Static Analysis of Indirect Control Transfers in Binaries

  2000influential reference
• Checking system rules using system-specific, programmer-written compiler extensions

  2000cited by this paper
• Translation validation for an optimizing compiler

  2000cited by this paper
• Scalable context-sensitive flow analysis using instantiation constraints

  2000cited by this paper
• Physical type checking for C

  1999cited by this paper
• Combining Interprocedural Pointer Analysis and Conditional Constant Propagation

  1999cited by this paper
• Descriptive Complexity

  1999cited by this paper
• Patterns in property specifications for finite-state verification

  1999cited by this paper
• Static analysis of binary code to isolate malicious behaviors

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

  1999influential reference
• Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

  1999cited by this paper

• Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis

  2025cites this paper
• Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables

  2025cites this paper
• Recent Advances in Malware Detection: Graph Learning and Explainability

  2025cites this paper
• BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction

  2025cites this paper
• Formally Verified Binary-Level Pointer Analysis

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

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

  2025cites this paper
• Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis

  2025cites this paper
• HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing

  2024cites this paper
• SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing

  2024cites this paper
• When Compiler Optimizations Meet Symbolic Execution: An Empirical Study

  2024cites this paper
• Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening

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

  2024cites this paper
• Define-Use Guided Path Exploration for Better Forced Execution

  2024cites this paper
• FFXE: Dynamic Control Flow Graph Recovery for Embedded Firmware Binaries

  2024cites this paper
• NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps

  2024cites this paper
• BinVuGAL: Binary vulnerability detection method based on graph neural network combined with assembly language model

  2024cites this paper
• Do You Trust Your Device? Open Challenges in IoT Security Analysis

  2024cites this paper
• Identifying runtime libraries in statically linked linux binaries

  2024cites this paper
• Compiling with Abstract Interpretation

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

  2024cites this paper
• HardRace: A Dynamic Data Race Monitor for Production Use

  2024cites this paper
• Polynima: Practical Hybrid Recompilation for Multithreaded Binaries

  2024cites this paper
• Binsweep: Reliably Restricting Untrusted Instruction Streams with Static Binary Analysis and Control-Flow Integrity

  2024cites this paper
• Enhancing Reverse Engineering: Investigating and Benchmarking Large Language Models for Vulnerability Analysis in Decompiled Binaries

  2024cites this paper
• Con2Mix: A semi-supervised method for imbalanced tabular security data

  2023cites this paper
• AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation

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

  2023cites this paper
• An Empirical Comparison on the Results of Different Clone Detection Setups for C-based Projects

  2023cites this paper
• Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode

  2023cites this paper
• Lift-off: Trustworthy ARMv8 semantics from formal specifications

  2023cites this paper
• FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware

  2023cites this paper
• Warp-Level CFG Construction for GPU Kernel WCET Analysis

  2023cites this paper
• A Firmware Vulnerability Detection Method Based on Feature Filtering

  2023cites this paper
• Exploring Missed Optimizations in WebAssembly Optimizers

  2023cites this paper
• Controlled Data Races in Enclaves: Attacks and Detection

  2023influential citation
• Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis

  2023cites this paper
• A Survey of Binary Code Fingerprinting Approaches: Taxonomy, Methodologies, and Features

  2022cites this paper
• Performant Binary Fuzzing without Source Code using Static Instrumentation

  2022cites this paper
• Towards Deceptive Defense in Software Security with Chaff Bugs

  2022cites this paper
• SENinja: A symbolic execution plugin for Binary Ninja

  2022cites this paper
• Representing LLVM-IR in a Code Property Graph

  2022cites this paper
• Decompiling x86 Deep Neural Network Executables

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

  2022cites this paper
• PLDI: G: Smaller and More Secure: Static Debloating of MIPS Firmware Shared Libraries

  2022cites this paper
• One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries

  2022cites this paper
• Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

  2022cites this paper
• NeuDep: neural binary memory dependence analysis

  2022cites this paper
• SELF: A method of searching for library functions in stripped binary code

  2021cites this paper
• StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries

  2021cites this paper
• POMP++: Facilitating Postmortem Program Diagnosis with Value-Set Analysis

  2021cites this paper
• Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis

  2021cites this paper
• Program Protection through Software-based Hardware Abstraction

  2021cites this paper
• ASE: A Value Set Decision Procedure for Symbolic Execution

  2021cites this paper
• SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting

  2021influential citation
• BCD: A Cross-Architecture Binary Comparison Database Experiment Using Locality Sensitive Hashing Algorithms

  2021cites this paper
• MLIR: Scaling Compiler Infrastructure for Domain Specific Computation

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

  2021cites this paper
• Reconciling optimization with secure compilation

  2021cites this paper
• Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

  2021cites this paper
• Memory Safety for Binary Programs

  2021cites this paper
• Evolution of Malware in the Digital Transformation Age

  2021cites this paper
• Secure Optimization Through Opaque Observations

  2021cites this paper
• Unleashing the hidden power of compiler optimization on binary code difference: an empirical study

  2021cites this paper
• Application of Multifactor Analysis for the Purpose of Detecting Malicious Software Implants of the Software in Local Computer Networks

  2021cites this paper
• ROMEO: A binary vulnerability detection dataset for exploring Juliet through the lens of assembly language

  2021cites this paper
• Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis

  2021cites this paper
• StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

  2021cites this paper
• BinSide : Static Analysis Framework for Defects Detection in Binary Code

  2020cites this paper
• L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel

  2020cites this paper
• Scalable validation of binary lifters

  2020cites this paper
• Detecting Software Malicious Implant Based on Anomalies Research on Local Area Networks

  2020cites this paper
• A Generating-Extension-Generator for Machine Code

  2020influential citation
• RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

  2020cites this paper
• How far we have come: testing decompilation correctness of C decompilers

  2020cites this paper
• Secure delivery of program properties through optimizing compilation

  2020cites this paper
• MLIR: A Compiler Infrastructure for the End of Moore's Law

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

  2020influential citation
• Binary Analysis Overview

  2020cites this paper
• Cyber Vulnerability Intelligence for Internet of Things Binary

  2020cites this paper
• Compiler Provenance Attribution

  2020cites this paper
• Get Rid of Inline Assembly through Verification-Oriented Lifting

  2019cites this paper
• Decoupling coding habits from functionality for effective binary authorship attribution

  2019cites this paper
• Scalable Dynamic Analysis of Binary Code

  2019cites this paper
• Precise system-wide concatic malware unpacking

  2019cites this paper
• TraceFilter: An Exploitability Analyzer of Vulnerabilities in Binary Code

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

  2019cites this paper
• How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)

  2019cites this paper
• Usuba: high-throughput and constant-time ciphers, by construction

  2019cites this paper
• Timing-Sensitive Synchronization for Efficient Secure Multi-Execution

  2019cites this paper
• BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation

  2019cites this paper
• Accurate and Scalable Cross-Architecture Cross-OS Binary Code Search with Emulation

  2019cites this paper
• A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

  2019cites this paper
• Triggerflow: Regression Testing by Advanced Execution Path Inspection

  2019cites this paper
• Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis

  2019cites this paper
• Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen

  2019cites this paper
• Get rid of inline assembly through trustable verification-oriented lifting

  2019cites this paper
• Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

  2019cites this paper
• Improving WCET Evaluation using Linear Relation Analysis

  2019cites this paper
• Using Binary Analysis Frameworks: The Case for BAP and angr

  2019cites this paper