-BoundsCheck.html Mon Jun 19 10:01:27 2006
***
*** 0
--- 1,65
+
+
+
+
+
+ Backwards-Compatible Array Bounds Checking for C
+ with Very Low Overhead
+
+
+
+
+ Backwards-Compatible Array Bounds Checking for C with Very Low Overhead
+
+
+ Dinakar Dhurjati
ges
+
+
+ Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve
+
+
+
+ Abstract:
+
+
+
+ Static analysis of programs in weakly typed languages such as C and C++ is
+ generally not sound because of possible memory errors due to dangling
+ pointer references, uninitialized pointers, and array bou
gt;Memory Safety
Without
+ "http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";>
Enforcing Alias Analysis for Weakly Typed Languages "
+
+ Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. UIUC TechReport
+ "http://llvm.cs.uiuc.edu/pubs/2005-02-TECHREPORT-SAFECode.htm
eTR.html";>
Enforcing Alias Analysis for Weakly Typed Languages "
Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. UIUC TechReport
___
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
/2005-11-SAFECodeTR.html";>
Enforcing Alias Analysis for Weakly Typed Languages "
+ Tech Report of PLDI submission
+"http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";> Enforcing
Alias Analysis for Weakly Typed Languages "
Dinakar dhurjati, Sumant Kowshik, an
uot;http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";> Enforcing
Alias Analysis for Weakly Typed Languages "
Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. UIUC TechReport
___
llvm-commits mailing list
llvm-com
/2005-11-SAFECodeTR.html";> Enforcing
Alias Analysis for Weakly Typed Languages "
+ Tech Report of PLDI submission "http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";> Enforcing Alias
Analysis for Weakly Typed Languages "
Dinakar dhurjati, Sumant Kowshik, an
;;> Enforcing Alias
Analysis for Weakly Typed Languages "
- Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. UIUC TechReport
+ Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. Technical Report
+ #UIUCDCS-R-2005-2657, Computer Science Dept., University of
+ Illino
m.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";> Enforcing Alias
Analysis for Weakly Typed Languages "
+"http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html";>
Enforcing Alias Analysis for Weakly Typed Languages "
Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. Techn
Changes in directory llvm-www/safecode:
index.html updated: 1.17 -> 1.18
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+2 -2)
index.html |4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
Index: llvm-www/safecode/index.html
diff -u llvm-www/safecode/inde
ode/index.html:1.18 llvm-www/safecode/index.html:1.19
--- llvm-www/safecode/index.html:1.18 Thu Nov 17 16:01:51 2005
+++ llvm-www/safecode/index.htmlThu Nov 17 16:06:11 2005
@@ -66,9 +66,9 @@
Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.
-Implementation
+
lvm-www/safecode/index.html:1.20
--- llvm-www/safecode/index.html:1.19 Thu Nov 17 16:06:11 2005
+++ llvm-www/safecode/index.htmlThu Nov 17 16:06:55 2005
@@ -66,10 +66,6 @@
Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.
-
"Valid HTML 4.01!" />
- mailto:[EMAIL PROTECTED]">Dinakar Dhurjati
+ mailto:[EMAIL PROTECTED]">Dinakar Dhurjati
___
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
Changes in directory llvm-www/safecode:
index.html updated: 1.21 -> 1.22
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+3 -2)
index.html |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
Index: llvm-www/safecode/index.html
diff -u llvm-www/safecode/ind
Changes in directory llvm-www/safecode:
index.html updated: 1.22 -> 1.23
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+3 -3)
index.html |6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
Index: llvm-www/safecode/index.html
diff -u llvm-www/safecode/in
Changes in directory llvm-www/pubs:
2005-11-SAFECodeTR.pdf updated: 1.1 -> 1.2
---
Log message:
Updated the tech report
---
Diffs of the changes: (+0 -0)
2005-11-SAFECodeTR.pdf |0
1 files changed
Index: llvm-www/pubs/2005-11-SAFECodeTR.pdf
__
Changes in directory llvm-www/pubs:
2005-11-SAFECodeTR.pdf updated: 1.2 -> 1.3
---
Log message:
Fixed some inconsistencies
in safecode tech report
---
Diffs of the changes: (+0 -0)
2005-11-SAFECodeTR.pdf |0
1 files changed
Index: llvm-www/pubs/2005-11-SAFECodeTR.pdf
Changes in directory llvm-www/pubs:
2005-11-SAFECodeTR.pdf updated: 1.3 -> 1.4
---
Log message:
---
Diffs of the changes: (+0 -0)
2005-11-SAFECodeTR.pdf |0
1 files changed
Index: llvm-www/pubs/2005-11-SAFECodeTR.pdf
___
llvm-commits ma
tml:1.32 llvm-www/pubs/index.html:1.33
--- llvm-www/pubs/index.html:1.32 Mon Oct 24 10:16:23 2005
+++ llvm-www/pubs/index.htmlThu Nov 17 18:42:34 2005
@@ -33,7 +33,11 @@
Publications using LLVM
-
+"Enforcing Alias Analysis for
+Weakly Typed Languages" Dinakar Dhurjati, S
Changes in directory llvm-www/pubs:
2003-04-29-DataStructureAnalysisTR.html updated: 1.8 -> 1.9
---
Log message:
undoing the previous checkin
---
Diffs of the changes: (+1 -1)
2003-04-29-DataStructureAnalysisTR.html |2 +-
1 files changed, 1 insertion(+), 1 deletion(-)
Index: llvm-ww
Changes in directory llvm-www/pubs:
2003-04-29-DataStructureAnalysisTR.html updated: 1.9 -> 1.10
---
Log message:
This time the undo is correct.
---
Diffs of the changes: (+8 -2)
2003-04-29-DataStructureAnalysisTR.html | 10 --
1 files changed, 8 insertions(+), 2 deletions(-)
I
ode/index.html:1.23 llvm-www/safecode/index.html:1.24
--- llvm-www/safecode/index.html:1.23 Thu Nov 17 16:10:14 2005
+++ llvm-www/safecode/index.htmlFri Nov 18 16:21:34 2005
@@ -67,10 +67,6 @@
Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.
-Download
-
-Not in public dom
Changes in directory llvm-www/pubs:
2005-11-SAFECodeTR.pdf updated: 1.4 -> 1.5
---
Log message:
safecode techreport fixes
---
Diffs of the changes: (+0 -0)
2005-11-SAFECodeTR.pdf |0
1 files changed
Index: llvm-www/pubs/2005-11-SAFECodeTR.pdf
_
Changes in directory llvm-www/pubs:
2005-11-SAFECodeTR.pdf updated: 1.5 -> 1.6
---
Log message:
safecode techreport fixes
---
Diffs of the changes: (+0 -0)
2005-11-SAFECodeTR.pdf |0
1 files changed
Index: llvm-www/pubs/2005-11-SAFECodeTR.pdf
_
Changes in directory llvm-poolalloc/lib/PoolAllocate:
PoolAllocate.h updated: 1.47 -> 1.48
---
Log message:
Extra book keeping for SAFECode
---
Diffs of the changes: (+35 -4)
PoolAllocate.h | 39 +++
1 files changed, 35 insertions(+), 4 deletions(-)
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
---
Log message:
Directory /home/vadve/shared/PublicCVS/llvm-poolalloc/runtime/SafePoolAllocator
added to the repository
---
Diffs of the changes: (+0 -0)
0 files changed
___
llvm
Changes in directory llvm-poolalloc/lib/PoolAllocate:
PoolAllocate.cpp updated: 1.120 -> 1.121
---
Log message:
Extra book keeping for SAFECode
---
Diffs of the changes: (+58 -6)
PoolAllocate.cpp | 64 +--
1 files changed, 58 insertions
Changes in directory llvm-poolalloc/lib/PoolAllocate:
TransformFunctionBody.cpp updated: 1.47 -> 1.48
---
Log message:
Changes for SAFECode
---
Diffs of the changes: (+75 -4)
TransformFunctionBody.cpp | 79 +++---
1 files changed, 75 insertions(+),
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
Makefile added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+8 -0)
Makefile |8
1 files changed, 8 insertions(+)
Index: llvm-poolalloc/runtime/BoundsCheckAllocator/Makefile
diff
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
PoolAllocator.h added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+235 -0)
PoolAllocator.h | 235
1 files changed, 235 insertions(+)
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
---
Log message:
Directory
/home/vadve/shared/PublicCVS/llvm-poolalloc/runtime/BoundsCheckAllocator added
to the repository
---
Diffs of the changes: (+0 -0)
0 files changed
_
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
splay.h added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+48 -0)
splay.h | 48
1 files changed, 48 insertions(+)
Index: llvm-poolalloc/run
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
splay.cpp added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+322 -0)
splay.cpp | 322 ++
1 files changed, 322 insertions(+)
Index
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
Makefile added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+9 -0)
Makefile |9 +
1 files changed, 9 insertions(+)
Index: llvm-poolalloc/runtime/SafePoolAllocator/Makefile
diff -c /d
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
PoolAllocator.h added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+79 -0)
PoolAllocator.h | 79
1 files changed, 79 insertions(+)
Inde
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
PoolAllocatorBitMask.cpp added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+1220 -0)
PoolAllocatorBitMask.cpp | 1220 +++
1 files changed, 1220 inserti
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
PageManager.h added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+40 -0)
PageManager.h | 40
1 files changed, 40 insertions(+)
Index: llvm-poolalloc/ru
Changes in directory llvm-poolalloc/runtime/BoundsCheckAllocator:
PoolAllocator.cpp added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+1093 -0)
PoolAllocator.cpp | 1093 ++
1 files changed, 1093 insertions(
Changes in directory llvm-poolalloc/runtime:
Makefile updated: 1.8 -> 1.9
---
Log message:
added safecode runtime
---
Diffs of the changes: (+1 -1)
Makefile |2 +-
1 files changed, 1 insertion(+), 1 deletion(-)
Index: llvm-poolalloc/runtime/Makefile
diff -u llvm-poolalloc/runtime/Mak
Changes in directory llvm-poolalloc/runtime/SafePoolAllocator:
PageManager.cpp added (r1.1)
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+128 -0)
PageManager.cpp | 128
1 files changed, 128 insertions(+)
In
Changes in directory llvm-poolalloc/lib/PoolAllocate:
TransformFunctionBody.cpp updated: 1.48 -> 1.49
---
Log message:
*** empty log message ***
---
Diffs of the changes: (+2 -4)
TransformFunctionBody.cpp |6 ++
1 files changed, 2 insertions(+), 4 deletions(-)
Index: llvm-poolallo
41 matches
Mail list logo
