Что-то мне стало любопытно, не могу смириться с мыслью, что в таком продукте, как LuaJIT, столько CWE-617 ) Как я понял, ваш фаззинг можно условно разделить на две части: фаззинг сишных функций и фаззинг путём генерации Lua-кода. Случайно не помните, при каком фаззинге возникают эти "CWE-617: Reachable Assertion"?
Для информации. KeyDB уже не поддерживается. В 2021 их купил Snapchat. Последний коммит был сделан в апреле 2024. John Sully, основной разработчик, ушел из Snapchat в феврале 2025, предложив всем переходить на Valkey: https://github.com/Snapchat/KeyDB/issues/895
Спасибо, полезная статья! Я правильно понимаю, что обнаруженные проблемы типа "CWE-617: Reachable Assertion" не требуется исправлять? Если программист напишет код, приводящий к assert(), то он эту ошибку сразу отловит, исправит, и проблем с безопасностью не возникнет.
Сейчас острый дефицит толковых людей, которые могут самостоятельно решать задачи (особенно сложные), доводить их до результата. Как я понял, вы ищете только таких людей.
Часть таких людей сейчас получают плюс-минус 350к. Им нет особого смысла переходить на такую же сумму.
Часть толковых людей сидят на невысокой зарплате. Лично знаю немало таких ребят из провинции, с хорошим опытом работы и совершенно неразвитым навыком прохождения интервью. В режиме экзамена они будут ошибаться, забывать вещи, которые на самом деле знают, их опыт будет казаться ненастоящим. Про таких вы скажете "на рынке огромное количество некомпетентных специалистов".
Есть толковые люди с прокачанным скиллом прохождения интервью, которые вышли на рынок и активно ищут работу. В момент выхода на рынок появляется огромное количество компаний, которые хотят пообщаться, провести интервью. Такой кандидат гарантированно получит несколько хороших офферов, это компании конкурируют за него. Есть предположение (да что уж, почти уверенность), что ваши подходы к проведению интервью отпугивают таких кандидатов.
Благодаря этому комментарию стало понятно, каких людей вы ищете. Действительно очень круто, когда команда состоит из профессионалов, которые самостоятельно могут решать любые задачи. Сейчас таких людей очень не хватает. Однако есть мнение, что 350 тыс. в месяц на руки - это даже близко не "по верхней планке рынка" для таких людей.
Спасибо за разъяснение.
Покрытие фаззинг-тестами до 61% по строкам - это крутой результат, значит ваш генератор Lua-программ очень хорош, респект!
Что-то мне стало любопытно, не могу смириться с мыслью, что в таком продукте, как LuaJIT, столько CWE-617 )
Как я понял, ваш фаззинг можно условно разделить на две части: фаззинг сишных функций и фаззинг путём генерации Lua-кода.
Случайно не помните, при каком фаззинге возникают эти "CWE-617: Reachable Assertion"?
Для информации.
KeyDB уже не поддерживается.
В 2021 их купил Snapchat.
Последний коммит был сделан в апреле 2024.
John Sully, основной разработчик, ушел из Snapchat в феврале 2025, предложив всем переходить на Valkey:
https://github.com/Snapchat/KeyDB/issues/895
Спасибо, полезная статья!
Я правильно понимаю, что обнаруженные проблемы типа "CWE-617: Reachable Assertion" не требуется исправлять?
Если программист напишет код, приводящий к assert(), то он эту ошибку сразу отловит, исправит, и проблем с безопасностью не возникнет.
Предлагаю посмотреть на всё это с такой стороны.
Сейчас острый дефицит толковых людей, которые могут самостоятельно решать задачи (особенно сложные), доводить их до результата. Как я понял, вы ищете только таких людей.
Часть таких людей сейчас получают плюс-минус 350к. Им нет особого смысла переходить на такую же сумму.
Часть толковых людей сидят на невысокой зарплате. Лично знаю немало таких ребят из провинции, с хорошим опытом работы и совершенно неразвитым навыком прохождения интервью. В режиме экзамена они будут ошибаться, забывать вещи, которые на самом деле знают, их опыт будет казаться ненастоящим. Про таких вы скажете "на рынке огромное количество некомпетентных специалистов".
Есть толковые люди с прокачанным скиллом прохождения интервью, которые вышли на рынок и активно ищут работу. В момент выхода на рынок появляется огромное количество компаний, которые хотят пообщаться, провести интервью. Такой кандидат гарантированно получит несколько хороших офферов, это компании конкурируют за него. Есть предположение (да что уж, почти уверенность), что ваши подходы к проведению интервью отпугивают таких кандидатов.
Благодаря этому комментарию стало понятно, каких людей вы ищете.
Действительно очень круто, когда команда состоит из профессионалов, которые самостоятельно могут решать любые задачи.
Сейчас таких людей очень не хватает.
Однако есть мнение, что 350 тыс. в месяц на руки - это даже близко не "по верхней планке рынка" для таких людей.