Static Analysis for Transitioning to CHERI C/C++.

Irina Dudina Ian Stark

Published in: SOAP@PLDI (2024)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
regular expressions
abstract interpretation
test suite
test generation
java card
database
domain knowledge