rules lawyer

(slang, derogatory) Someone who attempts to take advantage of a given set of rules, usually by using an overly-literal interpretation that is contrary to their intent, or by selectively choosing which rules take precedence in a given situation.