Kotlin from the Point of View of Static Analysis Developer.

V. O. Afanasyev S. A. Polyakov A. E. Borodin A. A. Belevantsev

Published in: Program. Comput. Softw. (2023)

Keyphrases

static analysis
source code
dynamic analysis
open source
symbolic execution
malicious code
software systems
java card
web applications
abstract interpretation
artificial intelligence
software maintenance
test generation
relational databases
software development
database
high level
case study
real world