SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Mikhail, R. Gadelha; Enrico, Steffinlongo; Lucas, C. Cordeiro; Bernd, Fischer; Denis, A. Nicole

Angol nyelvű Tudományos Konferenciaközlemény (Könyvrészlet)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-12-03 21:03