ESLint の Suggestions から学ぶ、コードの自動修正の奥深さ - mizdra's blog
これは、はてなエンジニアアドベントカレンダー2023 4日目の記事です。 3日目は id:mechairoi さんの「SQLiteでLinderaを使った日本語全文検索」でした。 blog.chairoi.me 今日のテーマは、JavaScript 向けの Linter 「ESLint」についてです。ESLint を使うと、JavaScript で書かれたコードを静的解析して、よくある間違いを検出したり、コーディングスタイルを統一できます。 通常、ESLint のルールによって報告された問題 (error や warn) は人が手で修正します。ただし、ルールが報告する問題の中には「fixable」な性質を持ったものがあります。こうした fixable な問題は、eslint --fix で自動修正できます。例えば、object-shorthand ルールによって報告された問題は、以下のよう
GitHub - codemix/deprank: Use PageRank to find the most important files in your codebase.
Deprank uses the PageRank algorithm to find the most important files in your JavaScript or TypeScript codebase. It uses dependency-cruiser to build a dependency graph of your source files, then ranks those dependencies based on their importance. We define importance as those files which are directly or indirectly depended upon the most by other files in the codebase. Deprank is particularly useful
依存関係と階層構造の軛 - モナドとわたしとコモナド
21世紀現在のプログラミング言語において、モジュールという機能はほぼ必要不可欠である。ソースコードを分割し、明示的な依存関係を指定する仕組みであるモジュールは、以下のような様々な恩恵をもたらす。 インクリメンタルビルド: モジュールごとにコンパイル結果を保存し、変更されていない部分を再コンパイルするのを防ぐ。 内部の隠蔽: 実装の詳細を隠蔽し、モジュール外から触れないようにする。プログラムの見通しをよくしたり、不正な操作をする機会を減らす。 アーキテクチャの整理: モジュールは他のモジュールを参照できるが、原則として相互参照はしない。依存の向きを定めることで、適切な抽象化と、 それに基づいた実装の分離を促す。 さて、いくらモジュールが便利と言えど、数が増えすぎるとさすがに扱いにくい*1。そのため、ディレクトリの構造をモジュールの階層構造として運用する仕組みが備わっていることが多い。 コンパ
Clojureで実装されている静的コード解析ツールCodeSceneでClojureプロジェクトを分析する - Qiita
今回は、私が業務をしている中で出会った、Clojureを用いて実装されている静的コード解析サービス、CodeSceneについてご紹介します。業務でClojureを採用する際の説得材料の一つになれば幸いです。また、Clojure以外の言語も多数サポートしているので、その他の言語のプロジェクト管理にもオススメです。コミュニティエディションはオープンソースプロジェクトには無料で利用できます。 CodeSceneはスウェーデンの企業で、ソースコードを静的解析して、コード品質や開発チームの効率、メンバーが辞めたときのリスクなどを評価するサービスを提供しています。社名はCrime Scene（事件現場）をもじったもので、Forensics（犯罪科学、鑑識）をソフトウェアに適用していることから来ているものと思われます。 GitHubやBitBucketで管理されているリポジトリをスキャンし、28のプログ
GitHub Actions のワークフローをチェックする actionlint をつくった - はやくプログラムになりたい
GitHub Actions のワークフローを静的にチェックする actionlint というコマンドラインツールを最近つくっていて，概ね欲しい機能が揃って実装も安定してきたので紹介します． github.com なぜワークフローファイルの lint をすべきなのか GitHub Actions が正式リリースされてからだいぶ経ち，GitHub 上での CI は GitHub Actions が第一候補となってきているように感じます．僕も新規にリポジトリを作成して CI をセットアップする場合はほぼ GitHub Actions を使っています． ですが，GitHub Actions には下記のような問題があり，actionlint でそれらを解決・緩和したいというのが理由です． ワークフローを実装する時は，GitHub に push して CI が実行されるのを待って結果を確認するという
Error Prone
Error Prone It’s common for even the best programmers to make simple mistakes. And sometimes a refactoring which seems safe can leave behind code which will never do what’s intended. We’re used to getting help from the compiler, but it doesn’t do much beyond static type checking. Using Error Prone to augment the compiler’s type analysis, you can catch more mistakes before they cost you time, or en
malliとclj-kondoで変わる(?)Clojure開発体験
まだ malli で定義した仕様をすべて clj-kondo 側で扱えるわけではないです。 そのため現時点で実用に耐えうるかというとそうではありません。 ただ無いよりは有った方が開発体験は改善するいうレベルです。 malli とは metosin/malli は Clojure/ClojureScript 向けにデータに対する仕様を定義し、データがその仕様に沿っているかをバリデートするための機能を提供するライブラリです。 近いライブラリとして clojure.spec や plumatic/schema がありますが、malli が特徴的なのはすべての仕様を「データ」として定義できる点です。 (require '[malli.core :as m]) (def IntMap ;; key がキーワード、 value が整数であるマップの定義 ;; キーワードとシンボルからなるただのデータ
GitHub - kowainik/stan: 🕵️ Haskell STatic ANalyser
[Back to the Table of Contents] ↑ Stan is a command-line tool for analysing Haskell projects. It discovers which parts of the code can potentially be improved, and offers suggestions on how to do so. Stan is searching for not only performance or error-prone code pieces, but it also can help with establishing and applying best-practices from the whole Haskell ecosystem. Although Haskell is a static
GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
This repository contains the source code for Semgrep OSS (open-source software). Semgrep OSS is a fast, open-source, static analysis tool for searching code, finding bugs, and enforcing code standards at editor, commit, and CI time. Semgrep is a semantic grep for code: where grep "2" would only match the exact string 2, Semgrep would match x = 1; y = x + 1 when searching for 2. And it does this in
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Crux
ホーム - CloneTracker
GitHub - ast-grep/ast-grep: ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
GitHub - kaist-plrg/jstar: JSTAR: JavaScript Specification Type Analyzer using Refinement
Introduction | Glean
GitHub - facebookincubator/Glean: System for collecting, deriving and working with facts about source code.
GitHub - github/codeql: CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
GitHub - trailofbits/siderophile: Find the ideal fuzz targets in a Rust codebase
DeepSource: The Code Health Platform
GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
