Exploring the Potential of Frama-C in IoT Static Analysis.

Minh Le Kim Tran William King Harvey P. Siy

Published in: MobiHoc (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
management system
java card
databases
malicious code
abstract interpretation
regular expressions
knowledge base
domain knowledge
information extraction
test generation