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 full text

Date
Authors
Publisher

Institute for System Programming of the Russian Academy of Sciences

Related search

Exact Side Effects for Interprocedural Dependence Analysis

1993English

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

Journal of Animal Science
Animal ScienceZoologyGeneticsMedicineFood Science
1996English

Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology
Software
1992English

API Chaser: Taint-Assisted Sandbox for Evasive Malware Analysis

Journal of Information Processing
2019English

Practical Precise Taint-Flow Static Analysis for Android App Sets

2018English

A Dynamic Taint Forensic Analysis Tool for Android Apps

English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices
2011English

Interprocedural Type Propagation for Object-Oriented Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Interprocedural Symbolic Range Propagation for Optimizing Compilers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy