Login / Signup
Interprocedural Static Analysis for Finding Bugs in Go Programs.
I. V. Bolotnikov
A. E. Borodin
Published in:
Program. Comput. Softw. (2021)
Keyphrases
</>
static analysis
symbolic execution
source code
dynamic analysis
abstract interpretation
test generation
java card
malicious code
open source
regular expressions
real world
learning algorithm
software systems