Static program analysis requires control flow graphs to be reconstructed from binary code. However, instruction recovery is challenging due to statically unknown targets of indirect branches, leading ...

I discovered the bug when building a custom Torch compiler backend for a custom AI ASIC, and ran it on a simulated hardware platform. The structure is meant to be simple, as the backend replaces ...

A complete compiler front-end for a custom programming language defined in Cyrillic. The project uses a Java Lexer for tokenization and a Python Parser for syntactic validation, demonstrating ...

Abstract: In the IoT realm, the burgeoning number of devices makes firmware security paramount. As software demands evolve, developers reuse code, which may contain flaws. Firmware's closed - source ...