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
Abstract Interpretation, Data Flow, Control Flow, Bug Detection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
13
posts in
6.1
ms
Introducing Soteria: A New Generation of
Static
Analysis
for Rust
🔍
Symbolic Execution
Content type:
Blog
soteria-tools.com
·
8h
8 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
We Cut Semgrep's
Taint
Analysis
Time by 75%
🐫
Ocaml
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Data-aware
Static
Analysis
: Improving Detection of Semantic Faults in Machine Learning Code Using
Data
Characteristics
🔎
Semantic Analysis
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics
SAST vs SCA: Key Differences for AppSec Teams
📐
formal specification
orca.security
·
2d
2 days ago
Actions for SAST vs SCA: Key Differences for AppSec Teams
Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
🔍
Symbolic Execution
newrepublic.com
·
5d
5 days ago
Actions for Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
💻
Claude
Content type:
News
wwd.com
·
1d
1 day ago
Actions for Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔧
PLT
lix.polytechnique.fr
·
14h
14 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Extending LLVM's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
🔍
Symbolic Execution
Content type:
Blog
blog.quarkslab.com
·
2d
2 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
📐
formal specification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
RECON: An LLM-Enhanced Backward Constraint
Analysis
Framework
🔍
Symbolic Execution
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
💻
Claude
Content type:
Blog
Content type:
Discussion
tildalice.io
·
6d
6 days ago
Actions for Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
🐫
Ocaml
Content type:
Blog
semgrep.dev
·
3h
3 hours ago
·
Hacker News
Actions for Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture
Database
of the Driver
Control-Code
Surface
🔍
Symbolic Execution
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface
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