-
4
-
-
0024085322
-
Garbage collection in an uncooperative environment
-
September
-
Hans Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software: Practice & Experience, pages 807-820, September 1988.
-
(1988)
Software: Practice & Experience
, pp. 807-820
-
-
Boehm, H.1
Weiser, M.2
-
5
-
-
0038716438
-
CCured in the real workd
-
June
-
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, and Westley Weimer. CCured in the real workd. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 232-244, June 2003.
-
(2003)
ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 232-244
-
-
Condit, J.1
Harren, M.2
McPeak, S.3
Necula, G.C.4
Weimer, W.5
-
6
-
-
85084160243
-
StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks
-
San Antonio, Texas, January
-
Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78, San Antonio, Texas, January 1998.
-
(1998)
Proc. 7th USENIX Security Conference
, pp. 63-78
-
-
Cowan, C.1
Pu, C.2
Maier, D.3
Walpole, J.4
Bakke, P.5
Beattie, S.6
Grier, A.7
Wagle, P.8
Zhang, Q.9
Hinton, H.10
-
7
-
-
14844332687
-
Propolice: Improved stack-smashing attack detection
-
Hiroaki Etoh and Kunikazu Yoda. Propolice: Improved stack-smashing attack detection. IPSJ SIG Notes, 2001(75):181-188, 2001.
-
(2001)
IPSJ SIG Notes
, vol.2001
, Issue.75
, pp. 181-188
-
-
Etoh, H.1
Yoda, K.2
-
9
-
-
0036040515
-
Region-based memory management in Cyclone
-
June
-
Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 282-293, June 2002.
-
(2002)
Proc. ACM Conference on Programming Language Design and Implementation (PLDI)
, pp. 282-293
-
-
Grossman, D.1
Morrisett, G.2
Jim, T.3
Hicks, M.4
Wang, Y.5
Cheney, J.6
-
10
-
-
70450241715
-
-
International Organization for Standards and International Elec-trotechnical Commission. Programming languages - C. ISO/IEC Standard ISO/IEC 9899:1990.
-
International Organization for Standards and International Elec-trotechnical Commission. Programming languages - C. ISO/IEC Standard ISO/IEC 9899:1990.
-
-
-
-
11
-
-
85084164164
-
Cyclone: A safe dialect of C
-
June
-
Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, June 2002.
-
(2002)
USENIX Annual Technical Conference
-
-
Jim, T.1
Morrisett, G.2
Grossman, D.3
Hicks, M.4
Cheney, J.5
Wang, Y.6
-
12
-
-
0012582509
-
Backwards-compatible bounds checking for arrays and pointers in C programs
-
Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging, pages 13-26, 1997.
-
(1997)
Automated and Algorithmic Debugging
, pp. 13-26
-
-
Jones, R.W.M.1
Kelly, P.H.J.2
-
13
-
-
67149097954
-
Safe implementation of C pointer arithmetics by translation to Java
-
In japanese
-
Yuhki Kamijima and Eijiro Sumii. Safe implementation of C pointer arithmetics by translation to Java. JSSST, 26(1):139-154, 2009. In japanese.
-
(2009)
JSSST
, vol.26
, Issue.1
, pp. 139-154
-
-
Kamijima, Y.1
Sumii, E.2
-
15
-
-
84944192977
-
Debugging via run-time type checking
-
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, and Thomas Reps. Debugging via run-time type checking. Lecture Notes in Computer Science, 2029:217-, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2029
, pp. 217
-
-
Loginov, A.1
Hsi Yong, S.2
Horwitz, S.3
Reps, T.4
-
18
-
-
67650819142
-
An extension to Fail-Safe C to support object-oriented languages
-
March
-
Yutaka Oiwa. An extension to Fail-Safe C to support object-oriented languages. In Symposium on Programming and Programming Languages, March 2005.
-
(2005)
Symposium on Programming and Programming Languages
-
-
Oiwa, Y.1
|