아이락: C 프로그램의 메모리 오류 정적 분석기

정영범 ,  김재황 ,  신재호 외 1명

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

2005 .11

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

황의권 ,  이광근

프로그래밍언어논문지

2006 .11

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

오학주 ,  이광근

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

2007 .06

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

이광근 ,  김재황 ,  정영범

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

2006 .05

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

이승중 ,  이광근

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

2011 .11

스몰베이직 프로그램 해석기 설계 및 구현에 관한 연구

김가영 ,  정승완 ,  최광훈

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

2016 .12

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

김유일 ,  전진성 ,  한환수

프로그래밍언어논문지

2005 .11

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

오학주 ,  이광근

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

2008 .02

요약해석에서 증가분 계산에 기반한 고정점 생성 방법

안준선 ,  이광근

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

2001 .10

작용 방정식에 의한 의미 지시적 점진 해석기

이기호 ,  한정란

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

1997 .04

요약해석을 이용한 정보흐름 제어

신승철 ,  도경구 ,  이수호

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

2002 .04

읽기쉬운 프로그램 설계기법

방승량 ,  임춘봉

(구)정보과학회논문지

1982 .11

로보트제어 명령어의 해석기 설계에 관한 연구 ( A Study on the Design of The Interpreter for the Robot Control commands )

이두복 ,  박상희 ,  이세규 외 1명

대한전자공학회 학술대회

1985 .01

작용 식 기반 점진 해석기

한정란 ,  이기호

정보과학회논문지(B)

1999 .08

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

朴春赫 ,  韓在益 ,  李炯男

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

1985 .10

멀티미디어 / 하이퍼미디어 정보객체 해석기의 구현 ( An Implementation of Multimedia / Hypermedia Information Object Interpreter )

최상기 ,  정광수

한국통신학회 학술대회논문집

1995 .01

프로그램 자동 분석을 기반으로하는 프로그래밍 언어 교육용 시스템

문남미 ,  이기호

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

1996 .04

건축물의 구조해석에 관한 전산화연구 - 기존프로그램의 조사 및 비교검토 ( A Study on the Development of Structural Analysis Program for Buildings )

이리형 ,  함성권 ,  김윤일

건축

1980 .08