coverity 2017.07 segfaults on debianバスターとストレッチ

Question

私はカバレッジ設定を更新しようとしていましたが、セグメンテーションなしでcov-build --helpを実行することさえできません。再生の手順については、以下のアスキーネマを参照してください。私は浮腫の中でmd5sumが一致することを示すのを忘れていましたが、私はそれがあなたに保証します。

私は同じことをdebianストレッチを実行しているドッカーコンテナで行い、同じ結果を得ました。

どのような考えにも感謝します。

https://asciinema.org/a/FXLDkV3vLNnlxhGkr0UwNyb4o

Answer 1

あなたが有効になって非推奨vsyscallのエミュレーションを持っていますか？

これは、カーネルバージョン4.8.x以降のデフォルトでは当てはまりません。現時点でバイナリが動作するために必要です。

# sysctl vsyscall=emulate 

また、このパラメータを使用してカーネルを起動するためにブートローダーを修正することができます：私は、私は次のようなエラーメッセージが出ていて、ブートオプションとして設定する必要がありますように

GRUB_CMDLINE_LINUX_DEFAULT="quiet vsyscall=emulate"