Valency Hub
alphaFeedback

WorksComputer Science

When Static Reachability Says No: Checking Joern-Based Negative Verdicts for Python Against Execution

Artur Zięba-Kozarzewski, Bartosz Grzegorzewski

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
  • Claude Code
View details
Ancillary data
1 data link
View
Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT
Nov 03, 2026
PUBLISHED
read this version