CaVer: Neue Technik findet Schwachstellen in C++-Code

US-Wissenschaftler haben ein Verfahren entwickelt, das fehlerhafte Typumwandlungen in C++-Programmen zur Laufzeit identifiziert. Es hat bereits mehrere inzwischen behobene Schwachstellen in der GNU-libstd++ und in Firefox aufgespürt.

Der ganze Artikel: CaVer: Neue Technik findet Schwachstellen in C++-Code