Static Analysis door Patrick Cousot