Diktat: Lightweight Static Analysis for Kotlin.

Andrey Kuleshov Petr Trifanov Vladislav Frolov Guangtai Liang

Published in: ISSRE Workshops (2021)

Keyphrases

lightweight
static analysis
dynamic analysis
source code
java card
symbolic execution
malicious code
test generation
abstract interpretation
test suite
wireless sensor networks
security analysis
public key
regular expressions
cd rom
communication infrastructure
databases