C言語/C++ コードを解析してインタラクティブなコールグラフ表示 by lctags - Qiita
お知らせ 5月を目途に自分のサイトに引き揚げます。 https://ifritjp.github.io/documents/ lctags で解析した C言語/C++ コードの情報を基に、インタラクティブなコールグラフ表示に対応しました。 従来からコールグラフ表示を対応していましたが、それは事前に設定したコールグラフの深さ以内の全コールを辿るグラフを静的に生成するもので、この方法だと次の問題がありました。 辿りたい関数コール以外のパスまで展開されてしまう すぐに巨大なグラフになってしまう 設定された深さの全コールを解析&グラフ作成するため時間がかかる この問題を解決するため、インタラクティブに関数コールを展開可能なコールグラフ表示に対応しました。 このコールグラフは次の機能を持ちます。 動的に関数コールを展開/格納可能 最低限のコール情報しかアクセスしないため反応が早い 関数ポインタを利用
KCachegrind
This is the homepage of the profiling tool Callgrind and the profile data visualization KCachegrind. Both are licensed under GPL V2. Callgrind uses runtime instrumentation via the Valgrind framework for its cache simulation and call-graph generation. This way, even shared libraries and dynamically opened plugins can be profiled. The data files generated by Callgrind can be loaded into KCachegrind
SonarQubeでソースコードの静的解析とレビューを自動化してみる(前編) | DevelopersIO
SonarQubeServerの構築 それではさっそくSonarQubeの環境を構築していきます！ まずはEC2上にSonarQubeServerを構築してみます。 今回は下記のような環境を構築していきます。 インスタンスタイプ：t2.medium OS:Amazon Linux2 DB:postgresql-9.2.23-3.amzn2.x86_64 JDK:openjdk:1.8.0_171 SonarQube:7.2.1 EC2インスタンスの作成 手順は省略します。 GIPを割り当てつつ、セキュリティグループで22,9000ポートを解放しておいておいて下さい。 Postgresのインストールと初期設定 作成したEC2にまずPostgresのインストールを行います。 sudo yum install postgresql-server sudo systemctl enable pos
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
Infer Static Analyzer | Infer | Infer
A tool to detect bugs in Java and C/C++/Objective-C code before it shipsInfer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.
C++で簡易単体テスト。assert、静的解析 - Qiita
単体テスト書いてますか？ C++では一度も単体テスト書いたことありません・・・申し訳ございません・・ 反省しこれから 単体テストをちゃんと作ろうと思います 理想形は Jenkinsおじさんをこき使って Gitと連携です C++には boost.testやCppTest、GoogleTest等があります ただし、Jenkinsの設定が面倒だったり、クライアントサーバ型の場合はモックも作る必要が出るので 今回は 超お手軽にテストができる assert、static_assert を使うことに！ お手軽！！ assert(exp) プログラム実行時に、引数の条件式が trueの時は何も行わない falseの場合は、 ファイル名、行番号、関数名等をprintoutし プログラムを終了します ただし #define NDEBUG が定義されている場合は、この部分はコンパイル対象にならないので リリー
C/C++のソースコードをCppcheckで静的解析してみよう - 2016-02-03 - ククログ
% sudo make PREFIX=/usr/local SRCDIR=build CFGDIR=/usr/local/share/cppcheck/cfg HAVE_RULES=yes CXXFLAGS="-O2 -DNDEBUG -Wall -Wno-sign-compare -Wno-unused-function" install readme.mdではインストールせずに使う想定ですが、今回は/usr/localにインストールするものとします。1 Cppcheckを使ってみる Cppcheckのセットアップができたので、実際に使ってみましょう。 例として、ククログでも何度もとりあげている、全文検索エンジンGroongaでやってみましょう。 すでに、Groongaのリポジトリをgroonga.cleanディレクトリへとcloneしてあるものとします。 Cppcheckのヘルプにもあ
C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - github/semantic: Parsing, analyzing, and comparing source code across many languages