Codeinspector - это пакет для поиска и отчетности проблем в коде языка Wolfram. Codeinspector имеет большую коллекцию правил, которые можно использовать для осмотра исходных файлов исходного кода языка Wolfram и может быть настроена на ваши предпочтения.
В автономном ядре:
Needs["CodeInspector`"]
CodeInspectSummarize["If[a,b,b]"]
Out[2]= If[a,b,b]
line 1: If[a,b,b]
^ ^
DuplicateClauses Error Both branches are the same.
В передней части: 
Инструменты статического анализа на языке Wolfram
"Codeparser и Codeinspector" на Community.wolfram.com
Поиск ошибок на языке Wolfram от WTC 2019: Смотрите видео (YouTube)
Поиск ошибок на языке Wolfram от WTC 2019: Смотрите видео (Wolfram.com)
Поиск ошибок на языке Wolfram от WTC 2019: Скачать презентация
Codeinspector зависит от Paclet CodeParser и Paclet CodeFormatter.
Codeinspector и его зависимости включены в Mathematica 12.2 и выше.
Для более старых версий установите Paclet и зависимости Codeinspector и зависимости от общедоступного сервера Paclet:
PacletInstall["CodeParser"]
PacletInstall["CodeFormatter"]
PacletInstall["CodeInspector"]
Создайте и установите Paclet Codeinspector локально
После установки CodeParser и Codeinspector можно использовать Codeinseper.
Вернуть список всех проблем, найденных в строке кода:
Needs["CodeInspector`"]
CodeInspect["If[a,b,b]"]
Out[2]= {DuplicateClauses Error Both branches are the same.}
Суммируйте проблемы, найденные в файле исходного кода:

Вход в CodeInspect и CodeInspectSummarize может быть строкой, File или списком байтов.
Смотрите этот урок в браузере Wolfram System Help:
Убедитесь, что Paclets можно найти в вашей системе:
Needs["CodeInspector`"]
и попробуйте основной пример:
CodeInspect["If[a, b, b]"]