Detection of Variable Misuse Using Static Analysis Combined with Machine Learning

Detection of Variable Misuse Using Static Analysis Combined with Machine Learning (Gleb Morgachev, ISPRASOPEN2019) Глеб Моргачев Industrial static analyzers are able to detect only several narrow classes of algorithmic errors, for example actual arguments order swapped with formal parameters, forgotten renaming of variable after copypaste. However, even for these categories essential part of errors is lost because of heuristical design of a checker. We propose