人気の記事一覧

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification

9か月前

オープンソースの静的解析ツールを構築するSemgrepがシリーズCで5,300万ドルの資金調達を実施

有料
100

[Qodana] [Android静的解析] GitHubのPull Requestに対してAndroid StudioのCode Inspectionsを自動実行する

JMUG Meetup #21:「マルウェアを分析してみよう」の発表・デモ内容

Now in REALITY Tech #44 C#の静的解析ツール・RoslynAnalyzerの導入をしました

1年前

Larastanで静的解析はじめます

GithubActionsでreviewdogを飼ってみた

アプリ開発に静的解析導入を進めている話

5千ファイル超のレガシープロジェクトにPHPStan継続的静的解析を導入

静的解析のために、ORMの補完用PHPDoc生成ライブラリを作った

600超のPHPファイルに名前空間をメタプログラミングで付与した方法

C++をCppcheckで静的解析してみよう

3年前

CloneTrackerが判定する4種類のコピペコードとは!?

[書評] Googleのソフトウェアエンジニアリング ~持続可能なプログラミングを支える技術、文化、プロセス

9か月前