6 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Jukka Ruohonen, Mubashrah Saddiqa, Krzysztof Sierszecki
Static analysis is a classical technique for improving software security and software quality in general. Fairly recently, a new static analyzer was implemented in the GNU Compiler…