Experiment

Try the HSR Parallel Checke here!

You can edit the code and choose from prepared code samples. Detected issues will be marked inside the code and will be also listed below as messages.

Loading analysis binaries (25MB)...

The online version of the Parallel Checker is enabled by the Mono WebAssembly cross-compilation. We use CodeMirror for the web-based code editor and the syntax highlighting. Thanks to Christoph Amrein (Concurrency Lab group member) for porting the checker!