Static Analysis at GitHub: An experience report.

Timothy Clem Patrick Thomson

Published in: ACM Queue (2021)

Keyphrases

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