1. AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER. Authors: RÉKA KOVÁCS, GÁBOR HORVÁTH.