Login / Signup
I. V. Bolotnikov
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Malicious Code
Static Analysis
Symbolic Execution
Test Generation
Top Venues
Program. Comput. Softw.
</>
Publications
</>
I. V. Bolotnikov
,
A. E. Borodin
Interprocedural Static Analysis for Finding Bugs in Go Programs.
Program. Comput. Softw.
47 (5) (2021)