Hacker News with Generative AI: Static Analysis

Ways to generate SSA (bernsteinbear.com)
Static Single Assignment is a program representation where each “variable” (though this term can be misleading) is assigned exactly once. Mostly the variables aren’t variables at all, but instead names for values—for expressions. SSA is used a lot in compilers. I’m making this page to catalog the papers I have found interesting and leave a couple of comments on them.

Programming, Compilers, Static Analysis

110 points by g0xA52A2A 10 days ago | 34 comments

"We're building a new static type checker for Python" (twitter.com)

Python, Static Analysis, Programming Languages, Software Development

356 points by shlomo_z 22 days ago | 190 comments

Diman: a Rust library for checking units of measure at compile time (github.com/Tehforsch)
Diman is a library for zero-cost compile time unit checking.

Rust, Programming Languages, Static Analysis, Unit Testing, Libraries

9 points by fanf2 26 days ago | 0 comments

Ruff: Python linter and code formatter written in Rust (github.com/astral-sh)

Python, Code Formatting, Static Analysis, Rust

200 points by modinfo 31 days ago | 150 comments

What would it take to add refinement types to Rust? (yoric.github.io)
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1).

Rust, Programming Languages, Static Analysis, Type Systems

136 points by Yoric 59 days ago | 94 comments

What would it take to add refinement types to Rust? (yoric.github.io)
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1).

Rust, Programming Languages, Static Analysis, Type Systems

26 points by leosarev 60 days ago | 3 comments

PHPStan 2.0 Released for Leading PHP Static Analyzer (phoronix.com)
PHPStan 2.0 is out today as what is the best open-source static analyzer for the PHP programming language.

PHP, Programming Languages, Static Analysis, Open Source, Software

4 points by mikece 101 days ago | 0 comments

Jet.jl: static type checker with type inference for Julia (github.com/aviatesk)
JET employs Julia's type inference system to detect potential bugs and type instabilities.

Programming, Julia, Static Analysis, Type Inference, Tools

3 points by fanf2 124 days ago | 0 comments

Zod: TypeScript-first schema validation with static type inference (zod.dev)

TypeScript, Schema Validation, Static Analysis, Development Tools

242 points by tosh 136 days ago | 197 comments

Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf] (patricklam.ca)

Debugging, Static Analysis, Software Engineering, Computer Science, Research

34 points by matt_d 169 days ago | 1 comments

Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf] (patricklam.ca)