📊 Static Analysis

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

Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·15h·
Discuss: DEV
⚡Performance Tools
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
A Rubyist's guide to big-O notation
honeybadger.io·1d
🌳Trie Structures
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Mastering Malware Analysis: A SOC Analyst’s Guide to Dynamic Analysis with AnyRun
infosecwriteups.com·15h
🦠Malware Analysis
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·10h·
Discuss: DEV
📏Code Metrics
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·35m
🔬Binary Analysis
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·5h
🎯Threat Hunting
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
What Is Wrong with Statement Coverage
bullseye.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Program Execution, follow-up
windowsir.blogspot.com·11h·
Discuss: www.blogger.com
⚡Performance Tools
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·23h·
Discuss: Hacker News
🦀Rust Macros
What Is "Modern" Programming?
lemire.me·12h·
Discuss: Hacker News
💧Liquid Types
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp