Может кто-нибудь сказать мне, какие новые инструменты динамического анализа для C-кода, такие как valdgrind?
Вот два, которые вы могли бы посмотреть: шина и Frama-C (Frama-C - статический инструмент, а не динамический)
Взгляните на Фенрис . Может быть, не замена Valgrind, но все еще очень круто :) На самом деле, почти все инструменты, которые Michal Zalewski создает, действительно .... креативны (извините).