bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Tool title

Title of page above

Type

Academic

Owner/Source

Bell Labs

Link

http://www.smlnj.org/doc/ckit/index.html

Description

C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It also provides facilities for extending the C language with additional syntactic constructs, which can be useful for implementing "C-like" domain-specific languages as well as C dialects. Ckit is currently used as the front end for a variety of tools for static analysis of C code and at least one domain-specific language. The development has stopped because the researchers involved have left Bell Labs. The latest version is 1.0, released 31 March 2000.

User

TBD

SWE

SWE-135


  • No labels