Static Analysis

Feeds to Scour
SubscribedAll
Scoured 104 posts in 7.6 ms

We Cut Semgrep's Taint Analysis Time by 75%

 👨‍💻AI Coding  Content type: Blog
semgrep.dev··Hacker News

Subversion-Resistance for Free from Formal Verification

 🏗️Infrastructure
lesswrong.com·

ColumbusLabs/DebtLens: Static analysis for maintainability debt in AI-assisted TypeScript, React, React Native, and Next.js codebases.

 🦀Rust  Content type: Code
github.com··r/vibecoding

Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis

 🤖Agentic AI  Content type: Academic
arxiv.org·

ASTRA Initiative Seminar, June 12, 2026

 🛰️Remote Sensing
science.nasa.gov·

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

 🤖AI Agents  Content type: Blog
medium.com
·

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 💻Programming  Content type: Discussion

Zcash Developers Weigh New Shielded Pool After Orchard Bug

 🦀Rust
cointelegraph.com·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 👨‍💻AI Coding
lix.polytechnique.fr·

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

 👨‍💻AI Coding
stickyminds.com·

Researchers discover hidden chip threats and a way to stop them

 Electronics
techxplore.com·

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

 🦀Rust  Content type: News
coindesk.com·

VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry

 🤖Transformers
eff.org·

From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…

 💻Programming  Content type: Blog
medium.com
·

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

 🦀Rust  Content type: Blog  Content type: Tutorial
github.blog·

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

 🦀Rust  Content type: Blog
blog.quarkslab.com·

Devs know AI code is riddled with holes, but ship it anyway

 💻Programming  Content type: News
theregister.com··Hacker News

Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports

 👨‍💻AI Coding  Content type: Blog
blogs.gnome.org·

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

 👨‍💻AI Coding  Content type: Blog
metrics.blogg.gu.se·

Malware ships with bugs that defenders could use against it

 🦀Rust
helpnetsecurity.com·

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