You could consider linting a subset of static analysis that considers only smaller units of code and not program flow. A linter might tell you your variable nam

You could consider linting a subset of static analysis that considers only smaller units of code and not program flow. A linter might tell you your variable names are wrong or your brackets are wrong or you used discouraged method xyz. A different static analysis tool might tell you there's a path through a function that leaks memory.