📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·11h·
Discuss: Hacker News, r/programming, r/webdev
🤖Archive Automation
Program verification is not all-or-nothing
lawrencecpaulson.github.io·18h
🎯Performance Proofs
The Ultimate Secure Code Review Checklist
boostsecurity.io·5h
🛡️WebAssembly Security
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·9h
🔗Monadic Parsing
C++'s Greatest Flaw
harshal.is-cool.dev·1d·
Discuss: Hacker News
🔩Systems Programming
Mapping Relationships in IDA 9.2: Dynamic Xref Graph and Xref Tree
hex-rays.com·21m
🔗Static Linking
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
📏Linear Logic
Guest Post on Why Coding Style is Important
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org
📜Proof Carrying Code
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·12h
🔍eBPF
Introduction to the dependency graph
tweag.io·1d
📊Dependency Graphs
Week #759 & #760
optional.is·4h
📝Concrete Syntax
Master Go Memory Analysis: A Practical Guide from Dev to Prod
dev.to·17h·
Discuss: DEV
🧠Memory Forensics
Modern C, C23 edition, now in print
gustedt.wordpress.com·8h
✅Format Verification
In Defense of AI Evals
sh-reya.com·48m·
Discuss: Hacker News
🔍Concolic Testing
C Tooling
tomscheers.github.io·2d·
Discuss: Hacker News, r/C_Programming
🚀Compiler Optimizations
Parameters and binding forms should be mutually recursive
samestep.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
✅Formal Methods
Consistency of grading programming assignments
academiccomputing.wordpress.com·2d
📏Code Metrics
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda