Benchmarking static code analyzers.

Jörg Herter Daniel Kästner Christoph Mallon Reinhard Wilhelm

Published in: Reliab. Eng. Syst. Saf. (2019)

Keyphrases

source code
dynamic analysis
static analysis
database
data mining
metadata
computational complexity
code generation