Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

88

CAV
2007
Springer

114views Hardware» more CAV 2007»

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

15 years 9 months ago

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

Real-time Traffic

CAV 2007 | Formal Methods |

claim paper

Related Content

» Verifying HeapManipulating Programs with Unknown Procedure Calls

» A Scalable Memory Model for LowLevel Code

» Software Security Vulnerabilities Seen As Feature Interactions

» A static analyzer for large safetycritical software

» A Software Architecture for User Transparent Parallel Image Processing on MIMD Computers

» Temporally Robust Software Features for Authorship Attribution

» Analyzing massive astrophysical datasets Can PigHadoop or a relational DBMS help

» Ideal Abstractions for WellStructured Transition Systems

» Catch Me If You Can Debugging Support for Model Transformations

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CAV
Authors	Sumit Gulwani, Ashish Tiwari

Comments (0)