Login / Signup
Varangian: A Git Bot for Augmented Static Analysis.
Saurabh Pujar
Yunhui Zheng
Luca Buratti
Burn L. Lewis
Alessandro Morari
Jim Laredo
Kevin Postlethwait
Christoph Görn
Published in:
MSR (2022)
Keyphrases
</>
static analysis
source code
dynamic analysis
version control
java card
malicious code
symbolic execution
test generation
abstract interpretation
regular expressions
open source
real world
information extraction
pattern matching
information security