🔍 Static Analysis - nmarshall · Scour

How Static Code Analysis Helps Reduce Software Bugs, and Money Spent! 🔍Code Review

blog.jetbrains.com·4d

Article: CodeGuardian: A Model Context Protocol Server for AI-Assisted Code Quality Analysis and Security Scanning 🤖AI Coding Tools

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification ∀Lean4

Fast code review using AI 🤖AI Coding Tools

github.com·3h·r/cpp

Benchmarking a Bug Scanner ☁️Serverless Rust

blog.detail.dev·7h·Hacker News

The Final Form of Software Development ∀Lean4

blog.zksecurity.xyz·1d·Lobsters, Hacker News

The Code Review Comment I Left 47 Times ∀Lean4

optirefine.qzz.io·3d·DEV

AI Code Review Only Catches Half of Your Bugs 🤖AI Coding Tools

oreilly.com·15h

How AI code review can make correct code worseResearchApril 29, 2026Read more 🤖AI Coding Tools

What Code Review Can't See (and Bad Data Always Finds) 🔍Code Review

blog.dochia.dev·16h·Hacker News, r/programming

squid-protocol/gitgalaxy: An AST-free, LLM-free heuristic knowledge graph engine for deep repository intelligence. Map, secure, and modernize enterprise codebases across 50+ languages at extreme velocity 🏗️Cranelift

github.com·1d·Hacker News

I built a repo structural audit — bus factor, churn, god files, dependency rot, gap analysis 🔍Code Review

drive.google.com·4d·DEV

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine ☁️Serverless Rust

squid-protocol.github.io·3d·Hacker News

LLM-Guided Issue Generation from Uncovered Code Segments ⚙️LLVM

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions 🤖AI Coding Tools

VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection ⚙️LLVM

An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code 🚀MLOps

Code Broker: A Multi-Agent System for Automated Code Quality Assessment 🤖AI agents

Residual Risk Analysis in Benign Code: How Far Are We? A Multi-Model Semantic and Structural Similarity Approach 🔄C to Rust Translation

Characterizing the Usefulness of Code Review Comments in Scientific Software for Software Quality and Scientific Rigor 🔍Code Review

Log in to enable infinite scrolling