🔍 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

Benchmarking a Bug Scanner ☁️Serverless Rust

blog.detail.dev·9h·Hacker News

Fast code review using AI 🤖AI Coding Tools

github.com·5h·r/cpp

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

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

oreilly.com·17h

The Code Review Comment I Left 47 Times ∀Lean4

optirefine.qzz.io·3d·DEV

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

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

The Final Form of Software Development ∀Lean4

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

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

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

drive.google.com·4d·DEV

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

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

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

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches ∀Lean4

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

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

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

A systematic literature Review for Transformer-based Software Vulnerability detection ⚙️LLVM

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience 🔌Embedded Rust

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

Log in to enable infinite scrolling