Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Code Analysis
🔬 Code Analysis
Static Analysis, Control Flow, Data Flow, Program Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
68
posts in
8.2
ms
Introducing Soteria: A New Generation of
Static
Analysis
for Rust
🚪
Escape Hatch
Content type:
Blog
soteria-tools.com
·
3d
3 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Your AI Doesn’t Know Your Microservices Depend On Each Other
🔍
Static Analysis
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Your AI Doesn’t Know Your Microservices Depend On Each Other
The
Code
Is Perfect. The Token Still Rugs. Building NexusVeritas.
🔐
Ownership Types
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
🔍
Static Analysis
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
Proof System Timelines
🏗️
Calculus of Constructions
Content type:
Blog
klatz.co
·
5d
5 days ago
Actions for Proof System Timelines
Awesome List Updated on Jun 10, 2026
🌐
Browser REPLs
trackawesomelist.com
·
4d
4 days ago
Actions for Awesome List Updated on Jun 10, 2026
Dr. Renata Goncalves recognized with Outstanding Manuscript Award
🎯
Type Theory
Content type:
Academic
hsph.harvard.edu
·
4d
4 days ago
Actions for Dr. Renata Goncalves recognized with Outstanding Manuscript Award
AI Wrote the
Code
. Now It Broke. Who's Responsible?
🔍
Static Analysis
stickyminds.com
·
5d
5 days ago
Actions for AI Wrote the Code. Now It Broke. Who's Responsible?
Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python
Linter
🔍
Static Analysis
Content type:
Blog
5
articles covering this post
stepsecurity.io
·
3d
3 days ago
·
Hacker News
·
Cited by 5 articles
Actions for Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
SAST vs SCA: Key Differences for AppSec Teams
📦
Dependency Analysis
orca.security
·
5d
5 days ago
Actions for SAST vs SCA: Key Differences for AppSec Teams
I built a
static
analysis
tool in pure C that traces
data
access through function call chains, need feedback
🔍
Static Analysis
Content type:
Code
github.com
·
4d
4 days ago
·
r/C_Programming
Actions for I built a static analysis tool in pure C that traces data access through function call chains, need feedback
Open
Code
Review (Alibaba)
🤖
Code Generation
notes.dsebastien.net
·
4d
4 days ago
Actions for Open Code Review (Alibaba)
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
📜
Proof Languages
lix.polytechnique.fr
·
4d
4 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
VICTORY:
Meta
Strips Facial Recognition
Code
From Smart Glasses App After Public Outcry
🔍
Static Analysis
eff.org
·
5d
5 days ago
·
Hacker News
·
Cited by 1 article
Actions for VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry
Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
🔍
Static Analysis
Content type:
Blog
blogs.gnome.org
·
5d
5 days ago
Actions for Michael Catanzaro: Please Do Not Ban AI-Assisted Issue Reports
Malware ships with bugs that defenders could use against it
🔍
Static Analysis
helpnetsecurity.com
·
5d
5 days ago
·
Cited by 1 article
Actions for Malware ships with bugs that defenders could use against it
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
📊
Dataflow Analysis
Content type:
News
wwd.com
·
4d
4 days ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
Extending LLVM's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
⚙
compilers
Content type:
Blog
blog.quarkslab.com
·
5d
5 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🧩
Constraint Solvers
techpowerup.com
·
4d
4 days ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
cryspen/hax: A Rust
verification
tool
🐪
MinCaml
Content type:
Code
github.com
·
3d
3 days ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help