Static Analysis

Feeds to Scour
SubscribedAll
Scoured 122 posts in 7.0 ms

chore(deps-dev): bump the typescript-eslint group with 2 updates (#22…

 🦀Rust  Content type: Code
github.com
·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🦀Rust  Content type: Blog
soteria-tools.com··Hacker News

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

 📐TLA+  Content type: Blog
medium.com
·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

 ☕Java  Content type: Academic
arxiv.org·

We Cut Semgrep's Taint Analysis Time by 75%

 ⚙️Mechanical Sympathy  Content type: Blog
semgrep.dev··Hacker News

CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog

 🐚Shell Scripting  Content type: Blog  Content type: Tutorial
github.blog·

deterministic guardrails for agentic coding

 🔄Incremental Computation
pokayoke.codes··Hacker News

ASTRA Initiative Seminar, June 12, 2026

 🏗️Systems Design
science.nasa.gov·

I wish Deno would keep doing what it does best

 🗄️Embedded Databases
hackers.pub··Lobsters, Hacker News, r/javascript

Malware ships with bugs that defenders could use against it

 🐛Fuzzing
helpnetsecurity.com·

110 QA checks in one scan, auto-fix PR for what it finds

 🐛Fuzzing
gatetest.ai··Hacker News

Cisco’s Mythos Post Throws Anthropic Under the Bus

 🤝Consensus Protocols
flyingpenguin.com·

AI Wrote the Code. Now It Broke. Who's Responsible?

 🔐MVCC
stickyminds.com·

Junior Architects with Shaky Logic: Testing AI’s Real-World Coding Skills – article review

 📐TLA+  Content type: Blog
metrics.blogg.gu.se·

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 🔍Query Compilers  Content type: Blog
blog.quarkslab.com·

Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics

 🐛Fuzzing  Content type: Academic
arxiv.org·

chore(deps-dev): bump eslint-plugin-unicorn from 65.0.0 to 65.0.1 (#2…

 🌐XDP  Content type: Code
github.com
·

AgentGG: Open-source agentic SAST scanner

 ⚡Performance Engineering
helpnetsecurity.com·

chore(deps-dev): bump eslint-plugin-n from 18.0.1 to 18.1.0 (#22230)

 ⚙️Rust Internals  Content type: Code
github.com
·

Pomona: Continuous Code Quality Improvement via Small, Automated Changes at Bloomberg

 ⚡Performance Engineering  Content type: Academic
arxiv.org·

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
Save / unsave
s

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