Do any of my software engineering friends have a student who is interested in static and dynamic program analysis and is in need of a project?