Open AccessInterprocedural taint analysis for LLVM-bitcode
Author(s) -
Vladimir Koshelev,
Alexey Izbyshev,
И. А. Дудина
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(2)-4
Subject(s) - computer science , bytecode , call graph , taint checking , programming language , static analysis , java , graph , pointer analysis , scalability , java bytecode , data flow analysis , control flow , heuristics , control flow graph , theoretical computer science , operating system , data flow diagram , software , java annotation , database , real time java