InferでLinuxカーネルのメモリ関連エラーを検出してみる - VA Linux エンジニアブログ
1. 静的コード解析 2. Infer 3. 調査環境 4. Inferのビルド 5. Inferで解析できるようにLinuxカーネルソースコードに少し修正を加える 6. LinuxカーネルソースコードをInferで検証 7. 解析結果に対する精査の一例 7.1. 真のバグの例 7.2. フォールスポジティブの例 7.3. 真のバグか判断に困るものの例 8. 結論とこれから 執筆者 : 岡部 究 1. 静的コード解析 普段の開発で品質向上させるためにどのような手法を採用されているでしょうか。おそらくユニットテストや結合テストを代表するテストを使っているのではないでしょうか。 このテスト手法は現実的ですがざっと挙げるだけでも以下の課題があります: 入力と出力をテストケースと呼ばれる例として与えるので全ての場合を網羅することは不可能 テストの網羅率を上げるにはユニットテストのような小さい単位で
グーグルのバグ予測アルゴリズムを実装したツール「bugspots」について - Qiita
bugspotsはgoogleが開発した、バグ予測アルゴリズムをオープンソースとして開発されたツールです。 細かい説明は後にまとめますが、実際に使ったのを見るほうが分かりやすいので早速使ってみます。 実際に使ってみる 1.bugspotsをgemでインストール 3.結果を見てみる このHotspotsの下に出力されている左の数値がバグが起こりやすい度合いを表すスコア、右が対象のファイルになる。 メチャクチャ簡単に導入できるので、 リファクタやコードレビューなどで目星をつけるという意味では有用なツールな気がしました。 背景の説明 googleでは、チェックイン前にユニットテストやコードレビューが行われているが、コードが大量になってくると、ユニットテストやコードレビューをすり抜けたバグも少なからず発生してします。 googleではこの問題に対処するために、独自の「バグ予測アルゴリズム」を採用し
Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる
Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる Inferが対応するコードはAndroidのJavaとiOSのObjective-C、およびC。現時点ではAndroidとJavaではNullPointerExceptionおよびリソースのリーク。iOSとCコードではメモリーリークを発見してくれます。 実際にプログラムを実行することなくバグを発見しようとする静的コード解析は、コードをビルドしてテストプログラムなどを実行するよりも迅速にバグを発見できる方法として期待されています。 Inferも、Facebookがより早く高い品質のソフトウェアをデリバリする目的で開発されたものです。下記はInferを発表したブログ「Open-sourcing Facebook Infer: Identify bugs before y
GitHub - rubocop/rubocop: A Ruby static code analyzer and formatter, based on the community Ruby style guide.
Role models are important. -- Officer Alex J. Murphy / RoboCop RuboCop is a Ruby static code analyzer (a.k.a. linter) and code formatter. Out of the box it will enforce many of the guidelines outlined in the community Ruby Style Guide. Apart from reporting the problems discovered in your code, RuboCop can also automatically fix many of them for you. RuboCop is extremely flexible and most aspects o
JenkinsでObjective-Cソースコードの静的解析結果のグラフを表示できるようにする
プログラミング (iOS, JavaScript, Jenkins, Sikuli) とMacやiPhoneなどの話題が中心のブログ 前回の記事「JenkinsでObjective-Cのコード重複を採れるようにする」でObjective-Cのコード重複をJenkinsで採れるようにしました。 今回はJenkinsのClang Scan-Build Pluginを導入して、Objective-Cソースコードの静的解析結果のグラフを表示できるようにするまでの手順を紹介します。 Clang Static Analyzerの導入と動作チェック Clang Scan-Build PluginはXcode単体では動作せず、Clang Static Analyzerが必要になります。これは、次の手順で導入します。 次のURLから checker-###.tar.bz2 をダウンロード (###は数字)。
Clang Scan-Build
This plugin allows you to execute Clang scan-build against Mac or iPhone XCode projects or other scan-build compatible build tools. Description This plugin allows you configure a build step that will execute the Clang scan-build static analysis tool against an XCode project. This plugin also provides a Post-build Action that will archive the HTML reports and generate a trend graph. The following f
scan-build: running the analyzer from the command line
What is it? scan-build is a command line utility that enables a user to run the static analyzer over their codebase as part of performing a regular build (from the command line). How does it work? During a project build, as source files are compiled they are also analyzed in tandem by the static analyzer. Upon completion of the build, results are then presented to the user within a web browser. Wi
Cppcheck - A tool for static C/C++ code analysis
Packages Cppcheck can also be installed from various package managers; however, you might get an outdated version then. Debian: sudo apt-get install cppcheck Fedora: sudo yum install cppcheck Mac: brew install cppcheck Features Unique code analysis that detect various kinds of bugs in your code. Both command line interface and graphical user interface are available. Cppcheck has a strong focus on
Clang Static Analyzer
The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. Currently it can be run either from the command line or if you use macOS then within Xcode. When invoked from the command line, it is intended to be run in tandem with a build of a codebase. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the anal
静的コード解析 - Wikipedia
静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis) とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ[1]。静的コード解析はソースコードに対して行われることが多いが、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。日本語では静的コード分析とも訳される[2]。 概要[編集] ツールが行う静的コード解析の洗練度は、個々の文や宣言だけを検証するものから、プログラム全体を解析するものまで様々である。解析結果の利用も様々で、Lintのように単に
List of tools for static code analysis - Wikipedia
A tool to control occurrences of various entities or programming patterns in Ada code, used for checking coding standards, enforcement of safety related rules, and support for various manual inspections. Features automatic fixing of violations.
無償のソースコード静的解析ツール、AdLint登場 | マイナビニュース
オージス総研は2月28日、C言語プログラミング用の静的解析ツール「AdLint 1.0」を無償公開した。AdLint 1.0はオープンソース化されており、ライセンスとしてGNU GPL 3を採用している。ANSI C89、ISO C90、 ISO C99の一部に準拠したソースコードの解析ができるという。 AdLintではシングルモジュール解析、クロスモジュール解析、597種類の警告検知、14種類のコード情報抽出、15種類のコード品質メトリクス測定などを実装しており、コンパイラでは検出できない不具合の可能性を警告したり、「経路複雑度」、「被呼出し数」、「デッドコード数」などを測定してソースコードの品質を指標化したりできるとしている。また、同社が提供しているソースコード品質評価ツール「Adqua」と組み合わせることでソースコードの品質を視覚的なレポートで表示することもできるという。 AdLin
python 用 lint、Pyflakes vs. pyChecker vs. pylint - 傀儡師の館.Python：楽天ブログ
2007.12.01 python 用 lint、Pyflakes vs. pyChecker vs. pylint (1) テーマ：プログラミング言語 Python を使う(336) カテゴリ：Python Python の文法チェックには何を使う？ lint はないの？ で Python だと lint 相当のものは何があるということで pyChecker と pylint を取り上げたが、pyflakes もシンプルなので、うるさすぎる警告で肝心な警告を見逃すことがないからよいということで教えていただいた。 Re:pyflakes(11/24) yasusiiさん pyflakes を普通にインストールすると c:\Python25\Scripts などに pyflakes というファイルがあるはずです。これを pflks.py など pyflakes.py 以外の名前にリネームしま
Boli Wiki - ～試練はつづくよどこまでも～ Pylint
このサイトについて JOCVの平成22年度3次隊で南米某国に派遣中の管理者が書き散らしたWikiサイトです(参考:なぜWikiなのか)。 ↑
Klocwork | 丸紅情報システムズ | 開発者のための静的ソースコード解析
C, C++, C#, Java, JavaScript, Python, Kotlin の 静的解析ツール C, C++, C#, Java, JavaScript, PythonおよびKotlin用のKlocwork静的アプリケーションセキュリティテスト（SAST:Static Application Security Testing）は、ソフトウェアのセキュリティ、品質、および信頼性の問題を特定し、業界標準への準拠を強化するのに役立ちます。 エンタープライズDevOps向けに構築されたKlocworkは、あらゆるサイズのプロジェクトに対応し、大規模で複雑な環境にてさまざまな開発者ツールと統合し、制御、コラボレーション、レポートを提供します。Klocworkの差分分析エンジンは、精度を維持しながら迅速な結果を提供し、CI / CDパイプラインとシームレスに統合して継続的なコンプライアン
Klocwork for C, C++, C#, Java, JavaScript, Python, Kotlin | Perforce
Klocwork: Best Static Code Analyzer for Developer Productivity, SAST, and DevOps/DevSecOps Klocwork static code analysis and SAST tool for C, C++, C#, Java, JavaScript, Python, and Kotlin identifies software security, quality, and reliability issues helping to enforce compliance with standards. Built for enterprise DevOps and DevSecOps, Klocwork scales to projects of any size, integrates with larg
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
高速なPythonの静的コード解析ツールを作った話
http://arukansoft.net/2011/03/clang.html
Klocwork Insightはデスクトップにコード解析をもたらす
【18-B-4】ソースコード品質、大丈夫ですか？ ～静的検証のススメ～