Documents Related by Co-Citation

114 Analyzing Memory Accesses in x86 Executables – Gogul Balakrishnan, Thomas Reps - 2004
59 Analysis of modular arithmetic – Markus Müller-Olm, Helmut Seidl - 2005
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
58 Aggregate Structure Identification and its Application to Program Analysis – G. Ramalingam, John Field, Frank Tip - 1999
106 Weighted pushdown systems and their application to interprocedural dataflow analysis – Thomas Reps, Stefan Schwoon, Somesh Jha - 2003
305 Two approaches to interprocedural dataflow analysis – M Sharir, A Pnueli - 1981
26 DIVINE: DIscovering Variables IN Executables – Gogul Balakrishnan, Thomas Reps - 2007
19 CodeSurfer/x86 – A platform for analyzing x86 executables, (tool demonstration paper – G BALAKRISHNAN, R GRUIAN, T REPS, T TEITELBAUM - 2005
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
20 Intermediate-Representation Recovery from Low-Level Code – Thomas Reps, Gogul Balakrishnan, Junghee Lim - 2006
33 Extended weighted pushdown systems – Akash Lal, Thomas Reps, Gogul Balakrishnan - 2005
94 Synergy: a new algorithm for property checking – B S Gulavani, T A Henzinger, Y Kannan, A V Nori, S K Rajamani - 2006
226 EXE: Automatically generating inputs of death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 2006
485 Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software – James Newsome, Dawn Song - 2005
14 A Next-Generation Platform for Analyzing Executables – T. Reps, G. Balakrishnan, J. Lim, T. Teitelbaum - 2005
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
250 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
140 The SLAM toolkit – T Ball, S K Rajamani - 2001
25 Recency-Abstraction for Heap-Allocated Storage – Gogul Balakrishnan, Thomas Reps - 2006