Scalable validation of binary lifters
Validating the correctness of binary lifters is pivotal to gain trust in binary analysis, especially
when used in scenarios where correctness is important. Existing approaches focus on …
when used in scenarios where correctness is important. Existing approaches focus on …
LiftFuzz: Validating Binary Lifters through Context-aware Fuzzing with GPT
Y Zhou, F Yang, Z Song, K Zhang, J Chen… - Proceedings of the 2024 …, 2024 - dl.acm.org
Analyzing binary code is vital for software engineering and security research, particularly
when the source code is unavailable. However, understanding, modifying, and retargeting …
when the source code is unavailable. However, understanding, modifying, and retargeting …
Unconstrained motion compensated temporal filtering (UMCTF) framework for wavelet video coding
M van der Schaar, DS Turaga - 2003 International Conference …, 2003 - ieeexplore.ieee.org
This paper presents a new framework for adaptive temporal filtering in wavelet interframe
codecs, called the unconstrained motion compensated temporal filtering (UMCTF). This …
codecs, called the unconstrained motion compensated temporal filtering (UMCTF). This …
Translating AArch64 floating-point instruction set to the x86-64 platform
YP You, TC Lin, W Yang - … of the 48th International Conference on …, 2019 - dl.acm.org
Binary translation translates binary programs from one instruction set to another. It is widely
used in virtual machines and emulators. We extend mc2llvm, which is an LLVM-based …
used in virtual machines and emulators. We extend mc2llvm, which is an LLVM-based …
Automated crash filtering using interprocedural static analysis for binary codes
HG Jeon, SK Mok, ES Cho - 2017 IEEE 41st Annual Computer …, 2017 - ieeexplore.ieee.org
This paper introduces a static binary analysis tool called CrashFilter, which classifies the
crashes arisen during the test, according to the risk levels. It has advantages in accuracy …
crashes arisen during the test, according to the risk levels. It has advantages in accuracy …
Testing optimized binary modules
T Koju, T Nakaike - US Patent 9,569,347, 2017 - Google Patents
Various embodiments test an optimized binary module. In one embodiment, a region in a set
of original binary code of an original binary module in which branch coverage is expected to …
of original binary code of an original binary module in which branch coverage is expected to …
Hyperchaining for LLVM-Based Binary Translators on the x86-64 Platform
JK Lai, W Yang - Journal of Signal Processing Systems, 2022 - Springer
Rabbit is an LLVM-based hybrid binary translator with several innovative optimizations
(including an extension to traditional block chaining, called hyperchaining) to improve the …
(including an extension to traditional block chaining, called hyperchaining) to improve the …
Testing optimized binary modules
T Koju, T Nakaike - US Patent 9,563,547, 2017 - Google Patents
Various embodiments test an optimized binary module. In one embodiment, a region in a set
of original binary code of an original binary module in which branch coverage is expected to …
of original binary code of an original binary module in which branch coverage is expected to …