C 프로그램의 버퍼 오버런(buffer overrun) 오류를 찾아 주는 정적 분석기의 설계와 구현

이광근 ,  김재황 ,  정영범

정보과학회논문지 : 소프트웨어 및 응용

2006 .05

C 프로그램에서 사용되지 않는 자료를 찾는 정적 분석기의 개발

황의권 ,  이광근

프로그래밍언어논문지

2006 .11

C 프로그램에서 소멸된 지역변수를 참조하는 오류를 정적으로 검출하기

이승중 ,  이광근

한국정보과학회 학술발표논문집

2011 .11

요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화

오학주 ,  이광근

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2008 .02

이락 제1번 고속도로(Yosy) 현장의 토공 및 포장공사 시공사례

金容宰

대한토목학회지

1987 .08

“프로그램 정적 분석” 특집을 내면서

창병모 ,  박성우

정보과학회지

2016 .03

세계 타이어 시장동향

선우영일

타이어 고무

1969 .01

C프로그램을 위한 효율적인 버퍼 오버런 분석기의 개발

김유일 ,  전진성 ,  한환수

프로그래밍언어논문지

2005 .11

이락(IRAQ) 北部鐵道의 각 工種別工事 最終報告

金泰善 ,  李萬浩

대한토목학회지

1988 .08

이락北部 鐵道軌道工事(C. W. R. Track) 施工事例

白文植 ,  白東明

대한토목학회지

1986 .12

고에너지 엑스선을 조사한 세포막모델에서 K⁺-Na⁺ 펌프 시스템의 능동적 전달 특성

고인호

한국방사선학회 논문지

2017 .01

요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화 하는 방법

오학주 ,  이광근

한국정보과학회 학술발표논문집

2007 .06

이락(IRAQ) 北部鐵道의 각 工種別工事 最終報告(2ㆍ完)

金泰善 ,  李萬浩

대한토목학회지

1988 .10

요약해석기 AiracV

신재호 ,  김재황 ,  오학주 외 2명

프로그래밍언어논문지

2005 .11

Inferbo: Infer 기반 버퍼 오버런 오류 분석기

허기홍 ,  조성근 ,  이광근

한국정보과학회 학술발표논문집

2017 .06

함수 요약에 기반한 메모리 누수 정적 탐지기

정영범 ,  이광근

정보과학회논문지 : 소프트웨어 및 응용

2009 .07

스패로우: 소스 코드 분석기

오학주 ,  정영범 ,  진민식 외 6명

한국정보과학회 학술발표논문집

2007 .06

정적분석을 이용한 프로그램 간소화 방법

송창화 ,  이용근 ,  최형진 외 1명

한국정보과학회 학술발표논문집

1994 .10

애로우를 이용한 오류 처리 기법

이동주 ,  지정훈 ,  장한일 외 1명

한국정보과학회 학술발표논문집

2006 .06

珍島連陸橋 (多重 Cable 斜張橋)의 靜的 解析프로그램 開發에 관한 研究

朴春赫 ,  韓在益 ,  李炯男

대한토목학회 학술발표회 개요집

1985 .10