Software Analysis Review

I just took a course on software analysis. The course was created by Prof. Mayur Naik and the course website is here. Course notes are available here. Below I present some facts I learned.

The syllabus lists a bunch of tools used for software analysis. I am going to discuss

  • randoop
  • type systems
  • dynamic symbolic execution


Here is some background reading material on the randoop tool.

Some employees at Microsoft Research worked on a technique for test generation called “feedback-directed random test generation”.

Type Systems

Dynamic Symbolic Execution

Software analysis has practical applications to computer security, which I am marginally interested in. I am going to follow up this course by reading materials from the MIT course on computer system security 6.858