Software Analysis Review
The syllabus lists a bunch of tools used for software analysis. I am going to discuss
- 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”.
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