/ Профессии
Разработка ПО, данные, AI и инфраструктура

II.5Безопасность программного кода и цепочки поставок

В разделе собраны самостоятельные задачи, где AI помогает выявлять уязвимости в коде и цепочке поставок программного обеспечения. Для каждого пункта отдельно указаны механизм, входы, результат и способ проверки.

ЭмбеддингиТекст
AI-задач
20
в этой профессии
Подходящих моделей
1 806
по типу задач и модальности
Категория
II. Разработка и данные
Основные типы
ЭмбеддингиТекст

Рекомендованные модели

1 806 моделей
Загрузки
Лайки
Дата выхода
1 801–1 806 из 1 806
cerebras
Step-3.5-Flash-REAP-121B-A11B

Step-3.5-Flash-REAP-121B-A11B — сжатая версия Step-3.5-Flash от Cerebras, созданная методом REAP (Router-weighted Expert Activation Pruning). Это разреженная причинно-языковая MoE-модель: из исходных 288 экспертов оставлено 173, а на каждом токене активируются 8; в README указано 121 млрд параметров и 11 млрд активных на токен. Каталог Hugging Face указывает 9,8 млрд параметров, поэтому размер модели по источникам расходится. Модель предназначена для диалогов, генерации кода, математических задач, рассуждений и агентных сценариев с вызовом инструментов. Заявлена длина контекста 262 144 токена. В README говорится о близкой к полной модели производительности и снижении потребления памяти примерно на 40%; для запуска автор рекомендует vLLM с поддержкой Step-3.5-Flash. Модель принимает текст и генерирует текст; в карточке указана поддержка английского языка. README сообщает лицензию Apache 2.0, тогда как метаданные Hugging Face обозначают её как other, поэтому условия лицензии следует сверить с файлами репозитория перед использованием.

17015февр. 2026ctx262.1K
textotherhugging-face
DataSoul
DwQ-R1-32B-v0.1

DataSoul/DwQ-R1-32B-v0.1 — слитая модель генерации текста, созданная с помощью mergekit методом Linear из huihui-ai/DeepSeek-R1-Distill-Qwen-32B-abliterated и huihui-ai/QwQ-32B-Coder-Fusion-9010. В конфигурации слияния веса моделей составляют 0,9 и 0,1 соответственно; архитектура — плотная Qwen2ForCausalLM, размер — 32 млрд параметров, формат весов — safetensors, библиотека — Transformers. Модель предназначена для диалоговой генерации текста и может применяться для рассуждений и помощи с задачами программирования благодаря объединению двух исходных моделей. Она принимает текст и выдаёт текст; заявленная длина контекста — 131 072 токена. Карточка не сообщает лицензию, поэтому условия использования по имеющимся данным определить нельзя.

260янв. 2025ctx131.1K
texthugging-face
meta-llama
Meta-Llama-3-70B-Instruct

Meta Llama 3 70B Instruct — диалоговая большая языковая модель, разработанная Meta и настроенная для общения с пользователем. Она принимает текст и генерирует текст, включая программный код, поэтому подходит для чат-ассистентов и других сценариев генерации на естественном языке. Модель построена на авторегрессионной архитектуре Transformer с Grouped-Query Attention и содержит 70 млрд параметров. Инструктивная версия использует supervised fine-tuning и обучение с подкреплением на основе обратной связи от людей. В карточке указано назначение прежде всего для английского языка; модель статична и обучена на офлайн-данных. Модель можно применять в коммерческих и исследовательских проектах на условиях лицензии Llama 3 Community License и соответствующей политики допустимого использования. Она не предназначена для применения на языках, отличных от английского, хотя разработчики могут дообучать её для других языков при соблюдении условий лицензии. Для конкретного приложения потребуются собственные меры безопасности; ответы модели могут содержать ошибки или небезопасные сведения.

121K1.5Kапр. 2024
textllama3hugging-face
NANI-Nithin
MiniCPM5-2B-GGUF

NANI-Nithin/MiniCPM5-2B-GGUF — набор GGUF-квантизованных версий MiniCPM5-2B, разработанного командой OpenBMB. Модель предназначена для локального запуска на устройствах с ограниченными ресурсами, создания ассистентов, coding agents, сценариев tool use, агентских workflows и задач рассуждения. Репозиторий содержит исходную BF16-версию и 29 вариантов квантования от Q8_0 до Q1_0. Базовая модель представляет собой плотный Transformer на 2,516,756,480 параметров с архитектурой LlamaForCausalLM, 42 слоями и GQA с 16 query heads и 2 KV heads. Она поддерживает контекст до 131 072 токенов, работает с английским и китайским языками и ориентирована на text generation. По данным разработчика, модель особенно сильна в рассуждениях при работе с кодом, математике, обработке длинного контекста, использовании инструментов и агентских задачах; заявленный средний результат в сравнении с другими открытыми моделями класса 2B составляет 53,9 балла. Основное преимущество набора — возможность выбрать баланс между качеством, размером и требованиями к памяти: Q4_K_M размером около 1,45 ГБ указан как вариант по умолчанию, Q8_0 около 2,50 ГБ — как близкий к исходному качеству, а IQ2_M около 0,90 ГБ — как минимальный практически пригодный вариант. Качество низкобитных и экспериментальных квантов снижается, особенно у версий Q2 и Q1. Файлы предназначены для llama.cpp, Ollama и LM Studio и не загружаются напрямую через vLLM, SGLang или transformers; для этих сред следует использовать исходный репозиторий модели. Модель распространяется по лицензии Apache-2.0, а её ответы могут содержать ошибки.

7.8K8сент. 2026
textapache-2.0hugging-face
michaelfeil
Qwen3-Embedding-4B-auto

michaelfeil/Qwen3-Embedding-4B-auto — текстовая embedding-модель семейства Qwen3, представленная в виде дообучения Qwen/Qwen3-4B-Base. Она преобразует текст в векторы для поиска и сравнения текстов, извлечения информации, кластеризации, классификации и поиска соответствий между языками; поддерживаются также сценарии поиска по коду. Модель содержит 3,7 млрд параметров, использует плотную архитектуру Qwen3 и принимает последовательности длиной до 40 960 токенов согласно метаданным. Размер выходного embedding можно задавать в диапазоне от 32 до 2560 измерений. Карточка заявляет поддержку более 100 естественных языков и языков программирования, а также настройку инструкций под задачу; для многоязычных сценариев рекомендуются инструкции на английском языке. Модель предназначена для прикладного использования в поисковых и аналитических системах. Для получения векторов требуется библиотека Transformers версии 4.51.0 или новее: в более ранних версиях возможна ошибка распознавания архитектуры Qwen3. Лицензия — Apache-2.0.

5060июнь 2025ctx41K
textembeddingapache-2.0hugging-face
ddriscoll
stingray-dense-LoRA

Карточка модели ddriscoll/stingray-dense-LoRA на Hugging Face совпадает с карточкой Qwen/Qwen3-Embedding-4B, поэтому описание составлено по ней. Qwen3-Embedding-4B — мультиязычная модель для построения текстовых эмбеддингов из семейства Qwen3, разработанная командой Qwen. Это плотная модель на базе Qwen3-4B-Base, дообученная для задач поиска и сравнения текстов. Репозиторий содержит веса в формате safetensors; лицензия — Apache-2.0. Модель подходит для семантического поиска по документам и коду, оценки сходства предложений, классификации и кластеризации текстов, а также поиска соответствий между языками. Она поддерживает более 100 языков, контекст до 40 960 токенов по метаданным и до 32 тысяч токенов в описании модели. Размер эмбеддинга можно настраивать от 32 до 2560 измерений; также поддерживаются инструкции, настраивающие представление под задачу.

1200июнь 2026ctx41K
textembeddingapache-2.0hugging-face

Задачи профессии

20 задач
342Поиск SQL-инъекций. — Для этой задачи система преобразует запрос и объекты в сопоставимое представление, затем находит наиболее близкие и подтверждённые результаты. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Рабочие входы: исходный код, зависимости и lock-файлы, модель угроз и спецификация. Формат результата: ранжированный список кандидатов по задаче «Поиск SQL-инъекций» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Критерии приёмки: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
343Поиск XSS и небезопасного вывода данных. — Практическая реализация: AI обходит разрешённые источники, объединяет найденное и отсеивает нерелевантные либо дублирующиеся результаты. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Входной контекст включает исходный код, зависимости и lock-файлы и модель угроз. Формат результата: ранжированный список кандидатов по задаче «Поиск XSS и небезопасного вывода данных» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Ошибки выявляют по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
344Поиск SSRF и неконтролируемых сетевых запросов. — Механизм: AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Исходные данные: исходный код, зависимости и lock-файлы и модель угроз. Формат результата: ранжированный список кандидатов по задаче «Поиск SSRF и неконтролируемых сетевых запросов» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Проверка: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
345Поиск ошибок авторизации и обхода контроля доступа. — AI преобразует запрос и объекты в сопоставимое представление, затем находит наиболее близкие и подтверждённые результаты. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. К исходным данным относятся исходный код, зависимости и lock-файлы и модель угроз. Формат результата: ранжированный список кандидатов по задаче «Поиск ошибок авторизации и обхода контроля доступа» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Надёжность оценивают по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
346Поиск небезопасной десериализации. — Для этой задачи система обходит разрешённые источники, объединяет найденное и отсеивает нерелевантные либо дублирующиеся результаты. Рабочие входы: зависимости, сборочные артефакты, конфигурации и модель угроз. Формат результата: ранжированный список кандидатов по задаче «Поиск небезопасной десериализации» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Критерии приёмки: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
347Поиск утечек секретов, ключей и токенов. — Практическая реализация: AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Входной контекст включает исходный код, зависимости и lock-файлы и модель угроз. Формат результата: ранжированный список кандидатов по задаче «Поиск утечек секретов, ключей и токенов» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Ошибки выявляют по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
348Поиск небезопасного использования криптографии. — Механизм: AI преобразует запрос и объекты в сопоставимое представление, затем находит наиболее близкие и подтверждённые результаты. Исходные данные: конфигурации, модель угроз, исходный код и зависимости. Формат результата: ранжированный список кандидатов по задаче «Поиск небезопасного использования криптографии» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Проверка: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
349Проверка обработки пользовательского ввода. — AI выполняет набор автоматических проверок и сохраняет доказательства для каждого пройденного или нарушенного условия. К исходным данным относятся модель угроз, исходный код, зависимости и сборочные артефакты. Формат результата: протокол выполнения «Проверка обработки пользовательского ввода» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Надёжность оценивают повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
350Анализ зависимостей на известные уязвимости. — Для этой задачи система разбирает данные по существенным признакам, выявляет связи и формирует выводы с привязкой к исходным свидетельствам. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Рабочие входы: исходный код, зависимости и lock-файлы и модель угроз. Формат результата: объяснимые выводы по задаче «Анализ зависимостей на известные уязвимости» с влияющими факторами, альтернативными трактовками и ссылками на данные. Критерии приёмки: воспроизводимостью расчётов, проверкой источников и сравнением выводов с альтернативными объяснениями; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
351Оценка достижимости уязвимой зависимости из рабочего кода. — Практическая реализация: AI объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. Входной контекст включает исходный код, зависимости и lock-файлы, модель угроз и спецификация. Формат результата: оценка по задаче «Оценка достижимости уязвимой зависимости из рабочего кода» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Ошибки выявляют сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
352Выявление typosquatting и подозрительных пакетов. — Механизм: AI сочетает обученные шаблоны с контрольными правилами, чтобы находить значимые случаи и не пропускать пограничные примеры. Исходные данные: сборочные артефакты, конфигурации, модель угроз и исходный код. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление typosquatting и подозрительных пакетов», с локализацией, уверенностью и признаками срабатывания. Проверка: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
353Проверка лицензий зависимостей и несовместимых условий. — AI разлагает требования на проверяемые условия и последовательно сопоставляет с ними каждую часть объекта. К исходным данным относятся конфигурации, модель угроз, исходный код и зависимости. Формат результата: протокол выполнения «Проверка лицензий зависимостей и несовместимых условий» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Надёжность оценивают повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
354Построение software bill of materials. — Для этой задачи система восстанавливает скрытые связи между параметрами и использует модель для виртуальных экспериментов. Рабочие входы: модель угроз, исходный код, зависимости и сборочные артефакты. Формат результата: вычислительная модель или карта для «Построение software bill of materials» с результатами сценариев и анализом чувствительности. Критерии приёмки: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
355Поиск опасных изменений в обновлении зависимости. — Практическая реализация: AI обходит разрешённые источники, объединяет найденное и отсеивает нерелевантные либо дублирующиеся результаты. Входной контекст включает исходный код, зависимости, сборочные артефакты и конфигурации. Формат результата: ранжированный список кандидатов по задаче «Поиск опасных изменений в обновлении зависимости» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Ошибки выявляют по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
356Моделирование угроз для нового компонента. — Механизм: AI создаёт вычислительное представление объекта или процесса и проигрывает на нём альтернативные сценарии. Предметная логика: учитывает соглашения проекта, зависимости и ожидаемое поведение, а не генерирует изолированный фрагмент. Исходные данные: спецификация, контекст репозитория и типы и API. Формат результата: вычислительная модель или карта для «Моделирование угроз для нового компонента» с результатами сценариев и анализом чувствительности. Проверка: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
357Проверка инфраструктурного кода на опасные настройки. — AI сверяет объект с эталоном, правилами и взаимными зависимостями, отмечая пропуски, конфликты и нарушения. Предметная логика: учитывает соглашения проекта, зависимости и ожидаемое поведение, а не генерирует изолированный фрагмент. К исходным данным относятся спецификация, контекст репозитория и типы и API. Формат результата: протокол выполнения «Проверка инфраструктурного кода на опасные настройки» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Надёжность оценивают повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
358Проверка контейнеров и образов на избыточные права. — Для этой задачи система выполняет набор автоматических проверок и сохраняет доказательства для каждого пройденного или нарушенного условия. Рабочие входы: конфигурации, модель угроз, исходный код и зависимости. Формат результата: протокол выполнения «Проверка контейнеров и образов на избыточные права» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Критерии приёмки: повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
359Поиск конфиденциальных данных в логах. — Практическая реализация: AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. Входной контекст включает модель угроз, исходный код, зависимости и сборочные артефакты. Формат результата: ранжированный список кандидатов по задаче «Поиск конфиденциальных данных в логах» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Ошибки выявляют по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
360Генерация безопасного исправления с тестом на регрессию. — Механизм: AI собирает содержание и структуру из заданных ограничений, затем формирует несколько вариантов для выбора и доработки. Исходные данные: исходный код, зависимости, сборочные артефакты и конфигурации. Формат результата: редактируемый артефакт по задаче «Генерация безопасного исправления с тестом на регрессию», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — отчёт безопасности. Проверка: по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов.
361Приоритизация уязвимостей по реальному контексту эксплуатации. — AI строит границы между категориями и ранжирует объекты так, чтобы наиболее важные или срочные обрабатывались раньше. Предметная логика: прослеживает путь недоверенных данных до опасной операции и оценивает достижимость уязвимости. К исходным данным относятся исходный код, зависимости и lock-файлы и модель угроз. Формат результата: результат «Приоритизация уязвимостей по реальному контексту эксплуатации» в виде метки, класса, ранга или тематического слоя с уверенностью и объясняющими признаками. Надёжность оценивают по матрице ошибок, калибровке уверенности и отдельному анализу пограничных классов; безопасными тестами, анализом достижимости, ручным review и проверкой исправления без побочных эффектов. <a id="section-ii-6"></a>

0 моделей