Extending the static analyzer with your own checkers