Deterministic Static Analysis
Borodin, Alexey, Belevantsev, Andrey, Zhurikhin, Dmitry, Izbyshev, Alexey
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding
Design and Development of Svace Static Analyzers
Belevantsev, Andrey, Borodin, Alexey, Dudina, Irina, Ignatiev, Valery, Izbyshev, Alexey, Polyakov, Sergey, Velesevich, Evgeny, Zhurikhin, Dmitry
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Published in 2018 Ivannikov Memorial Workshop (IVMEM) (01.05.2018)
Get full text
Conference Proceeding