タグ

静的解析に関するtsupoのブックマーク (4)

  • テクマトリックス、ソース構造の可視化ソフトでバックグラウンド解析を可能に

    テクマトリックスは2014年1月17日、ソフトウエアの構造を可視化するソースコード解析ソフトの新版「Understand 3.1」(写真1)を販売開始した。1月24日に出荷を開始する。新版では、バックグラウンド解析により、解析中に他の操作が可能になった。価格(税別)は、マシン固定ライセンスが1台当たり19万8000円、同時使用ライセンスが同時1ユーザー当たり39万8000円。開発会社は、米SciTools。 Understandは、ソフトウエアの構造を可視化するソフト(関連記事:テクマトリックス、COBOLも読めるソース構造の可視化ソフト新版)。呼び出しや参照、クラスの構成、制御フローなどをグラフィカルに可視化する(Visio形式での出力も可能)。個々のエンティティーをクリックすれば、詳細なコードを参照できる。ソースコードの複雑度を70種類のコードメトリクスを用いて分析する機能も備えており

    テクマトリックス、ソース構造の可視化ソフトでバックグラウンド解析を可能に
    tsupo
    tsupo 2014/01/20
    Understandは、ソフトウエアの構造を可視化するソフト / 呼び出しや参照、クラスの構成、制御フローなどをグラフィカルに可視化(Visio形式での出力も可能) / コードメトリクス分析機能もあり
  • IPA、Cのソースコードのセキュリティ検査ツールを公開 − @IT

    2012/05/08 情報処理推進機構(IPA)は5月8日、C言語で書かれたソフトウェアのソースコードを検査し、脆弱性が含まれている個所を検出して修正方法とともにレポートするツール「iCodeChecker」を公開した。 iCodeCheckerは、脆弱性やソースコード検査技術を学習したいと考える学生や開発者向けのツールだ。Cのソースコードファイルを読み込ませると自動的に解析を行い、何行目にどういった脆弱性が存在し、どのように修正すべきかを示したレポートを日語で出力する。 検出できるのは、バッファオーバーフローや整数オーバーフロー、配列インデックスの検証不備といった、開発時に作り込みやすく、かつ危険度の高い脆弱性8種に絞られている。だがそれでも、任意のコード実行につながるような、影響が大きい脆弱性の検出が期待できるという。 iCodeCheckerは、パッケージ形式とソースコード形式(い

    tsupo
    tsupo 2012/05/09
    iCodeChecker / 検出できるのは、バッファオーバーフローや整数オーバーフロー、配列インデックスの検証不備といった、開発時に作り込みやすく、かつ危険度の高い脆弱性8種 → C++ には対応してないのか
  • さらに分かっておきたいトランジスタの種類 − @IT MONOist

    オリジナル4ビットCPUを用いてバイナリコードを学ぶ連載。第13回では、オリジナル4ビットCPU「DL166」にタクトスイッチやフォトセンサーをつないで、そこから得られる値をDL166で読み込めるようにする。

    tsupo
    tsupo 2010/11/18
    「Coverity Static Analysis」と「Coverity Scanサービス」の宣伝 / 「2010年度オープンソース品質評価レポート」 / コベリティと米国国土安全保障省とで2006年に開始した調査プロジェクト(の2010年次報告) / 合計6100万行を解析
  • OBB vs AABB - Radium Software Development

    iPhoneの一般修理店は予約なしでも来店できる? 基的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、

    tsupo
    tsupo 2005/09/29
    「ベースタイプ」に関してはアプリケーション毎に定義され,それは明確に文書化されるべきである
  • 1