Context-sensitive analysis without calling-context

DOI10.1007/s10990-011-9080-1zbMath1232.68031OpenAlexW2088138384MaRDI QIDQ656869

Aleardo jun. Manacero, Davidson R. Boccardo, Anshuman Singh, Arun Lakhotia

Publication date: 13 January 2012

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-011-9080-1

zbMATH Keywords

obfuscationanalysis of binariescontext-sensitive analysisdeobfuscation

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Precise interprocedural dataflow analysis with applications to constant propagation
• Parsing as abstract interpretation of grammar semantics
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• A semantics-based approach to malware detection
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Data Flow Analysis
• Opaque Predicates Detection by Abstract Interpretation
• Modelling Metamorphism by Abstract Interpretation
• Systematic design of program transformation frameworks by abstract interpretation
• Improving flow analyses via ΓCFA
• Improving Pushdown System Model Checking

This page was built for publication: Context-sensitive analysis without calling-context