CaLLi: OCaml library for static analysis of LLVM bitcode.

Soyeon Baek Sungho Lee

Published in: SoftwareX (2024)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
java card
test generation
abstract interpretation
regular expressions
open source
malicious code
test suite
data mining