Context-sensitive analysis without calling-context

DOI10.1007/S10990-011-9080-1MaRDI QIDQ656869zbMATHOpenAlexFDO

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

zbMATH Keywords

obfuscationanalysis of binariescontext-sensitive analysisdeobfuscation

Mathematics Subject Classification ID

Theory of software (68N99)

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

Cites work

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

Cited in

(4)

• Without Remnant Movement, MGs Are Context-Free
• Compiler Construction
• Pick your contexts well, understanding object-sensitivity
• 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)