C

crust

A C static analyzer that allows to implement some parts of the memory management rules from RUST