write 系バグを検出する FrontendAction の実装

[Ran350]

概要

明示的なダウンキャストによるバグ の検出する PluginASTAction を実装する

入力ファイル例

struct utimbuf ubuf = { actime, modtime };
utime("a.txt", &ubuf);
utimes("a.txt", &ubuf);

想定出力

test.c:2:1 : warning : Because of Y2K38, when the timestamp in `ubuf` is greater than 2^31-1, the timestamp of the file in the file system overflows
utime("a.txt", &ubuf);
^^^^^

test.c:3:1 : warning : Because of Y2K38, when the timestamp in `ubuf` is greater than 2^31-1, the timestamp of the file in the file system overflows
utimes("a.txt", &ubuf);
^^^^^

TODO

• utime() と utimes()ノード にマッチする matcher を作成 #30
• PluginASTAction の作成
  • Matcher の作成
  • 出力機能の実装

[Ran350]

実装完了