Towards Automated Dynamic Analysis for Linux-based Embedded Firmware.
Daming D. ChenMaverick WooDavid BrumleyManuel EgelePublished in: NDSS (2016)
Keyphrases
- dynamic analysis
- operating system
- static analysis
- reverse engineering
- open source
- computer systems
- power consumption
- semi automated
- source code
- linux kernel
- model checking
- fully automated
- embedded systems
- file system
- abstract interpretation
- ibm zenterprise
- information systems
- microsoft windows
- input output
- software systems
- domain knowledge