Hacker News with Generative AI: Static Analysis

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 10 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 33 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 45 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 78 days ago | 1 comments
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf] (patricklam.ca)
Debugging, Static Analysis, Software Development, Programming, Computer Science
37 points by luu 78 days ago | 0 comments
What's Coming Next for ESLint (eslint.org)
JavaScript, Static Analysis, Linters, Code Quality, Software Development
32 points by soheilpro 139 days ago | 18 comments
Batfish: OSS network configuration static analysis, find bugs, test correctness (github.com/batfish)
Network Security, Open Source, Static Analysis, Network Configuration
39 points by transpute 167 days ago | 2 comments
Fixing C source code from the internet using cake static analyzer (youtube.com)
Programming, Static Analysis, C, Software Development, Debugging
12 points by thradams 206 days ago | 2 comments
Pylyzer – A fast static code analyzer and language server for Python (github.com/mtshiba)
Python, Programming, Static Analysis, Tools
155 points by daremocooon 224 days ago | 26 comments