BAT: The Bit-Level Analysis Tool
Abstract elided by the publisher.
Related papers
- Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems CC 2020
- BEC: Bit-Level Static Analysis for Reliability against Soft Errors CGO 2024
- Efficient memory shadowing for 64-bit architectures ISMM 2010
- Pin: building customized program analysis tools with dynamic instrumentation PLDI 2005
- Fast and Efficient Bit-Level Precision Tuning SAS 2021
- BIT: Empowering Binary Analysis through the LLVM Toolchain CGO 2026
- The rIC3 Hardware Model Checker CAV 2025
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023