Subject: Discussion about the Frama-C source code analysis platform
This button tries to protect the mailing list archives against address harvesting by a spammer.