severinh/ethz-atsr-sbod
Statically detect invalid array accesses in Java programs using abstract interpretation
Public GitHub Catalog
Discovered Sep 26, 2026
severinh / valable
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5777527GitHub System ID
severinhOrganization / User
PublicVisibility
ActiveCatalog Status
More from severinh
severinh/ethz-acd-global-type-inference
Javali compiler with global type inference
severinh/ethz-nlp-headline
Automatic headline generation
severinh/font-awesome-customize
Create custom versions of Font Awesome