Comprehensive static analysis of C++ is not possible, however, the Genode project publishes unit tests for empirical analysis.
Eine umfassende statische Analyse von C++ ist zwar nicht möglich, allerdings veröffentlicht das Genode Projekt umfangreiche Unittests für die empirische Analyse.