BALL, T., AND RAJAMANI, S. K. SLIC: A specification language for interface checking (of C). Tech. Rep. MSR-TR-2001-21, Microsoft Research, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Establishing Local Temporal Heap Safety Properties.. - Shaham, Yahav.. (2003) (Correct)
....line 10. class L L is a singly linked list public L n; next field public int val; data field class Main Creation and traversal of a singly linked list public static void main(String args[ L x, y, t; 1] x = null; 2] while ( list creation [3] y = new L( [4] y.val = 5] y.n = x; 6] x = y; 7] y = x; 8] while (y = null) list traversal [9] System.out.print(y.val) 10] t = y.n; 11] y = t; Fig. 1. A program for creating and traversing a singly linked list. In order to prove that a free statement can be added after line ....
....Work One of the main difficulties in verifying local temporal heap safety properties is considering the effect of aliasing in a precise enough manner. Some of the previous work on software verification allows universally quantified specifications similar to our local heap safety properties (e.g. [4,10]) We are the first to apply such properties to compiletime memory management and to employ a high precision analysis of the heap. ESP [12] uses a preceding pointer analysis phase and uses the results of this phase to perform finite state verification. Separating verification from ....
T. Ball and S. Rajamani. SLIC: A Specification Language for Interface Checking (of C). Technical Report MSR-TR-2001-21, MSR, 2001.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
BALL, T., AND RAJAMANI, S. K. SLIC: A specification language for interface checking (of C). Tech. Rep. MSR-TR-2001-21, Microsoft Research, 2001.
Finding Application Errors and Security Flaws - Using Pql Program (Correct)
No context found.
T. Ball and S. Rajamani. SLIC: A Specification Language for Interface Checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, January 2002.
Context-Sensitive Program Analysis as Database Queries - Monica Lam John (2005) (Correct)
No context found.
T. Ball and S. Rajamani. SLIC: A specification language for interface checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, Jan. 2002.
The BLAST Query Language for Software Verification - Beyer, Chlipala, Henzinger, .. (2004) (Correct)
No context found.
T. Ball and S.K. Rajamani. SLIC: A specification language for interface checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, 2002.
Context-Sensitive Program Analysis as Database Queries - Monica Lam John (2005) (Correct)
No context found.
T. Ball and S. Rajamani. SLIC: A specification language for interface checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, Jan. 2002.
Context-Sensitive Program Analysis as Database Queries - Monica Lam John (2005) (Correct)
No context found.
T. Ball and S. Rajamani. SLIC: A specification language for interface checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, Jan. 2002.
Finding Application Errors and Security Flaws Using PQL: a .. - Martin, Livshits, Lam (2005) (Correct)
No context found.
T. Ball and S. Rajamani. SLIC: A Specification Language for Interface Checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research, January 2002.
Unknown - (Correct)
No context found.
Ball T., Rajamani, S. K.: SLIC: a Specification Language for Interface Checking, Technical Report, MSR-TR-2001-21, Microsoft Research, 2002
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC