Program Analysis

Feeds to Scour
SubscribedAll
Scoured 81 posts in 21.6 ms

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

 🔀Concurrency Testing  Content type: Blog
blog.jetbrains.com·

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

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

Infostealers Turn Millions of Devices Into Credential Theft Machines

 🎲Fuzzing
securityweek.com·

Release Release Candidate v1.6.8-rc.16 · abhigyanpatwari/GitNexus

 🎲Fuzzing  Content type: Code
github.com·

Proof System Timelines

 🔗Constraint Solving  Content type: Blog
klatz.co·
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

Getting agents to code less slop

 🔀Concurrency Testing  Content type: Blog
thempatel.com··Hacker News

Open Code Review (Alibaba)

 🤖Automated Testing

Move Fast, Surveil Things

 🎲Fuzzing
eff.org··Hacker News

How we made the world's fastest spreadsheet even faster

 🔀Concurrency Testing  Content type: Blog
rowzero.com·

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

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

AgentGG: Open-source agentic SAST scanner

 🎯Randomized Algorithms
helpnetsecurity.com·

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

 🤖Automated Testing  Content type: Blog
medium.com
·

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

 🤖Automated Testing  Content type: News

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

 🎲Fuzzing  Content type: Academic
arxiv.org·

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

 🔀Concurrency Testing
newrepublic.com·

NFCShare Android malware spreads via fake banking app updates on GitHub

 🎲Fuzzing  Content type: News
bleepingcomputer.com·

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

 🔀Concurrency Testing
safebots.ai··Hacker News

Cisco’s Mythos Post Throws Anthropic Under the Bus

 🧪Property Testing
flyingpenguin.com·

Property-based testing | Liam DeVoe

 🧪Property Testing
tybug.dev··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