APASEC2013春で発表した資料です。 C-HelperはC言語初学者向きの静的解析ツールです。 サイボウズ・ラボユースで開発しました。

1. C-HelperでC言語を
効率よく勉強しよう
サイボウズ・ラボユース
成果報告
13年4月5日金曜日

2. 自己紹介
• サイボウズ・ラボユース２期生
• プログラミング教育に興味あり
13年4月5日金曜日

3. いざ会場へ
13年4月5日金曜日

4. 迷った！！
13年4月5日金曜日

5. 迷った！！
＿人人人人人人人人＿
＞ 20分無駄歩き ＜
￣Y^Y^Y^Y^Y^Y^Y￣
13年4月5日金曜日

6. 会場発見
• 会場「BumB」はセキュリティに配慮
• その証拠↓
13年4月5日金曜日

7. 会場発見
• 会場「BumB」はセキュリティに配慮
• その証拠↓
13年4月5日金曜日

8. おまけ
（本編）
13年4月5日金曜日

9. 独学
13年4月5日金曜日

10. 独学
本を買う
13年4月5日金曜日

11. 独学
本を買う
読む
13年4月5日金曜日

12. 独学
本を買う
読む
分からない
13年4月5日金曜日

13. 独学
本を買う
読む
分からない
質問する人がいない
13年4月5日金曜日

14. 独学
本を買う
読む
分からない
質問する人がいない
::::::::::::::::::::
::::::::::::::::
::::::::::::
Λ_Λ :::::::
/彡ミﾍ )ー､ ::::
/:ﾉ:ヽ ＼::| :::
/:｜:: ＼ ヽ| :::
‾￣L_ﾉ‾￣‾￣‾￣＼ノ‾￣‾￣
13年4月5日金曜日

15. 独学
13年4月5日金曜日

16. 独学
∧_∧ 掲示板に質問する
( ·･ω·･)
＿| ⊃／(＿＿_
／ └-­(＿＿＿_／
13年4月5日金曜日

17. 独学
∧_∧ 掲示板に質問する
( ·･ω·･)
＿| ⊃／(＿＿_
／ └-­(＿＿＿_／
＜͡／ヽ-､_＿_
／＜_/＿＿＿＿／ 返信来ない
13年4月5日金曜日

18. そうだ
自動化、
しよう。
13年4月5日金曜日

19. C-Helperとは
13年4月5日金曜日

20. C-Helperとは
• C言語初学者向け静的解析ツール
• Eclipseプラグイン
13年4月5日金曜日

21. 静的解析
ソースコード
様々な解析
警告・提案
13年4月5日金曜日

22. 検出例 インデントの乱れ
1 void f(void) {
2 int i;
3 while(!foo()){
4 for(i=0;i<20;i++){
5 bar();}
6 }
7 }
test.c:2:1:行頭から書き始めるのは分かりにくいため、
スペース 4 個分インデントすべきです。
test.c:4:1:インデントが乱れています。
スペース 8 個分インデントすべきです。
test.c:5:1:インデントが乱れています。
スペース 12 個 分インデントすべきです。
13 / 33
13年4月5日金曜日

23. 検出例 インデントの乱れ
1 void f(void) {
2 int i;
3 while(!foo()){
4 for(i=0;i<20;i++){
5 bar();}
6 }
7 }
test.c:2:1:行頭から書き始めるのは分かりにくいため、
スペース 4 個分インデントすべきです。
test.c:4:1:インデントが乱れています。
スペース 8 個分インデントすべきです。
test.c:5:1:インデントが乱れています。
スペース 12 個 分インデントすべきです。
14 / 33
13年4月5日金曜日

24. 検出例 インデントの乱れ
1 void f(void) {
2 int i;
3 while(!foo()){
4 for(i=0;i<20;i++){
5 bar();}
6 }
7 }
test.c:2:1:行頭から書き始めるのは分かりにくいため、
スペース 4 個分インデントすべきです。
test.c:4:1:インデントが乱れています。
スペース 8 個分インデントすべきです。
test.c:5:1:インデントが乱れています。
スペース 12 個 分インデントすべきです。
15 / 33
13年4月5日金曜日

25. 検出例 インデントの乱れ
1 void f(void) {
2 int i;
3 while(!foo()){
4 for(i=0;i<20;i++){
5 bar();}
6 }
7 }
test.c:2:1:行頭から書き始めるのは分かりにくいため、
スペース 4 個分インデントすべきです。
test.c:4:1:インデントが乱れています。
スペース 8 個分インデントすべきです。
test.c:5:1:インデントが乱れています。
スペース 12 個 分インデントすべきです。
16 / 33
13年4月5日金曜日

26. 検出例 文字列の代入
void f(void) {
char arr[20];
arr[20] = "string";
}
char型配列の1つの要素に文字列を格納できません。
strcpy を使うことを検討してください。
17 / 33
13年4月5日金曜日

27. 検出例 余分なセミコロン
int main(void);
{
}
関数定義にはセミコロン ;
を付けません。
Splint
test.c:2:2: Parse Error. (For help on parse errors,
see splint -help parseerrors.)
*** Cannot continue.
18 / 33
13年4月5日金曜日

28. 検出例 sizeofの使用
char *p = malloc(128);
printf("%un", sizeof(p));
sizeof(p) は 128 ではなく 4 を返します (仮定6)。
それは本当に意図したことですか？
仮定 6: ポインタ変数のサイズを 4 バイト
と仮定しています
19 / 33
13年4月5日金曜日

29. 検出例 メモリリーク
int f(void) {
char *p, *q;
p = malloc(10);
q = malloc(20);
if (!q) return -1;
// do something
free(p);
free(q);
return 0;
}
メモリリークする可能性があります
20 / 33
13年4月5日金曜日

30. 検出例 実体定義
hoge.c
#include "hoge.h"
hoge.h
int g_x;
ヘッダファイルには実体を定義すべきではありません。
（extern宣言を用いてください。 (extern int g_x;) ）
21 / 33
13年4月5日金曜日

31. 実装
• ソースコードをEclipse CDTでパース
• 型情報付き抽象構文木を取得
ソースコード 抽象構文木
標準ヘッダ 制御フロー
最小限の内容
到達定義
22 / 33
13年4月5日金曜日

32. 実装
• 制御フロー情報を基にポインタ解析
• 種々の情報を組み合わせ、問題を検出
制御フロー ポインタ解析
抽象構文木 問題検出 指摘・提案
到達定義
23 / 33
13年4月5日金曜日

33. ねらい
13年4月5日金曜日

34. ねらい
• 初学者が陥りやすいミスを認識
13年4月5日金曜日

35. ねらい
• 初学者が陥りやすいミスを認識
• 分かりやすい言葉で指摘
13年4月5日金曜日

36. ねらい
• 初学者が陥りやすいミスを認識
• 分かりやすい言葉で指摘
• 可能なら解決策を提案
13年4月5日金曜日

37. ねらい
• 初学者が陥りやすいミスを認識
• 分かりやすい言葉で指摘
• 可能なら解決策を提案
• →学習効率が向上！
13年4月5日金曜日

38. 合宿でやったこと
• バグ取り
• 新機能の実装
• 囲碁
• 政治談義
13年4月5日金曜日

39. 新機能
13年4月5日金曜日

40. 新機能
• 宣言されていない関数名を警告
• 標準関数→ヘッダ名
13年4月5日金曜日

41. 使ってみよう
• ブログで使い方など紹介
「uchanote c-helper」で検索！
• アンケートにご協力を
修士論文研究の一環なんです…
13年4月5日金曜日

42. まとめ
• バグが取れた
• 新機能ができた
• 政治談義できた
13年4月5日金曜日

43. まとめ
• バグが取れた
• 新機能ができた
• 政治談義できた
有意義な合宿！！
13年4月5日金曜日