dockerfileの静的解析ツールが便利すぎた - Qiita
背景 Dockerfileを静的解析したいと思い便利なツールがないかと探していたら発見しました。 DockerfileのLintツール ◆ hadolint/hadolint エラーが出るDockerfileをビルド前に検知してくれます。 ちなみにHaskellで書かれているようです。 現時点での最新バージョンはv1.15.0でmac等にも対応している。 GitHubのスター数は1000程である。 lintとは wikiより引用 lint とは、主にC言語のソースコードに対し、コンパイラよりも詳細かつ厳密なチェックを行うプログラムである。 型の一致しない関数呼び出し 初期化されていない変数の参照 宣言されているが使われていない変数 同じ関数を参照しているが、戻り値を使う場合と使わない場合がある[疑問点 – ノート] 関数が戻り値を返す場合と返さない場合がある など、コンパイラではチェックさ
CppDepend - Boost Your C and C++ Code Quality.
The Ultimate C/C++ Code Quality Analysis Tool for Professionals. Discover CppDepend, the top-tier solution for C/C++ code analysis and management that stands unrivaled in the industry. Compatibility with C++23, C++20, C++17, C++14, C++11, C++98, C, Embedded C, and CUDA. Seamless integration with Visual Studio 2022, 2019, 2017, 2015, 2013, 2012 and 2010 Supports prevalent coding standards including
[翻訳] Python の静的型、すごい mypy! - Qiita
本稿は 2016年10月13日 (木) に Tim Abbott 氏によって書かれた記事の翻訳です。 Static types in Python, oh my(py)! https://news.ycombinator.com/item?id=12703008 免責事項/Disclaimer 本稿は 非公式 の翻訳記事です (著者の Tim Abbott 氏に翻訳を公開することの確認は取っています) 。本稿の内容に関して Tim Abbott 氏と Dropbox 社は一切の責任を負いません。 誤訳などありましたら私宛に編集リクエストを送って頂けると助かります。 謝辞 @takada-at に誤訳の指摘をコメントで頂きました @shimizukawa から誤訳修正の編集リクエストを頂きました @cocoatomo は全体を通して誤訳修正、より分りやすい日本語の表現にしてくれました 私の拙
![[翻訳] Python の静的型、すごい mypy! - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/44f54dd3af76a4d019b8b8c5f66d36fb551ec862/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JTVCJUU3JUJGJUJCJUU4JUE4JUIzJTVEJTIwUHl0aG9uJTIwJUUzJTgxJUFFJUU5JTlEJTk5JUU3JTlBJTg0JUU1JTlFJThCJUUzJTgwJTgxJUUzJTgxJTk5JUUzJTgxJTk0JUUzJTgxJTg0JTIwbXlweSUyMSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9MThhZTVkZGI4YTk0MmFiN2E2ZGUzMWI3ZDBmMWViZTg%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0MnkmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTIwYWMxYTI2M2ZlOTJjZTE1NDhiMTZiMmI4ZjYwNmFk%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D4233fb6b873a588723c9b79a1ca69280)
ホーア論理を拡張しポインタを扱える「Separation Logic」、静的検証ツール「Infer」でMonoidics社が実用化
ホーア論理を拡張しポインタを扱える「Separation Logic」、静的検証ツール「Infer」でMonoidics社が実用化 英Monoidics 取締役兼共同創業者 Peter O'Hearn氏 CTO兼共同創業者のCristiano Calcagno氏 静的検証ツールの分野で新たなタイプの製品が登場した。メモリー関連エラーの検出に特化した英Monoidics社の「Infer」だ。「Separation Logic」という近年開発されたソフトウエア科学の研究成果を活用している。従来の一般的な静的検証ツールよりも正確に、メモリーリークなどのメモリー関連エラーをチェックできるのが特徴だ。 メモリーリーク検証ツールといえば、米IBM社の「Rational Purify」が著名だが、Purifyは静的検証ツールではなく、実際に対象となるソフトウエアを実行しながらメモリーリークを検出する動的
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cppcheck / News: Cppcheck-1.76
