Interprocedural taint analysis for LLVM-bitcode

V. K. Koshelev, A. O. Izbyshev, I. A. Dudina

Research output: Contribution to journalArticlepeer-review

Abstract

In the paper, taint analysis problem is considered. To solve it, static interprocedural context-, flow-, and object-sensitive algorithm is proposed. Characteristics of the algorithm are evaluated, and specific features of the implementation of the algorithm on the basis of the LLVM compiler infrastructure are discussed. Results of evaluation are presented.
Original languageEnglish
Pages (from-to)237-245
Number of pages9
JournalProgramming and Computer Software
Volume41
Issue number4
DOIs
Publication statusPublished - 25 Jul 2015

Fingerprint

Dive into the research topics of 'Interprocedural taint analysis for LLVM-bitcode'. Together they form a unique fingerprint.

Cite this