Is this technology somewhat akin to a code linter? It automatically finds that problems that would be tedious for humans to find and greatly speeds up the work

Is this technology somewhat akin to a code linter? It automatically finds that problems that would be tedious for humans to find and greatly speeds up the work of the human expert?