Cover Image

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dietrich, Jens, White, Tim, Hassanshahi, Behnaz, Krishnan, Paddy
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Software Engineering D.2.13; D.3.4; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
by: de Sousa, Briza Mel Dias, et al.
Published: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

Hidden Dependencies and Component Variants in SBOM-Based Software Composition Analysis
by: Rasheed, Shawn, et al.
Published: (2026)

On the computational complexity of Data Flow Analysis
by: Sood, Gaurav, et al.
Published: (2013)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
by: Paramitha, Ranindya, et al.
Published: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Test2VA: Reusing GUI Test Cases for Voice Assistant Features Development in Mobile Applications
by: Weaver, Garrett, et al.
Published: (2024)

Detecting Semantic Clones of Unseen Functionality
by: Kitsios, Konstantinos, et al.
Published: (2025)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

Don't mention it: An approach to assess challenges to using software mentions for citation and discoverability research
by: Druskat, Stephan, et al.
Published: (2024)

Characterizing JavaScript Security Code Smells
by: Kambhampati, Vikas, et al.
Published: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
by: Wodiany, Igor, et al.
Published: (2024)

OpenDORS: A dataset of openly referenced open research software
by: Druskat, Stephan, et al.
Published: (2025)

Source Code Hotspots: A Diagnostic Method for Quality Issues
by: Muzammil, Saleha, et al.
Published: (2026)

On the Use of Deep Learning Models for Semantic Clone Detection
by: Pinku, Subroto Nag, et al.
Published: (2024)

Behavior Trees and State Machines in Robotics Applications
by: Ghzouli, Razan, et al.
Published: (2022)

Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering
by: Meixner, Kristof, et al.
Published: (2024)

Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI
by: Sundberg, Edwin, et al.
Published: (2025)

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
by: Arora, Jai, et al.
Published: (2025)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
by: Ouyang, Ciyan, et al.
Published: (2026)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
by: Hellwig, Alexander, et al.
Published: (2025)

Dynamic Race Detection With O(1) Samples
by: Thokair, Mosaad Al, et al.
Published: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Breaking Changes in Software Ecosystems: A Systematic Literature Review
by: Chen, Juntao, et al.
Published: (2026)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Who Writes the Docs in SE 3.0? Agent vs. Human Documentation Pull Requests
by: Yamasaki, Kazuma, et al.
Published: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
by: Licorish, Sherlock A., et al.
Published: (2025)

A Modular Multi-Document Framework for Scientific Visualization and Simulation in Java
by: Heddle, David
Published: (2026)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

Tracking research software outputs in the UK
by: Carlin, Domhnall, et al.
Published: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

Efficient Solvers for SLOPE in R, Python, Julia, and C++
by: Larsson, Johan, et al.
Published: (2025)

static_maps: consteval std::map and std::unordered_map Implementations in C++23
by: Myhal, Isaac D., et al.
Published: (2026)

Sharing Analysis in the Pawns Compiler
by: Naish, Lee
Published: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)