Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 KLEE
Specific
Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
170938
posts in
10.9
ms
Guiding
Symbolic
Execution with Static Analysis and LLMs for Vulnerability Discovery
🎯
Escape Analysis
arxiv.org
·
5d
Linux 7.0 is here, and
AI-assisted
bug finding could become the
norm
🐧
Linux
betanews.com
·
1d
Program Analysis: A
Pragmatic
Approach
🔬
Static Analysis
homes.cs.washington.edu
·
6d
·
Lobsters
From
bytecode
to bytes: automated magic
packet
generation
🔍
Linux BPF
blog.cloudflare.com
·
6d
·
Hacker News
Caught in a
Sandstorm
in the
Sahara
🦀
rust
youtube.com
·
6d
A
Categorical
Basis
for Robust Program Analysis
🔬
Static Analysis
arxiv.org
·
17h
Symetra
: Visual Analytics for the Parameter Tuning Process of
Symbolic
Execution Engines
🔥
Perf Flamegraphs
arxiv.org
·
6d
Program Analysis Guided LLM Agent for
Proof-of-Concept
Generation
🎭
Program Synthesis
arxiv.org
·
4d
A Multi-Agent Framework for Automated Exploit Generation with
Constraint-Guided
Comprehension
and Reflection
🛡️
AI Security
arxiv.org
·
6d
Inference-Time Code Selection via Symbolic
Equivalence
Partitioning
🌳
Instruction Selection
arxiv.org
·
5d
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