Trends in Static and Dynamic analysis
Static analysis (analyzing source code for good or bad properties) and dynamic analysis (analyzing at run-time for good or bad behavior) are both useful tools for improving programs. This talk will describe recent research at Bell Laboratories aimed at improving the state of the art in static and dynamic analysis. Speaker: Dr. Howard Trickey from Bell Labs, USA