bannerc

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 7 Next »

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.

User

TBD

SWE

SWE-135

  • No labels