📊 Static Analysis

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

Comparison of Generic Container Libraries for C
github.com·1d·
Discuss: Hacker News
💧Liquid Types
The 30-Day Challenge That Changed My Code Forever
dev.to·7h·
Discuss: DEV
📏Code Metrics
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·21h
🦠Malware Analysis
On The Little Things of Data Representation
lmika.org·15h
🗄️Database Internals
Code Review Debt
rodolphoarruda.pro.br·1d
📏Code Metrics
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Software Engineering Laws - Coding & Development
leadership.garden·19h
🔩Systems Programming
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·8h
🧠Intelligence Compression
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.com·5h
📏Code Metrics
We Should All Code Like Steve Jobs
priver.dev·21h·
Discuss: Hacker News
📏Code Metrics
Implementing an ikiwiki subset in Rust
blog.liw.fi·19h
🦀Rust Macros
Joomla Security Testing Guide 2025 : Recon and Exploitation
hackertarget.com·7h
🛡️Security Headers
Standard Package Layout (2016)
gobeyond.dev·1d·
Discuss: Lobsters
🔗Dependency Resolution
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
🦀Rust Macros
Function-level Basic Block Analysis
binary.ninja·2d
⚙️RISC-V Microcode
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·21h·
Discuss: r/programming
📏Code Metrics
Web Site Reorg
mwl.io·17h
🏠Personal Archives
Analyzing the Anti-Analysis Logic of an Adware Installer
objective-see.com·3d
🦠Malware Analysis
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·15h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
How to Build Abstractions in Rust Applications (2023)
orodu.net·22h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing