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

Static Analysis

Как внедрить статический анализ кода по ГОСТ Р 71207—2024

Как шаг за шагом организовать процесс внедрения статического анализа по ГОСТ Р 71207—2024: рассказываем простыми словами с отсылками на соответствующие пункты стандарта. Статья буд...

Можно ли найти IDOR статическим анализом? Пишем ядро для Python

Написал ядро статического анализа для детекта IDOR-уязвимостей в Python-коде. Вместо поиска подозрительных конструкций и ключевых слов оно отслеживает путь от подконтрольного польз...

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

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

Codebase Intelligence для агента: строим «dev tool будущего» и сразу тестируем на Rails монолите в 3,5M+ строк

Сгенерированная картинка для привлечения внимания. Промпт: «Продемонстрируй, что всё новое — это хорошо забытое старое» (нет)За последний год инструментов для агентной разработки с...

Static Analysis for the Uninitialized

Originally appeared on Tenderlove Making.I really enjoy learning new things in my free time. Lately I’ve been studying this book on Static Program Analysis. The book is very good,...

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

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

Дешёвый прогноз, дорогая проверка: кто платит за страх перед ИИ

Постараюсь вкратце и по делу сугубо. Первое что сразу хочется сказать: спасибо автору!) За рамку: у кода есть цена написания и цена владения, и разъехались они в разные стороны. Та...

Код, написанный ИИ — это «кот в мешке», проверить его можно только наблюдением

Источник: Компьютерра - Журнал о науке и технологиях Илья Захаров, директор департамента мониторинга «Группы Астра», уверен, что наблюдаемость станет главным способом контролирова...

Claude нашёл почти 500 дыр в популярном ПО

Инженеры Anthropic изучили 25 крупных проектов с открытым исходным кодом с помощью модели искусственного интеллекта Claude. Целью исследования было выявление проблем безопасности в...

Описательный анализ и где он обитает

Просто стало интересно - что такое описательный анализ. Математический анализ, функциональный анализ знаю. А описательный?Наверно такое определение подойдет: Описательный анализ -...

508: The Wonders of Static Analysis

Originally appeared on The Bike Shed. In this week’s episode of The Bike Shed, Aji and Joël dive into the distrust around the phrase ‘programmer discipline’, why you cannot...

Локальный ассистент для зумов, часть 11: девять моделей проверяли мой код — кто остался и почему

Код Чароита я пишу в Claude Code. Каждое изменение до мержа читает другая модель и пишет вердикт. Такую модель я зову головой, а один прогон — кругом. За два месяца в головах побыв...

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

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

Кoгдa яблoкo yпaлo cлишкoм близкo не к той яблoнe: copy-paste oшибки в cтpyктypнo изoмopфнoм Go кoдe

Bы нaвepнякa дeлaли этo мнoгo paз: нaшли в пpoeктe пoдxoдящий для peшeния зaдaчи кoд, cкoпиpoвaли, зaмeнили в кoпии пepeмeнныe или вызoвы фyнкций нa дpyгиe, нo пpи выпoлнeнии пoлyч...

Как мы научили JavaScript анализатор понимать поток управления

Недавно в статический анализатор PVS-Studio была добавлена поддержка JavaScript/TypeScript, и он на старте умеет искать ошибки, связанные с потоком управления. Причём тут граф пото...

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

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

Я потратила $9 000 на ИИ-агентов и в итоге сделала Crossweft — проверку того, что они ломают между файлами

Я потратила больше $9 000 и больше миллиарда токенов, пытаясь сделать нормальную безопасность в приложении, которое разрабатываю с января. Сама программа работала прекрасно, а слои...

Цифровая слежка в кармане: аудит 11 популярных российских Android-приложений

Привет, Хабр!Продолжаю серию аудитов. В прошлый раз я разобрал семь яндексовских приложений — и там было на что посмотреть: буфер обмена, WebRTC-утечки, распознавание ключевых слов...

Тестирование LLM‑фичи: можно ли верить своему eval

Eval показывает 96% качества, тесты проходят, а после релиза LLM‑ассистент допускает критическую ошибку. Проблема может скрываться в самой системе оценки, которая пропускает опасны...

Одна строка, открытый порт и взломанный сервер: цена вайбкодинга

У меня есть небольшой пет-проект. Telegram-бот для тренировки устного счёта. Код писал Claude Code, я лишь задавал направление и проверял результат. На том же сервере параллельно р...

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

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

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

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

Я написал сканер уязвимостей для вайбкода и проверил им 3 800 чужих репозиториев

Сегодня Telegram-бот для продажи VPN собирается за вечер: Cursor, пара промптов, и он уже принимает деньги. Только в config.py лежит токен бота, Postgres открыт наружу, а в истории...