GitHub repository: sophieboyle/Symbolic-Execution-for-ARM-Backdoor-Detection
Primary language: Python
Description: Codebase for my Level 4 University Project: Static Analysis of Executable Code to Detect Backdoors on IoT Devices