 | ckit.CKIT는 C 소스 코드를 SML 데이터 유형 집합으로 표시하는 추상 구문으로 C로 번역하는 SML로 작성된 C 프런트 엔드입니다. |
| 지금 다운로드 | |
ckit. 순위 및 요약
광고
ckit. 태그
ckit. 설명
CKIT는 C 소스 코드를 SML 데이터 유형 집합으로 표시하는 추상 구문으로 변환하는 SML로 작성된 C 프런트 엔드입니다. CKIT는 CS 소스 코드 (전처리 후)를 SML 데이터 유형 집합으로 표시하는 추상 구문으로 변환하는 C 프런트 엔드입니다. 또한 C 언어를 추가 구문 구조로 확장하기위한 시설을 제공하여 "C-Like"도메인 별 언어뿐만 아니라 C 방언을 구현하는 데 유용 할 수 있습니다. CKIT는 현재 C 코드의 정적 분석을위한 다양한 도구와 적어도 하나의 도메인 별 언어를위한 다양한 도구의 프런트 엔드로 사용됩니다. CKIT가 $ CKIT / AST.Execute 디렉토리에 CKIT code.run SML이 들어있는 디렉토리가되도록합니다. "cm.make ();" 이렇게하면 파서 / eleaborator.On CKIT 소스의 포장을 풀고, SRC 디렉토리, DOC 디렉토리 및 DOC 디렉토리 (배포에 따라 다른 디렉토리)가 표시되어야합니다. SRC 디렉토리에는 다음 하위 디렉토리가 포함되어 있습니다. 파서 / 렉서와 파서, 나무 구문 분석. AST / 추상 구문 트리 (AST), 유형 검사기, 예쁜 프린터. 파서 및 유형 검사기를 제어하기위한 변형 / 플래그. 시스템을 구축하려면 SML / NJ 및 type-cm.make ()를 실행합니다. "test.c"에서 파서를 테스트하려면 "test.c";이 구문 분석 및 typechecks "테스트 .c ""test.c "에 대한 추상 구문 트리를 반환합니다. 또는 구문 분석을하고, 유형 - 검사를하고 예쁜 인쇄 "test.c", parsetoast.fileToc "test.c";이 릴리스의 새로운 기능 : · 매개 변수화를 지원하는 재 작업 크기 및 정렬 메커니즘 (src / ast 참조) /size.sml). 유틸리티 프로그램 (src / c-util / size.c)을 사용하여 주어진 컴파일러 / 플랫폼 조합에 대한 크기 정보를 생성 할 수 있습니다.
ckit. 관련 소프트웨어
