setjmp / longjmp を使用した際、volatile修飾されていないローカル変数の値はどうなる可能性があるか。

整数オーバーフローの脆弱性を突く攻撃で、malloc(size * count) のような計算に対する一般的な対策はどれか。