Static Analysis

Feeds to Scour
SubscribedAll
Scoured 126 posts in 6.9 ms

Introducing Soteria: A New Generation of Static Analysis for Rust

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

We Cut Semgrep's Taint Analysis Time by 75%

 ⚙Functional Programming  Content type: Blog
semgrep.dev··Hacker News

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

 🦀Rust  Content type: Blog
medium.com
·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

 🎯Constraint Programming  Content type: Academic
arxiv.org·

Subversion-Resistance for Free from Formal Verification

 🤝Protocol Design
lesswrong.com·

Bumper crop / Table stakes

 🦀Rust
flaminghydra.com·

AWS can now mathematically prove your VMs are isolated

 🔐Cryptography
thenewstack.io·

Cisco’s Mythos Post Throws Anthropic Under the Bus

 🤝Protocol Design
flyingpenguin.com·

Klee Benally - No Spiritual Surrender

 🔢Mathematical Logic  Content type: Reference
theanarchistlibrary.org·

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

 ⚙Functional Programming
lix.polytechnique.fr·

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

 📐Algorithms
stickyminds.com·

Ask HN: What has been the fate of code review?

 📣Software Criticism  Content type: Discussion
news.ycombinator.com··Hacker News

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

SAST vs SCA: Key Differences for AppSec Teams

 🧬Hygienic Macros
orca.security·

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

 ⚙Functional Programming  Content type: Academic
arxiv.org·

A Paul Klee Angel Finally Lands in New York

 🔄Category Theory  Content type: Blog
3quarksdaily.com·

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

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

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

 🧬Hygienic Macros  Content type: Blog  Content type: Tutorial
github.blog·

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

 📣Software Criticism  Content type: Blog
medium.com
·

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

 📣Software Criticism  Content type: Blog
blogs.gnome.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