Sign up for Zulip

Goblint
https://goblint.zulipchat.com

A static analyzer for multi-threaded C programs, specializing in finding concurrency bugs.

You need an invitation to join this organization.
OR