CleanC

Verification Engineerの戯言

SCDsource：'Clean C' targets standard for multicore programmingによると、IMECは、CleanCというものを開発し、既にツールを公開してます。

Eclipseに組み込んで使えるツールです。

CleanCでは、次のようなルール(全部で28ルール)をチェックします。

    *  Avoid use of macros – use pre-processor only for constants and conditional exclusion
    * Keep variables local
    * Use indices instead of pointer arithmetic
    * Make sure a pointer points to only one data set
    * Do not use recursive function calls
    * Avoid use of function pointers
    * Specify variable ranges
    * Direct the result of malloc() to the correct type
    * Use arithmetic operators to perform calculations

上記のルールは、SystemCなどを使ってハードウェアを記述するときの注意点と同じだと思います。
公開されているものは、まだ商品レベルではなく、プロトタイプを確認するためのもののようです。

ここ数年、IMECからはいろいろなツールが出てきている。CoWareもそうですね！