Исходное сообщение
"Для Linux и Redox представлена реализация Libc на языке Rust" Отправлено Ordu, 11-Мрт-18 10:25
>> Можно анализировать статически всё что угодно, но зачем? Какие, например, доп. результаты мы можем получить при анализе машинного кода? > После большого количества inline'ов и всяких мудрых мыслей может получиться, что функция > редуцируется до panic, как тут, что довольно неприятно. Такие вещи будет сложно отловить анализируя чисто машинный код, всё равно придётся сравнивать семантику описанную в сорце с семантикой машинного кода. Поэтому статические анализаторы сами не дураки проделать работу компилятора и редуцировать код, выкинув оттуда всё то, что не несёт смысловой нагрузки. Собственно, а как иначе можно вычислить условие которое всегда выполняется или код, который никогда не выполняется?