This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Simmo Saan
sim642.eu
did:plc:mvmawwnpb3vflndotpin6qr3
Published "Comparing Transparent Static Analyzers with Open Verification Dashboard": https://doi.org/10.4230/LIPIcs.ECOOP.2026.8
2026-06-25T10:25:32.471Z