C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
Infiniband Day02 「Infiniband入門」 アジェンダ • Infiniband入門について • 用語 • ケーブリング • HCA • ノードアドレス • Subnet Manager • ドライバ&ユーティリティ(Linux&Win) • トラブルシューティング Infiniband入門について ユーザ空間 カーネル空間 ユーザレベルIBサービス Verbs Library HCA Infiniband Core モジュール(CM, SA Client, MAD, Verbs) Driver Upper Layer Protocol (ULP) SRP iSER NFSoR IPoIB SDP Xsigo vNIC vHBA MAD Services MPI uDAPL Application ブロック ストレージ アクセス Subnet Manager Infin
https://github.com/tokuhirom/Test-CallCount こういうかんじで、Class::Method::Modifiers で外部から before method modifier を inject すれば、回数をかぞえたりできます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く