Prazek added a comment. Does solution like this works for you? We don't officially support alpha checkers, but it is much easier to check if something is already implemented in static analyzer easily https://reviews.llvm.org/D28729