使用DWARF的類型安全鏈接

當DWARF格式包含我們需要的所有類型信息時，爲什麼GCC和GNU ld都不支持類型檢查鏈接？我們浪費了大量的時間在我們的公司試圖讓Ada和C安全通信。問題是我們沒有編譯器的幫助，也沒有鏈接確保這些綁定保持同步。使用DWARF的類型安全鏈接

2013-03-14 Nordlöw

當DWARF格式包含我們需要的所有類型信息時，爲什麼GCC和GNU ld都不支持類型檢查鏈接？

這個問題比你看起來要複雜得多。

我們浪費了很多時間在我們的公司試圖讓Ada和C安全通信。

然後該代碼的支持成GNU ld或gold（後者是快得多，而且更容易破解上），以及上游有助於它。問題解決了？

2013-03-15 04:12:54

這涉及到哪些複雜問題？ – 2013-03-15 11:27:18

根據下面的文章，這個問題似乎與模塊系統密切相關：http://www.cs.umd.edu/~mwh/papers/cmod-journal.pdf – 2013-03-15 11:28:08

BTW：我喜歡你的名字，僱用俄語:) – 2013-03-15 13:12:42

回答