StAnD: A Dataset of Linear Static Analysis Problems. - Luca Grementieri; Francesco Finelli (CoRR, 2022)