Static Analysis by Jens Palsberg