Static Analysis door Jens Palsberg