프로그래밍 도구
nlex (
이광근
):
nML 컴파일러에 포함되어 있음
nyacc (
서선애
):
nML 컴파일러에 포함되어 있음
vim syntax for nML
(
어현준
)
emacs mode for nML
(
이광근
)
ultra edit mode for nML
(
강현구
)
ndot
& nmakegen (
류석영
):
nmakegen은 nML 컴파일러에 포함되어 있음
실행흐름 분석기
(
류석영
)
예외상황 분석기
(
류석영
)
MySQL API
(
강현구
)
OpenGL API
(
안기영
)
nML parser
(
김정택
)
C parser
(
서선애
)
Java parser
(
서선애
)
XML Parser
(
강현구
,
조은선
)
Verilog parser
(
윤상민
)
응용 소프트웨어
Airac
:
C 프로그램의 메모리 접근 오류 자동 검증기
netPhone
:
인터넷 전화 스위칭 시스템 (
김범식
)
Validating Model Checker
(
어현준
)
CloneChecker
:
프로그램 유사성 검사기 (
장성순
)
프로그램 분석 시스템 연구단
프로그램 분석 시스템 연구단