＞・安全とするにはunsafeと宣言すべき関数を機械的に決めることが出来ない

安全とするには〜する必要がある
なら分かるが、

安全とするには〜出来ない
なので主張がわからんという話でしょ