🔬 Static Analysis - miterion · Scour

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition 🚀Compiler Optimization

arxiv.org·3d

Code quality: a concern for businesses, bottom lines, and empathetic programmers 🏗️Build Optimization

stackoverflow.blog·2d·Hacker News

Program Analysis: A Pragmatic Approach 🐕Ruff

homes.cs.washington.edu·23h·Lobsters

The 6 Big Ideas of Typescript 🔍Type Checkers

sitr.us·2h·r/programming

Giving LLMs a Formal Reasoning Engine for Code Analysis ⚡ONNX Runtime

yogthos.net·22h·Lobsters, Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 💡LSP

embedded.com·1d

Beyond Grep: Building Custom AST Parsers for 0-Day Hunting 🔍Type Checkers

medium.com·6d

CodeBot 🤖AI Coding Tools

shawnmayzes.com·7h

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. 🔍Type Checkers

github.com·1d·Hacker News

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. ⏱️Benchmarking

walsenburgtech.com·3h·Hacker News

Master C and C++ with our new Testing Handbook chapter 🔍Type Checkers

blog.trailofbits.com·9h

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🔍Type Checkers

symbolic.software·2d

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 🐕Ruff

lemmy.ml·5d

Shipping faster, thinking less? The AI code verification trap 🤖AI Coding Tools

leaddev.com·10h·Hacker News

Nailed It 🐕Ruff

speedysnail.com·3h

array_map Is Not A Design Pattern ✂️CUTLASS

linkedin.com·2d·DEV

Meta's AI model 🧠, Anthropic's agent platform 🤖, code analysis via git 👨‍💻 🤖AI Coding Tools

tldr.tech·20h

🎲 Everyday Design 🔍Type Checkers

nikoheikkila.fi·4d

When the compiler lies: breaking memory safety in safe Go 🚀Compiler Optimization

ciolek.dev·1d·Lobsters, Hacker News

Stop Treating Your Code Security Like a “Check Engine” Light (or part #2 of what we can do with Bob… 🔍Type Checkers

alain-airom.medium.com·8h

Loading more...