Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Static Analysis
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
109
posts in
21.1
ms
🔧
LLVM
Silicon Opera
·
6d
6 days ago
The
Compiler
Knows Your
Code
Better Than You Do
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Compiler Knows Your Code Better Than You Do
📝
Parser Combinators
arXiv
·
8h
8 hours ago
VeriBound: PAC-Bayesian Generalization Bounds for Process Reward Models Trained with
Formal
Verification
Tools
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VeriBound: PAC-Bayesian Generalization Bounds for Process Reward Models Trained with Formal Verification Tools
🛠️
Developer Tooling
medium.com
·
2d
2 days ago
LineFault
: Catching the Concurrency Bugs Rust’s
Compiler
Won’t Tell You About
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for LineFault: Catching the Concurrency Bugs Rust’s Compiler Won’t Tell You About
🛠️
Developer Tooling
devops.com
·
19h
19 hours ago
GitHub
Code
Quality
Moves to General Availability, Bringing New Costs and Capabilities
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub Code Quality Moves to General Availability, Bringing New Costs and Capabilities
🛠️
Developer Tooling
GitHub
·
1d
1 day ago
Horus – Zero-dependency C++ CLI for malware IOC
analysis
and enrichment
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Horus – Zero-dependency C++ CLI for malware IOC analysis and enrichment
📚
Compilers
Adrian Sampson
·
5d
5 days ago
Advanced
Compilers
: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
4 sources
See all sources covering this story
including
Hacker News
,
daemonology.net
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Advanced Compilers: The Self-Guided Online Course
🛠️
Developer Tooling
eventra.dev
·
23h
23 hours ago
TypeScript
static
analysis
for unused feature detection
Covered by
DEV Community
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for TypeScript static analysis for unused feature detection
🛠️
Developer Tooling
Adam Keys is typing
·
4d
4 days ago
The local maxima we need to reach the next global maximum
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The local maxima we need to reach the next global maximum
🛠️
Developer Tooling
4sysops
·
1d
1 day ago
Malicious npm and PyPI packages use prompt injection to bypass AI security scanners
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Malicious npm and PyPI packages use prompt injection to bypass AI security scanners
🛠️
Developer Tooling
research.google
·
3d
3 days ago
Analyzing
Bytes: Pre-Disassembly
Static
Binary
Analysis
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Analyzing Bytes: Pre-Disassembly Static Binary Analysis
🛠️
Developer Tooling
Blogs Archive
·
20h
20 hours ago
Extended Rapid Response: Zimperium's On-Device Coverage of the EvilTokens Multi-Brand Phishing Campaign
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Extended Rapid Response: Zimperium's On-Device Coverage of the EvilTokens Multi-Brand Phishing Campaign
🛠️
Developer Tooling
substackcdn.com
·
4d
4 days ago
Setting Up Automated
Static
Analysis
Tools for Kernel
Code
Integrity
Discussed on
Substack
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Setting Up Automated Static Analysis Tools for Kernel Code Integrity
🛠️
Developer Tooling
JetBrains
·
1d
1 day ago
PHP Version Migration That Doesn’t Break Everything
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for PHP Version Migration That Doesn’t Break Everything
🛠️
Developer Tooling
medium.com
·
5d
5 days ago
Mobile Application Security | TryHackMe
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Mobile Application Security | TryHackMe
📝
Parser Combinators
arXiv
·
8h
8 hours ago
ForEx: A
Formal
Verification
Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
🛠️
Developer Tooling
brandur.org
·
1d
1 day ago
The Path of Madness
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Path of Madness
🔧
LLVM
TechCrunch
·
5d
5 days ago
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
Covered by
SiliconANGLE
,
AI资讯速览
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
🛠️
Developer Tooling
IEEE Spectrum
·
1h
1 hour ago
Vibecoded Malware Is
Flooding
the Internet
Covers
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Vibecoded Malware Is Flooding the Internet
⚙️
Concurrency Models
clef-lang.com
·
4d
4 days ago
Fearless Concurrency Gets Real
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Fearless Concurrency Gets Real
⚙️
Systems Programming
link.springer.com
·
6d
6 days ago
The French School of
Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report
