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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
170938
posts in
19.8
ms
A
Categorical
Basis
for Robust Program Analysis
👻
Phantom Types
arxiv.org
·
17h
Beyond
Static
Analysis:
Proving
Automotive Cybersecurity and Functional Safety
✓
Formal Verification
embedded.com
·
6d
AeneasVerif/aeneas
: A verification
toolchain
for Rust programs
🐧
Rust for Linux
github.com
·
2d
·
Hacker News
Program Analysis: A
Pragmatic
Approach
🔍
KLEE
homes.cs.washington.edu
·
6d
·
Lobsters
A language where you
describe
the system and the compiler
verifies
it
✓
Formal Verification
spine-lang.org
·
4d
·
Hacker News
Master C and C++ with our new Testing
Handbook
chapter
🧬
Mutation Testing
blog.trailofbits.com
·
5d
The 6 Big
Ideas
of
Typescript
📐
Type Theory
sitr.us
·
5d
·
r/programming
Emulation-Completeness
of Programming Languages
🖥️
Emulation
arxiv.org
·
17h
SSA
without
Dominance
for Higher-Order Programs
🔓
Lock-Free Programming
arxiv.org
·
17h
AdverMCTS
: Combating
Pseudo-Correctness
in Code Generation via Adversarial Monte Carlo Tree Search
🔓
Binary Exploitation
arxiv.org
·
17h
serjective/aburiscript
: A modern C and C++ compiler frontend
⚙️
SWC
github.com
·
3d
·
r/C_Programming
Typify
: A Lightweight Usage-driven Static
Analyzer
for Precise Python Type Inference
🔗
Dependent Types
arxiv.org
·
6d
Guiding
Symbolic
Execution with Static Analysis and LLMs for Vulnerability Discovery
🔍
KLEE
arxiv.org
·
5d
An
Empirical
Analysis of Static Analysis Methods for Detection and Mitigation of Code Library
Hallucinations
🎯
Escape Analysis
arxiv.org
·
4d
CoverAssert
: Iterative LLM
Assertion
Generation Driven by Functional Coverage via Syntax-Semantic Representations
🏗️
MLIR
arxiv.org
·
5d
A
Gradual
Probabilistic Lambda
Calculus
λ
Functional Programming
arxiv.org
·
6d
Vulnerability Detection with
Interprocedural
Context in Multiple Languages: Assessing
Effectiveness
and Cost of Modern LLMs
🏗️
MLIR
arxiv.org
·
4d
Triage
: Routing Software Engineering Tasks to Cost-Effective LLM
Tiers
via Code Quality Signals
🏗️
Cranelift
arxiv.org
·
4d
SQLStructEval
:
Structural
Evaluation of LLM Text-to-SQL Generation
🔥
DataFusion
arxiv.org
·
5d
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