Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by V.K. Koshelev
Interprocedural Taint Analysis for LLVM-bitcode
Proceedings of the Institute for System Programming of RAS
HPC Cloud System Design and Implementation
Proceedings of the Institute for System Programming of RAS
Related publications
Exact Side Effects for Interprocedural Dependence Analysis
Breed Differences in Boar Taint: Relationship Between Tissue Levels Boar Taint Compounds and Sensory Analysis of Taint.
Journal of Animal Science
Animal Science
Zoology
Genetics
Medicine
Food Science
Interprocedural Static Analysis of Sequencing Constraints
ACM Transactions on Software Engineering and Methodology
Software
API Chaser: Taint-Assisted Sandbox for Evasive Malware Analysis
Journal of Information Processing
Practical Precise Taint-Flow Static Analysis for Android App Sets
A Dynamic Taint Forensic Analysis Tool for Android Apps
Evaluating Value-Graph Translation Validation for LLVM
ACM SIGPLAN Notices
Interprocedural Type Propagation for Object-Oriented Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
