📊 Static Analysis

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

Feeds to Scour
SubscribedAll
Scoured 15516 posts in 936.3 ms
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·22h
📜Proof Carrying Code
Preview
Report Post
#1 - Spot Problems Before Reading Any Code
dev.to·14h·
Discuss: DEV
✅Format Verification
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·1h·
Discuss: Hacker News
📊APL Heritage
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·18h·
Discuss: Hacker News
🔒Type Safety
Preview
Report Post
IntelliSA: An Intelligent Static Analyzer for IaC Security Smell Detection Using Symbolic Rules and Neural Inference
arxiv.org·5h
📏Code Metrics
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·17h
🧮Algebraic Archives
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·5h
🔓Reverse engineering
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·2d
📏Code Metrics
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·17h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
✅Format Validation
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🛠Language Design
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
🔬Binary Analysis
Preview
Report Post
Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
arxiv.org·1d
🔓Decompilation
Preview
Report Post
PHPStan Now 25~40% Faster For Static Analysis
phoronix.com·23h
📏Code Metrics
Preview
Report Post
Can you chart a murder? How to build an interactive novel
sixcolors.com·16h
🔠Terminal Fonts
Preview
Report Post
Performance Is Not a Technical Problem
shud.in·1h·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·19h
🧩WASM Components
Preview
Report Post
Rust vs C++: A Comparison
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·7h
⚡Effectful Programming
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help