Software analysis isn't the flashiest or most interesting topic in CS - but Professor Elbaum is a good lecturer and keeps it engaging. The course involves 4 homework assignments which were definitely more difficult than I expected - start them early or you will end up regretting it. There is a research paper to read each week that you will be quizzed on so read the papers and each student presents on one of the papers. There is a final project that can be on anything related to software analysis so you have a lot of flexibility to do something you are interested in. Overall, this course was more difficult than I was expecting, but I definitely learned a lot and the work load wasn't too bad. I think it would have been worse with a different professor, but Professor Elbaum seems to genuinely care about his students and keeps the lectures engaging which is a lot more than I can say about most CS professors.