First Page | Document Content | |
---|---|---|
Date: 2009-11-13 12:16:34Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages | Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ †Add to Reading ListSource URL: www.cacs.louisiana.eduDownload Document from Source WebsiteFile Size: 245,38 KBShare Document on Facebook |