Sphinx — Sphinx documentation
📝 Rich Text Formatting Author in reStructuredText or MyST Markdown to create highly structured technical documents, including tables, highlighted code blocks, mathematical notations, and more. 🔗 Powerful Cross-Referencing Create cross-references within your project, and even across different projects. Include references to sections, figures, tables, citations, glossaries, code objects, and more.
C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
静的コード解析 - Wikipedia
静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis) とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ[1]。静的コード解析はソースコードに対して行われることが多いが、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。日本語では静的コード分析とも訳される[2]。 概要[編集] ツールが行う静的コード解析の洗練度は、個々の文や宣言だけを検証するものから、プログラム全体を解析するものまで様々である。解析結果の利用も様々で、Lintのように単に
淘気鬼児工房
現在公開中の自作ツール達です。 各ツールへの質問・要望・バグ報告は必ず掲示板でご連絡下さい、メールでのサポートなどは一切受け付けません。 メールは雑誌掲載などの個人的なもののみ受け付けます。 やる気がなくなった物は順次削除しています。＜ベクターに行けばあるかもしれません(;^_^A アプリケーション(アプリ名、クラス名)を監視して全ての音量を自動調節＆ホットキーで音量を一発変更する。 再生、録音全てのコントロールが調節可能です。 ヘルプがないので何方か作って下さいm(_ _)m [Freeware] ・Download Ver3.10 (2005/01/25) ・Readme ・Image1(メインウィンドウ) ・Image2(コンパクトVC)
Manpage of CTAGS日本語対応版
Section: Exuberant Ctags (1) Updated: Version 5.5.3j1 Index Return to Main Contents 名前 ctags - ソースコードに対するタグファイルを生成する。 書式 ctags [options] [file(s)] etags [options] [file(s)] 説明 ctags および etags (以後、区別が必要なければ ctags) は、 さまざまなプログラミング言語で定義されているオブジェクト (関数やクラス、構 造体など) のインデックス (または "tag") ファイルを生成する。このタグファイ ルによって、テキストエディタやその他ユーティリティで (ソースコードを閲覧す る際に) 、オブジェクトの定義位置を迅速に、しかも簡単に見つけることが可能に なる。"tag" は、インデックスのエントリか
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
