Tartare: Automatic Generation of C Pointer Statements and Feedback. - Géraldine Brieven; Valentin Baum; Benoit Donnet (ACE, 2024)