Dynamic Analysis of ARINC 653 RTOS with LLVM.

Vitaly Cheptsov Alexey Khoroshilov

Published in: CoRR (2021)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
data sets
domain knowledge
source code
abstract interpretation
software engineering
malicious code
malicious behavior
artificial neural networks
object oriented
error rate