Sparse
/
soc
/ abstract-interpretation
Implement some checks based on abstract interpretation.