↗ VisitFrama-CInformatique🌐 ENA sound and extensible static analyzer for C code.#programming languages#informatiqueframa-c.com⚖️☆