c# - p/invoke を静的に検証する

Question

「ネイティブメソッドへの呼び出しがスタックのバランスを崩した」などのランタイムエラーに遭遇しないように、.h-files を静的に/に対して検証する方法はありますか?

クロスプラットフォームであり、.so ファイルでも動作する方法であることが望ましいです。

Answer 1

これは自分で推論できます。正確な静的分析が可能であれば、[DllImport] 宣言を記述する必要がなくなり、分析ツールが自動生成するだけで済みます。

そのようなツールは存在しません。C の宣言はあいまいすぎます。

ポインターとデータ フローを明確にするSAL 注釈のような追加のマークアップがなければ、分析ツールは機能しません。たとえば、Pinvoke Interop Assistantはこれを使用します。IDL で使用される属性は非常によく似た役割を果たし、COM でタイプ ライブラリとプロキシ/スタブを自動生成します。