А объективно у Вас есть какие-нибудь жалобы на systemd, или это просто протест ради протеста?
Если меинтейнеры хорошо поработали, то пользователи ничего не заметят, кроме увеличения скорости загрузки и изменения внешнего вида. Слой совместимости с sysv-скриптами в любом случае остается.
Расскажите, пожалуйста, а как анализатор узнал о BIO_write? Он сам увидел, что вместе со строкой функции всегда передается ее длина, или это увидели Вы и пометили ее для правила?
Так стало понятнее, спасибо :)
Мне вообще кажется, что правильнее было бы для каждой подфункции сделать отдельную си-функцию, которая будет верно заполнять struct70 (так как в большой части подфункций там всегда требуются нули) и дергать ее.
Приводим все функции вида X OR Y к импликациям вида X'->Y', строим на них граф, дальше — по компонентам сильной связности пробуем поставить любой из переменных true или false и проверяем, сошелся ли ответ в данной компоненте при каком-либо значении. Если сошелся — то фиксируем и переходим к следующей компоненте, если нет, то решения системы нет.
Если меинтейнеры хорошо поработали, то пользователи ничего не заметят, кроме увеличения скорости загрузки и изменения внешнего вида. Слой совместимости с sysv-скриптами в любом случае остается.
Мне вообще кажется, что правильнее было бы для каждой подфункции сделать отдельную си-функцию, которая будет верно заполнять struct70 (так как в большой части подфункций там всегда требуются нули) и дергать ее.
Ничего не понял :)