Static detection of error of double locking of mutex

by Alexey Borodin
Published 2018-10-01

Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors

by Arutyun Avetisyan, Alexey Borodin
Published 2018-10-01

Using static analysis for finding security vulnerabilities and critical errors in source code

by Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov
Published 2018-10-01