Writing Coverity model: pointer in struct ALWAYS points to tainted data December 7, 2023 by Tarik Writing Coverity model: pointer in struct ALWAYS points to tainted data