1 |
Jason D. Hiser, Clark L. Coleman, Michele Co and Jack W. Davison, "MEDS: The Memory Error Detection System", Engineering Secure Software and Systems, LNCS 5429, pp 164-179, 2009.
DOI
ScienceOn
|
2 |
SureSoftTech, "TEST Monitor", http://suresofttech.com, 2007.
|
3 |
정영범, 김재황, 신재호, 이광근, “아이락: C 프로그램의 메모리 오류 정적 분석기", 한국정보과학회 2005 가을 학술발표대회문집 32(2), pp. 964-966 2005.11
과학기술학회마을
|
4 |
J. Seward, N. Nethercote, "Valgrind", http://www.valgrind.org, 2000.
|
5 |
Patrick Cousot and Radhia Cousot, "Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints", Proceedings of ACM Symposium on Principles of Programming Languages, pp 238-252, 1977.
|
6 |
Kevin Scott and Jack Davidson, “Strata: A Software Dynamic Translation Infrastructure”, In Proceedings of the Workshop on Binary Translation (WBT '01), Barcelona, Spain, September 2001.
|
7 |
Apache Web Server, "http://httpd.apache.org", 1995.
|
8 |
PHP Scripting Language, "http://www.php.net", 1995.
|