暗黙的 cast バグを検出する FrontendAction の実装

[Ran350]

概要

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

入力ファイル例

struct stat stat_buf;
if (stat(file_path, &stat_buf) == 0) {
	time_t t = stat_buf.st_atime;
	int overflowed = t - (t % 3600);
}

想定出力

test.c:3:9 : warning : Because of Y2K38, when the time_t type value is cast as an int, the result may overflow.
int overflowed = t - (t % 3600);
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

TODO

• time_t→int に暗黙的cast する ノード にマッチする matcher を作成 #31
• PluginASTAction の作成
  • Matcher の作成
  • 出力機能の実装

[Ran350]

実装完了