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
Concolic Testing
🔍 Concolic Testing
Specific
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23
posts in
18.3
ms
A Paul
Klee
Angel
Finally Lands in New York
📐
Mathematical Art
Content type:
Blog
3quarksdaily.com
·
3d
3 days ago
Actions for A Paul Klee Angel Finally Lands in New York
RECON: An LLM-Enhanced Backward Constraint
Analysis
Framework
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
16h
16 hours ago
Actions for RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Less-relevant results
Introducing Soteria: A New Generation of Static
Analysis
for Rust
🔒
Type Safety
Content type:
Blog
soteria-tools.com
·
6h
6 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Bumper crop / Table stakes
⭐
Awesome lists
flaminghydra.com
·
5d
5 days ago
Actions for Bumper crop / Table stakes
Klee
Benally - No Spiritual Surrender
🔍
Digital Forensics
Content type:
Reference
theanarchistlibrary.org
·
5d
5 days ago
Actions for Klee Benally - No Spiritual Surrender
Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
🔄
Schema Evolution
Content type:
News
theglobeandmail.com
·
5h
5 hours ago
Actions for Toronto Sceptres hire Pascal Rhéaume as head coach to replace Troy Ryan
Ex-NHL
player Pascal Rheaume named coach of PWHL's Sceptres
👑
Isabelle
Content type:
News
espn.com
·
6h
6 hours ago
Actions for Ex-NHL player Pascal Rheaume named coach of PWHL's Sceptres
Proof System Timelines
📐
Proof Assistants
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Extending LLVM's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
📝
Compiler Design
Content type:
Blog
blog.quarkslab.com
·
1d
1 day ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🧠
Computational Logic
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Parallel
SMT
Solving via
Dynamic
Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Property-based
testing
| Liam DeVoe
🧪
Property-Based Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Rare JMW Turner watercolour of Swiss landscape heads to auction
⏰
Time Crystals
Content type:
News
the-independent.com
·
5d
5 days ago
Actions for Rare JMW Turner watercolour of Swiss landscape heads to auction
Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
⚡
SMT Integration
newrepublic.com
·
5d
5 days ago
Actions for Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise
Oracle WebLogic Exploited 💥, HTTP/2 Bomb Discovered 💣, CoreUtils in MS Windows 🐧
🌐
Web Standards
tldr.tech
·
6d
6 days ago
Actions for Oracle WebLogic Exploited 💥, HTTP/2 Bomb Discovered 💣, CoreUtils in MS Windows 🐧
‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally
🚀
SIMD Text Processing
Content type:
News
wired.com
·
4d
4 days ago
·
Hacker News
Actions for ‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally
The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface
🔗
Binary Similarity
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
Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
🔓
Hacking
Content type:
Blog
Content type:
Discussion
tildalice.io
·
6d
6 days ago
Actions for Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me
Famous JMW Turner painting set to fetch up to £600,000 at auction
🌈
Color Archaeology
Content type:
News
the-independent.com
·
5d
5 days ago
Actions for Famous JMW Turner painting set to fetch up to £600,000 at auction
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
⚡
SMT Applications
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
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