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
馃攳 eBPF Verifier
Specific
BPF Bytecode, Kernel Safety, Program Analysis, Bounded Loops
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171605
posts in
13.0
ms
From
bytecode
to bytes: automated magic
packet
generation
聽
馃攳
Linux BPF
blog.cloudflare.com
路
6d
路
Hacker News
A
Categorical
Basis
for Robust Program Analysis
聽
馃敩
Static Analysis
arxiv.org
路
19h
Program Analysis: A
Pragmatic
Approach
聽
馃敩
Static Analysis
homes.cs.washington.edu
路
6d
路
Lobsters
Program Analysis Guided LLM Agent for
Proof-of-Concept
Generation
聽
馃幁
Program Synthesis
arxiv.org
路
4d
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