Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code.

Published in: CoRR (2023)

Keyphrases

static analysis
source code
malicious code
dynamic analysis
symbolic execution
open source
software systems
regular expressions
test generation
java card
data sets
anomaly detection
data mining
abstract interpretation