Cの静的解析ツールについて – プログラミング – Home

Cの静的解析ツールについて
 
通知
すべてクリア

Cの静的解析ツールについて


ももも
 ももも
(@ももも)
ゲスト
結合: 20年前
投稿: 1
Topic starter  

はじめまして。
プログラミングとは少しずれるかもしれませんが
Cのモジュールで使用されている変数(ポインタ変数含む)が
初期化されているかしらべたいのですが、規模が大きいので
静的解析ツールを使用したいと思っています。

何かお勧めの解析ツールがあれば教えて頂きたく。
(フリーでなくてもよいです。というかフリーでは探せなかったので)

以上 よろしくお願いいたします。


引用解決済
トピックタグ
tib
 tib
(@tib)
ゲスト
結合: 23年前
投稿: 468
 

「lint」じゃダメでしょうか。


返信引用
瀬戸っぷ
 瀬戸っぷ
(@瀬戸っぷ)
ゲスト
結合: 22年前
投稿: 160
 

http://rec.ncos.co.jp/

こんなのとか。


返信引用
tetrapod
 tetrapod
(@tetrapod)
ゲスト
結合: 22年前
投稿: 830
 

豪勢に行きたいなら Purify とか。


返信引用
はくほー
 はくほー
(@はくほー)
ゲスト
結合: 20年前
投稿: 1
 

かなり高いですが、富士通のPGRelief。
1ヶ月以内でケリが付く規模であれば、体験版でいけると思います。


返信引用

返信する

投稿者名

投稿者メールアドレス

タイトル *

プレビュー 0リビジョン 保存しました
共有:
タイトルとURLをコピーしました