Static Analysis

Feeds to Scour
SubscribedAll
Scoured 32 posts in 5.3 ms

build(deps): bump the actions group with 2 updates (#91367) · openclaw/openclaw@c967172

 🌍Browser Exploits  Content type: Code
github.com·

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

 🔐Cryptography  Content type: Blog  Content type: Tutorial
github.blog·

Introducing Soteria: A New Generation of Static Analysis for Rust

 Formal Verification  Content type: Blog

We Cut Semgrep's Taint Analysis Time by 75%

 🔒Security  Content type: Blog
semgrep.dev··Hacker News

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

 Formal Verification  Content type: Academic
arxiv.org·

Static Code Analysis and the Rules of Zero, Three, and Five

 🛡️Memory Safety  Content type: Blog
blog.jetbrains.com·

I dogfooded my code review tool on 67 of my own files. Now I need harsher feedback.

 🔍Reverse Engineering  Content type: Blog
indiehackers.com·

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

 🏷️Memory Tagging  Content type: Blog
blog.quarkslab.com·

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

 💻Hacking  Content type: Blog
medium.com
·

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

 🌌Post-Quantum Crypto  Content type: News
wwd.com
·

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

 Formal Verification
lix.polytechnique.fr·

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

 Formal Verification
newrepublic.com·

SAST vs SCA: Key Differences for AppSec Teams

 🏭Supply Chain
orca.security·

#649, June 8th 2026

 ⚙️LLVM Security
llvmweekly.org·

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

 🔒Security  Content type: Blog  Content type: Discussion
tildalice.io·

May 2026 CVE Landscape

 🔒Security  Content type: Blog
recordedfuture.com·

Securing CI/CD for an open source project: Controlling who runs what

 🏭Supply Chain  Content type: Blog
cncf.io·

Release v4.9.2 - Improved Homebrew security with brew-proxy · secureblue/secureblue

 🔱FreeBSD Security  Content type: Code
github.com·

May 2026 CVE Landscape

 🔒Security
malware.news·

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

 Formal Verification  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