🔬 Code Analysis - abnv · Scour

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·4h·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 🎯Symbolic Execution

github.com·5d·Hacker News·

The axios Supply Chain Attack Just Proved Why Static Analysis Matters More Than Ever 🔍Static Analysis

scanner-saas.vercel.app·23h·DEV·

CodeQL 2.25.0 adds Swift 6.2.4 support 🦉Swift Interpreters

github.blog·1d·

ClawHavoc and the Missing Layer: Why Scanning Agent Skills Isn't Enough 🏰Capability Machines

clawford.university·20h·DEV·

Show HN: RFC Esolang – RFCs as executable programs 📡Protocol Parsers

seriot.ch·1d·Hacker News·

Bulletproof Your Python ML Code 🌊Gradual Typing

medium.com·5d·

[Dovecot-news] Dovecot and Pigeonhole v2.4.3 released 💬Error Messages

dovecot.org·6d·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

Your AI Just Wrote 500 Lines of Code. Can You Prove Any of It Works? 🔍Static Analysis

pub.towardsai.net

·19h·

Codacy vs Coverity: Cloud Quality vs Enterprise SAST 🔍Static Analysis

aicodereview.cc

·2d·DEV·

Lines of code are useful 📊Code Metrics

lobste.rs·6d·Lobsters·

I've just released version 1.5.0 of the PMD Extension for bld 🐛Interactive Debuggers

github.com·5d·

Your Code Isn't Done Just Because It Runs 🚀Code Motion

ansh-corner.bearblog.dev·3d·

What's in a Codebase? 🔄Incremental Compilation

moderndescartes.com·6d·Hacker News·

Effective Debugging 🐛Debugging

simplerengineeringmanagement.substack.com·4d·Substack·

Advent of Code: Day Four 🏺Code Archeology

lewisdale.dev·6d·

ComeOnOliver/claude-code-analysis: Comprehensive reverse-engineering analysis of Claude Code's internal architecture, modules, and design patterns 🔪Program Slicing

github.com·1d·DEV·

Zoroo2626/Diffsequence: A consequence engine for code changes. It predicts and explains what a change will likely cause across a system. 🌊Gradual Effects

github.com·2d·r/SideProject, r/node·

From if Statements to Classes: How Refactoring Taught Me Testable Code 🔍Static Analysis

github.com·6d·DEV·

Loading more...