В настоящее время я пытаюсь запустить команды opam, но они возвращают незаконную инструкцию 4. У меня установлена последняя версия homebrew OSX El Capitan 10.11.1 на Mac Mac 2010 года Pro. У меня есть opam установлен и связан, но каждый раз, когда я пытаюсь «opam init -y -comp = 4.01.0», «opam init», «opam update», «opam -help» и т. Д. ... я возвращаюсь »Illegal Инструкция: 4 ". Я попытался переустановить homebrew и opam.OPAM «Нелегальная инструкция: 4» для статического анализателя Infer
Дело в том, что я пытаюсь запустить статический анализ объектного кода c. Я делаю это предварительное условие для встроенного анализатора, который не подбирает некоторые вещи, которые, как я полагаю, должны. Также, если у вас есть какие-либо другие предложения для статического анализатора для объективного c, это будет оценено.