Static Analysis and unit-testing.