Hatena Blog Tags
はてなブログ トップ
静的解析
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

静的解析

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
Algomatic Tech Blog•6日前

TypeScriptの「型が通る」だけでは足りない。anti-slopで根拠の薄いコードをCIから止める

こんにちは。AlgomaticでソフトウェアエンジニアをしているGo（@53able）です。 TypeScriptの型検査が通ることは大切です。ただし、それだけで実行時の安全まで保証されるわけではありません。 たとえば、次のコードはTypeScript上ではUser型として扱えます。 const user = input as object as User; しかし、このコードはinputの中身を検証していません。objectを経由して、コンパイラへ「これはUserとして扱ってよい」と伝えているだけです。 AIコーディングエージェントによって実装が速くなっても、このような「型エラーにはならない…

#typesciprt#Oxlint#静的解析#型安全#CI#テスト#ソフトウェア設計#AIコーディング

関連ブログ

学び直しロードマップ•2ヶ月前

Pythonの型ヒントを学ぶ順番｜mypy・Ruff・pyproject.tomlの4週間ロードマップ

Pythonで成果物と自動テストを作れるようになると、次に気になるのが型ヒントである。引数や戻り値へ型を書けば読みやすくなる一方、すべての変数へ細かく注釈を付けたり、最初から厳しい設定を導入したりすると、エラー対応だけで学習が止まりやすい。 Pythonの型ヒントは、実行時に値を強制する仕組みではない。mypyなどの静的型チェッカーが、プログラムを実行する前に引数・戻り値・代入の不整合を見つけるための情報である。RuffはLintとフォーマットを担当し、型チェックとは役割が異なる。 結論として、最初は外部から呼ばれる関数の引数と戻り値へ型を付ける。次にNone、コレクション、辞書、外部ライブラ…

#Python#型ヒント#mypy#静的解析
城咲子｜情報システム部セキュリティ担当のつぶやき（ぼやき）•4ヶ月前

【2026年版】ソースコードチェックツール完全ガイド｜品質とセキュリティを自動化し、属人性を排除する

チェックツールの種類と役割 - それぞれの得意分野を理解する SASTの限界とDASTの重要性 - 静的解析と動的解析の違い 代表的なDASTツール 言語の壁を越える！プロジェクト横断で使えるチェックツール 【言語別】専門家が推奨するコードチェックツール最強の組み合わせ Java ▼ 小規模プロジェクト向け：Checkstyle + SpotBugs ▼ 中・大規模プロジェクト向け：Checkstyle + SpotBugs + PMD + (目的別) SonarQube TypeScript/JavaScript ▼ 小規模プロジェクト向け：ESLint + Prettier ▼ 中・大規模…

#SAST#DAST#DevSecOps#ソースコードチェック#静的解析#動的解析#脆弱性診断#CI/CD#セキュリティ
盆暗の学習記録•1年前

LintやFormat、型チェックを自動実行する方法まとめ

lintや型チェックなどの静的解析はバグを未然に防ぐのに役立ちますし、formatterの実行は規約に反するコードを自動で修正してきれいなコードベースを保つうえで便利です。 しかし、コードを変更するたびに手動でコマンドを実行するのは面倒なので、自動で実行したいです。 LintやFormatを自動化する方法をいくつかまとめます（主にPython向けですが、他の言語でも考え方は同じです） VS Codeで実行する 拡張機能の導入 Formatter の実行 commit 時に Git hook で実行する Github Actions で実行する 静的解析をGithub Actionsで実行する …

#linter#Formatter#静的解析#型チェック
若くない何かの悩み•1年前

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話

社のブログで最近の成果を公開しました。ぜひご覧ください。 swet.dena.com 画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 --- SWET第二グループの[Kuniwak](https://kuniwak.com/)です。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 ## 伝えたいこと 1. 画面表示と画面遷移を記述する仕様書は機械可読にできる 2. 仕様書が機械可読であれば仕様の静的検査ができる 3. 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 4. 機械可読な仕様書にはさらなる応用が見込め…

#静的解析
DeNA Testing Blog•1年前

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話

SWET第二グループのKuniwakです。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 伝えたいこと 画面表示と画面遷移を記述する仕様書は機械可読にできる 仕様書が機械可読であれば仕様の静的検査ができる 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 機械可読な仕様書にはさらなる応用が見込める おさらい：仕様とは 仕様の定義はいくつかあります。 ここでは仕様とは実装の正しい振る舞いを定める基準とします。 ある実装が正しいと判定されることを、実装が仕様を満たしたといいます。 誰による判定でも実装が仕様を満たしたかどうかの判定結…

#仕様書#静的解析#仕様書レビュー
ZUU Developers Blog｜ZUUエンジニアのブログ•2年前

deadcodeを使ってMP-CloudのGolangコードのデッドコードを2500行削除した話

1. はじめに ZUUの村田 陵です。 エンジニアの皆さん、こんな経験はないでしょうか？ バグの調査のために特定のシンボル名で検索してコードを読んでいたら、そのコードがどこにも使われていなかった。 機能の追加のための影響範囲を調査するために、長いソースコードを読む必要がある。しかし、よくよく調べてみると使っていない関数がたくさんあった。 使われていない定数が残っている。 CIでlinterを導入すると多くのlint errorが出たため対応したが、調べてみると使われていない関数だった。 1年も運用していれば一つぐらいは当てはまることはあるんじゃないでしょうか。MP-Cloudのメンテナンスをし…

#golang#deadcode#リファクタリング#静的解析#コード品質
セキュリティ猫の備忘録•2年前

【crackmes.one】「crackme dady」攻略

はじめに crackmeの攻略の備忘録になります（攻略までの考え方、ツールの使い方をまとめるのを目的としています）。 静的解析・リバースエンジニアリングの練習としてツールを使いこなせるようにすることを目指しています。 はじめに crackmeとは crackmes.oneとは 攻略 対象ファイル「crackme dady」 デコンパイル 実行 デバック

#crackme#リバースエンジニアリング#静的解析
RAKUS Developers Blog | ラクス エンジニアブログ•2年前

PHPerKaigi 2024【参加レポート】

はじめに メールディーラー開発課のyamamuuuです。 2024/03/7(木) ~ 03/9(土)の3日間に渡ってPHPerKaigi 2024が開催されました。 今回もオンライン・オフライン両方のハイブリッド開催でした。 phperkaigi.jp ラクスはシルバースポンサーとして協賛し、3名が登壇した他、数名のメンバーが参加しました。 今回はラクスからの登壇者本人と参加者によるレポートを紹介させていただきます。 はじめに 参加レポート php-src debug マニュアル 10年モノのレガシーPHPアプリケーションを移植しきるまでの泥臭くも長い軌跡 ウキウキ手作りミニマリストPHP …

#phperkaigi#phperkaigi2024#PHP#静的解析#Composer#PHPTechCafe#技術イベント#PHPStan