Lab on Static Source Code Analysis