static checkers for performance bugs