TECH : Generalized API checkers for the Clang Static Analyzer

Sean Eveson
ARTICLE BY:
POSTED:

Event: 2017 European LLVM Developers Meeting

Sean presents three modified API checkers, that use external metadata, to warn on improper function calls. We aim to upstream these checkers to replace existing hard-coded data and duplicated code. The goal is to allow anyone to check any API, using the Static Analyzer as a black box.

Duration: 4 Minutes

Back to top