Benchmarking Open-Source Static Analyzers for Security Testing for C

von Gentsch, Christoph
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)