GitHub repository: phan123123/CORANA
Primary language: Java
Created: 2020-02-10T15:05:45Z
Description: modify from corana tool - a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates