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
Static Analysis
🧩 Static Analysis
program analysis, code analysis, compiler, abstract interpretation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
135
posts in
8.3
ms
chore(deps-dev): bump the
typescript-eslint
group with 2 updates (#22…
🛠️
Compilers
Content type:
Code
github.com
·
3d
3 days ago
Actions for chore(deps-dev): bump the typescript-eslint group with 2 updates (#22…
Making
Semgrep
rip: How Ripgrep inspired us to shave hours off (some) scans
⚙️
Systems Engineering
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
The
Code
Is Perfect. The Token Still Rugs. Building NexusVeritas.
🖥️
Bytecode VMs
Content type:
Blog
medium.com
·
2h
2 hours ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
Introducing Soteria: A New Generation of
Static
Analysis
for Rust
🛠️
Compilers
Content type:
Blog
soteria-tools.com
·
2d
2 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Subversion-Resistance for Free from
Formal
Verification
💥
Chaos Engineering
lesswrong.com
·
3d
3 days ago
Actions for Subversion-Resistance for Free from Formal Verification
Mining Architectural Quality Under Agentic AI Adoption: A Causal Study of Java Repositories
💥
Chaos Engineering
Content type:
Academic
arxiv.org
·
17h
17 hours ago
Actions for Mining Architectural Quality Under Agentic AI Adoption: A Causal Study of Java Repositories
Your AI Doesn’t Know Your Microservices Depend On Each Other
💥
Chaos Engineering
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for Your AI Doesn’t Know Your Microservices Depend On Each Other
Debuggix vs Snyk vs
Semgrep
vs GitHub Advanced Security: A 100-Repo Comparison
🖥️
Bytecode VMs
Content type:
Blog
medium.com
·
5h
5 hours ago
Actions for Debuggix vs Snyk vs Semgrep vs GitHub Advanced Security: A 100-Repo Comparison
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
⚙️
Systems Engineering
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
💥
Chaos Engineering
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works
Static
Code
Analysis
and the Rules of Zero, Three, and Five
🛠️
Compilers
Content type:
Blog
blog.jetbrains.com
·
2d
2 days ago
Actions for Static Code Analysis and the Rules of Zero, Three, and Five
Claude Fable 5 Calls "Fill This Buffer Fast" a Cyber Attack
🎯
Low Latency
hftuniversity.com
·
4h
4 hours ago
·
Hacker News
Actions for Claude Fable 5 Calls "Fill This Buffer Fast" a Cyber Attack
EC2’s
formally
verified
“isolation engine” provides mathematical assurance of virtual-machine isolation
⚙️
Systems Engineering
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
AI Wrote the
Code
. Now It Broke. Who's Responsible?
💥
Chaos Engineering
stickyminds.com
·
4d
4 days ago
Actions for AI Wrote the Code. Now It Broke. Who's Responsible?
Awesome List Updated on Jun 10, 2026
📊
Data Visualization
trackawesomelist.com
·
2d
2 days ago
Actions for Awesome List Updated on Jun 10, 2026
Shift Left to the Developer’s Machine: Building Local Git Security Gates
💥
Chaos Engineering
devops.com
·
14h
14 hours ago
Actions for Shift Left to the Developer’s Machine: Building Local Git Security Gates
Formal
Verification
in Spec-Driven Development — Enterprise Level
💥
Chaos Engineering
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
VoidZero → Cloudflare, and Angular 22 lands
🖥️
Bytecode VMs
javascriptweekly.com
·
3d
3 days ago
Actions for VoidZero → Cloudflare, and Angular 22 lands
I'
ve
Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security
💥
Chaos Engineering
tldrsec.com
·
1d
1 day ago
Actions for I've Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security
We Cut
Semgrep
's Taint
Analysis
Time by 75%
🔭
Observability
Content type:
Blog
semgrep.dev
·
4d
4 days ago
·
Hacker News
·
Cited by 1 article
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Page 2 »
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