Context-sensitive analysis without calling-context PEPM 2010

Saved in:
Bibliographic Details
Published inHigher-order and symbolic computation Vol. 23; no. 3; pp. 275 - 313
Main Authors LAKHOTIA, Arun, BOCCARDO, Davidson R, SINGH, Anshuman, MANACERO, Aleardo
Format Journal Article
LanguageEnglish
Published Heidelberg Springer 2010
Subjects
Applied sciences
Calculus of variations and optimal control
Computer science; control theory; systems
Exact sciences and technology
Mathematical analysis
Mathematics
Miscellaneous
Sciences and techniques of general use
Theoretical computing
Deobfuscation
Analysis of binaries
Context-sensitive analysis
Experimental result
Approximation
Obfuscation
Semantics
Symbolic computation
Algorithm
Graph flow
Online AccessGet full text

Cover

More Information
ISSN:1388-3690
2212-0793