Interprocedural Taint Analysis for LLVM-bitcode

Proceedings of the Institute for System Programming of RAS

doi 10.15514/ispras-2014-26(2)-4

Full Text

Abstract

Available in

Date

January 1, 2014

Authors

Publisher

Institute for System Programming of the Russian Academy of Sciences

Related search

Exact Side Effects for Interprocedural Dependence Analysis

Danish

Breed Differences in Boar Taint: Relationship Between Tissue Levels Boar Taint Compounds and Sensory Analysis of Taint.

Journal of Animal Science

English

Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology

English

API Chaser: Taint-Assisted Sandbox for Evasive Malware Analysis

Journal of Information Processing

English

A Dynamic Taint Forensic Analysis Tool for Android Apps

English

Practical Precise Taint-Flow Static Analysis for Android App Sets

English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices

English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices

English

Interprocedural Symbolic Range Propagation for Optimizing Compilers

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English