Linting rules are checks verifying specific properties of the analyzed code. These can be superficial, focusing on style guides, or deep, performing sophisticated static analyses of the code and looking for non-trivial errors.