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
Code Analysis, Data Flow, Control Flow, Program Verification
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
313
posts in
16.4
ms
⚡
Reactive Programming
arXiv
·
4d
4 days ago
Effect Systems as
Abstract
Interpretations
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 Effect Systems as Abstract Interpretations
📝
Text Editors
GitHub
·
13h
13 hours ago
Show HN: Perl-lsp – annotation free
static
analysis
for Perl
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 Show HN: Perl-lsp – annotation free static analysis for Perl
🔨
Compilers
Adam Keys is typing
·
5d
5 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
🔐
Cybersecurity
Orca Security
·
4d
4 days ago
What Is Application Security Testing? Tools and Types
Covers
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
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 What Is Application Security Testing? Tools and Types
🔐
Cybersecurity
Aikido Security's Blog
·
4d
4 days ago
Aikido
Code
Audit
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 Aikido Code Audit
🤖
LLMs
The New Stack
·
4d
4 days ago
Checkmarx’s new
SAST
engine isn’t about the LLM. It’s about what happens after.
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 Checkmarx’s new SAST engine isn’t about the LLM. It’s about what happens after.
🔨
Compilers
arXiv
·
22h
22 hours ago
Analyzing the Analyzers:
Model
Counting Meets
Abstract
Interpretation
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 the Analyzers: Model Counting Meets Abstract Interpretation
🤖
LLMs
arXiv
·
22h
22 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
📝
Text Editors
GitHub
·
6d
6 days ago
semgrep/semgrep
v1.167.0
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 semgrep/semgrep v1.167.0
📊
Machine Learning
arXiv
·
22h
22 hours ago
A
Formal
Tool for
Verification
of Probabilistic Spiking Neural Networks Based on Quotient
Abstractions
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 A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
🤖
LLMs
arXiv
·
22h
22 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
🦙
Local LLM
arXiv
·
22h
22 hours ago
Local LLM Agents as Vulnerable Runtimes:A
Source-Code
Audit of the Agent Runtime Layer
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 Local LLM Agents as Vulnerable Runtimes:A Source-Code Audit of the Agent Runtime Layer
λ
Functional Programming
arXiv
·
22h
22 hours ago
Probabilistic
Model
Checking
via Families of Deterministic and Unambiguous Finite Automata
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 Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
🤖
LLMs
arXiv
·
22h
22 hours ago
Formally
Verified
Code
Synthesis for Structured Data Translation in a Medical Internet of Things
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 Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things
⚡
Reactive Programming
arXiv
·
6d
6 days ago
Verifying LTL for Infinite
State
Systems via Termination
Analysis
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 Verifying LTL for Infinite State Systems via Termination Analysis
🔐
Cryptography
arXiv
·
4d
4 days ago
AutoTam: Specifying Secure Protocol Implementations with Tamarin
Model
Generation
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 AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
🔨
Compilers
arXiv
·
6d
6 days ago
Principles and Practices of Large-Scale
Code
Analysis
at Ant Group: A
Data
- and Logic-Oriented Approach
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 Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach
🖼️
Terminal Graphics
arXiv
·
6d
6 days ago
UMB: A Unified Markov Binary
Format
for Probabilistic
Model
Checking
(extended version)
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 UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
🤖
LLMs
arXiv
·
6d
6 days ago
Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
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 Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
🖼️
Terminal Graphics
arXiv
·
5d
5 days ago
Graph-ESBMC-PLC:
Formal
Verification
of Graphical PLCopen XML Ladder Diagram
Programs
Using SMT-Based Model Checking
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 Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
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