Context-sensitive analysis without calling-context

DOI10.1007/S10990-011-9080-1zbMATH Open1232.68031OpenAlexW2088138384MaRDI QIDQ656869FDOQ656869

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

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

Recommendations

• Calling context abstraction with shapes
• Incremental and modular context-sensitive analysis
• Program Development in Computational Logic
• Pick your contexts well, understanding object-sensitivity
• Static Analysis

zbMATH Keywords

obfuscationanalysis of binariescontext-sensitive analysisdeobfuscation

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

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

Cited In (4)

• Compiler Construction
• Pick your contexts well, understanding object-sensitivity
• Without Remnant Movement, MGs Are Context-Free
• Program Development in Computational Logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q656869)