static-program-analysis Following along with the Static Program Analysis book, to get more hands-on experience with semantic analysis.