Extend Rchecker for Accurate Analysis of Real Embedded Projects. - Ranjie Ding; Wenfeng Lin; Xiang Du; Liangze Yin (QRS Companion, 2021)