Social Media Ideas for Статический Анализ

Проверка исходников VSCode

Теперь можно говорить без всяких прикрас: мы выпустили анализатор для языков JavaScript и TypeScript. А значит, это повод испытать его в полевых условиях и посмотреть, что он найдё...

Ваш AI-агент не понимает код. Он просто очень уверенно угадывает — поэтому мы создали SLICER

AI-агенты отлично решают локальные задачи, но часто теряют связи между частями большой кодовой базы. Из-за этого изменение одной функции может незаметно сломать frontend, backend-р...

Композиционный анализ проектов на C++

Композиционный анализ (Software Composition Analysis, SCA) – это практика автоматического выявления и отслеживания внешних зависимостей проекта с целью мониторинга их известных уяз...

Мост между SAST и фаззингом: как из сработки SAST получить подтверждённую уязвимость

Инструменты статического анализа (SAST) лишь подсвечивают вероятные уязвимости, генерируя гипотезы. Динамическое тестирование (DAST) и фаззинг, напротив, выявляют реальные сбои на...

Как внедрить требования к безопасной разработке кода: опыт Staffcop

Безопасная разработка для Staffcop (системы расследования инцидентов внутренней инфобезопасности) — это не отдельная проверка перед релизом, а процесс, который команда постепенно в...

Static Application Security Testing (SAST)

Крашенная и не накрашенная…

Необходимостью любой современной платежной системы является возможность разграничения платежей согласно критериям. Если вам интересно узнать, почему таможенный и родительский контр...

Код прошёл ревью, потому что читался правильно. Выполняется он иначе

Патч был на две строки: правка в проверке прав доступа. На ревью читается ровно то, что задумано, — апрув, мёрж. Через день выясняется, что проверка не срабатывает, хотя код перед...

Модель выложила системный промпт, в котором было написано его не выкладывать

Ночью в логах сервиса появились две записи. Сначала мусор, потом нормальный на вид договор, а в середине, между условием об оплате и условием о неустойке, вставлена строчка: игнори...

ОНТОЛОГО-ЛИНГВИСТИЧЕСКАЯ АРХИТЕКТОНИКА

Всякая программная система, сколь бы сложной она ни была, есть в конечном счёте формальная теория некоторого фрагмента мира, материализованная в вычислительной среде. Это утвержден...

На дворе C++23, а заставить компилятор проверять код всё ещё помогает только ассемблер

Казалось бы, современный C++ дает нам море инструментов для контроля кода на этапе компиляции: static_assert, концепты, constexpr всё, что только можно. Но что делать, если вам нуж...

Claude Code взломали просьбой пересказать сайт

Представь простую задачу: ты просишь агента пересказать содержимое сайта. Не установить пакет.Не запустить скачанный скрипт.Не открыть подозрительное вложение.Просто прочитать стра...

Правильный код мы отклоняем — и так задумано

Мой валидатор забраковал ответ, сославшись на несуществующую статью, — а ведь именно он поставлен ловить галлюцинации. После этого я собрал конвейер из восьми открытых пакетов: он...

Кто может подменить код, работающий в Solana: замер 65 119 программ

Дисклеймер. Я пишу линтер для программ Solana и Anchor, и этот замер вырос из работы над ним. Английский оригинал лежит на сайте инструмента — ссылку даю в конце, чтобы не было воп...

Как мы внедрили Knip в Angular-проект: от настройки до CI/CD

Привет! Я Незар, фронтенд-разработчик в Т-Банке. Наш Angular-проект достаточно крупный, и со временем в нем накопился неиспользуемый код. Это замедляет разработку, усложняет рефакт...

Claude Code — Все статуслайны показывают тебя. Я сделал тот, который показывает других

В два часа ночи ты упираешься в лимит модели. Сессия на середине, мысль на середине, и до сброса окна ещё полтора часа. Ты сидишь и смотришь в терминал, где написано, сколько ты по...

[Перевод] Исследование кода GTA Vice City

В этой статье мы проанализируем код одной из самых известных в мире игр: Grand Theft Auto Vice City. Это игра, на которой мы выросли. Хотя с момента её выпуска прошло более двадцат...

Я собрал конвейер аналитики банков на LLM-агентах. Показываю, где он остановил 7 из 31

У проекта есть работающий сайт: ortant.net. На нём 24 принятых исследования, десять досье банков, карта покрытия данных и раздел с методикой. Исследование можно не только прочитать...

Что я узнала, когда выгрузила весь реестр российского ПО и проанализировала все 32 тысячи записей

Я айти-юрист и почти каждую неделю вношу чужой софт в реестр российского ПО. Реестр я вижу изнутри: заявления, экспертиза, протоколы, отказы. Но обычно ты смотришь на него глазами...