infer
C言語の静的自動検証器である Infer の使い方がある程度分かってきたので紹介します。 Infer Infer は、C言語(or [C++, Obj-C, Java])の検証器で、 自動で特定の種類のバグを発見してくれます。発見できるバグとして分かり易い例ではリソースリークを発見で…
C言語の静的自動検証器である Infer の使い方がある程度分かってきたので紹介します。 Infer Infer は、C言語(or [C++, Obj-C, Java])の検証器で、 自動で特定の種類のバグを発見してくれます。発見できるバグとして分かり易い例ではリソースリークを発見で…