Static analyzer Svace for finding of defects in program source code

Иванников, В. П.; Belevantsev, Andrey; Borodin, Alexey; Игнатьев, В. Н.; Zhurikhin, Dmitry; Аветисян, А. И.; Леонов, М. И.

doi:10.15514/ispras-2014-26(1)-7

Cited by 13 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Thus, the path along which a leak occurs is as follows: 7 -9 -11 -9 -12 -4 -12 -9 -13. The static analysis tool Svace developed at the Institute for System Programming, RAS, performs taint analysis aimed at detecting vulnerabilities of type "use of unchecked input data" [1]. Currently, Svace uses general purpose analysis infrastructure that sup ports a wide class of checks.…”

Section: Survey Of the Existing Approaches To Taint Analysismentioning

confidence: 99%

Interprocedural taint analysis for LLVM-bitcode

Кошелев

Izbyshev

Дудина

2015

Program Comput Soft

View full text Add to dashboard Cite

show abstract

Section: Survey Of the Existing Approaches To Taint Analysismentioning

confidence: 99%

Interprocedural taint analysis for LLVM-bitcode

Кошелев

Izbyshev

Дудина

2015

Program Comput Soft

View full text Add to dashboard Cite

show abstract

“…Размещение в стеке перед адресом возврата специального значения «канарейки», призванного выявлять ошибки переполнение буфера на стеке, не защищает от уязвимости форматной строки, так как перезаписывается не диапазон адресов памяти, а только адрес возврата. Поиск ошибок и уязвимостей можно проводить как на уровне исходных текстов [2], так и в бинарном коде [3]. Поиск ошибок на уровне бинарного кода имеет преимущества не только, когда исходные тексты исследуемого ПО недоступны.…”

Section: Introductionunclassified