高速なPythonの静的コード解析ツールを作った話TL;DR pylyzerというPython向けの静的コード解析ツールを開発した。 pylyzerは既存の静的解析ツール(e.g. pytype, pyright)よりも細かいコードの欠陥を指摘でき、エラー表示が丁寧であり、更に高速である。コードによっては100倍以上速く検査できた。 pylyzerはcargo(Rustのパッケージマネージャ)がインストールされている場合は以下のコマンドでインストール出来る。
GitHub - pschanely/CrossHair: An analysis tool for Python that blurs the line between testing and type systems.
An analysis tool for Python that blurs the line between testing and type systems. THE LATEST NEWS: Python's most popular property-based testing tool, Hypothesis, now supports running CrossHair as an optional backend! If you have a function with type annotations and add a contract in a supported syntax, CrossHair will attempt to find counterexamples for you: CrossHair works by repeatedly calling yo
Static Analysis at Scale: An Instagram Story
Instagram Server is entirely Python powered. Well, mostly. There’s also some Cython, and our dependencies include a fair amount of C++ code exposed to Python as C extensions. Our server app is a monolith, one big codebase of several million lines and a few thousand Django endpoints [1], all loaded up and served together. A few services have been split out of the monolith, but we don’t have any pla
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Semgrep | Python static analysis comparison: Bandit vs Semgrep
