Program Analysis

Feeds to Scour
SubscribedAll
Scoured 80 posts in 4.9 ms

Introducing Soteria: A New Generation of Static Analysis for Rust

 🧩SMT Solvers  Content type: Blog
soteria-tools.com··Hacker News

We Cut Semgrep's Taint Analysis Time by 75%

 🎲Fuzzing  Content type: Blog
semgrep.dev··Hacker News

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

 🎲Fuzzing  Content type: Blog
medium.com
·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

 🔗Constraint Solving  Content type: Academic
arxiv.org·

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

 🧪Property Testing  Content type: Code
github.com··r/vibecoding

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

 ✅Formal Verification
lix.polytechnique.fr·

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

 🤖Automated Testing
stickyminds.com·

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

 🤖Automated Testing  Content type: Blog  Content type: Tutorial
github.blog·

SAST vs SCA: Key Differences for AppSec Teams

 🤖Automated Testing
orca.security·

The ‘Miasma’ worm source code briefly leaked on GitHub

 🎲Fuzzing  Content type: News
bleepingcomputer.com·

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

 🎲Fuzzing
eff.org··Hacker News

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

 🎯Randomized Algorithms  Content type: Blog
metrics.blogg.gu.se·

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

 🎲Fuzzing  Content type: Blog
blog.quarkslab.com·

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

 ✅Formal Verification  Content type: News
wwd.com
·

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

 🎯Randomized Algorithms  Content type: Blog
spectralcore.com··Hacker News

Infostealers Turn Millions of Devices Into Credential Theft Machines

 🎲Fuzzing
securityweek.com·

Malware ships with bugs that defenders could use against it

 🎲Fuzzing
helpnetsecurity.com·

Chinese APTs: Ghost NICs, GRIMBOLT, and Evolved BPFdoor Target Critical Infrastructure

 🎲Fuzzing  Content type: News
deafnews.it··r/pwnhub

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

 🎲Fuzzing  Content type: Blog
blogs.gnome.org·
Less-relevant results

Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter

 🎲Fuzzing  Content type: Blog
stepsecurity.io··Hacker News

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