N>Старое, но интересное видео о настоящем и будущем статического анализа программ.
N>Хотелось бы узнать, какие, по вашему мнению, новые возможности появятся с увеличением памяти и быстродействия компьютеров?

Нормальный статический анализ Си++ (сейчас его вроде как нет), с объявляемыми юзером правилами на каком-то хитром языке.