История изменений
Исправление den73, (текущая версия) :
Контрпример к твоим словам: https://fbinfer.com/docs/infer-workflow.html
конкретно вот эта фраза,
What happens is that the files get compiled as usual, and they also get translated by Infer to be analyzed in the second phase.
но ты можешь прочитать документ целиком и убедиться.
Он именно перехватывает компилятор, например, вместо gcc будет какой-нибудь (условно) infer-gcc, который И компилирует файл (вызывает обычный gcc), И захватывает инфу о процессе компиляции, чтобы потом скормить её собственно машине анализа.
Я не знаю, как это происходит в деталях именно в infer, но по инструкции процесс использования виден. И аналогично работает множество подобных инструментов.
Исправление den73, :
Контрпример к твоим словам: https://fbinfer.com/docs/infer-workflow.html
конкретно вот эта фраза,
What happens is that the files get compiled as usual, and they also get translated by Infer to be analyzed in the second phase.
но ты можешь прочитать документ целиком и убедиться.
Он именно перехватывает компилятор, например, вместо gcc будет какой-нибудь (условно) infer-gcc, который И компилирует файл (вызывает обычный gcc), И захватывает инфу о процессе компиляции, чтобы потом скормить её собственно машине анализа.
Исправление den73, :
Контрпример к твоим словам: https://fbinfer.com/docs/infer-workflow.html
конкретно вот эта фраза,
What happens is that the files get compiled as usual, and they also get translated by Infer to be analyzed in the second phase.
но ты можешь прочитать документ целиком и убедиться.
Исходная версия den73, :