Static analysis at GitHub.

Timothy Clem Patrick Thomson

Published in: Commun. ACM (2022)

Keyphrases

static analysis
dynamic analysis
source code
social web
java card
malicious code
regular expressions
test suite
symbolic execution
abstract interpretation
test generation
artificial intelligence
semi automatic