Одного jdbc.query("... WHERE email = '" + email + "'") или одного new ObjectInputStream(request.getInputStream()) достаточно, чтобы потерять данные или контроль над сервером. Этот навык находит эти и ещё одиннадцать ошибок безопасности Java до развёртывания и объясняет, как исправить каждую из них.

Ваш агент запускает сканер для файлов .java. Сканер пропускает комментарии, тесты и сгенерированный код, понимает строки, текстовые блоки и конкатенацию, отслеживает SQL, собранный в переменной или StringBuilder, до выполняющего его вызова и распознаёт значения из запроса (getParameter, @RequestParam, @PathVariable, параметры JAX-RS, имена загружаемых файлов). Он знает безопасные шаблоны: заполнители ? и :name, константы и числа, списки заполнителей nCopies, столбцы сортировки, проверяемые по списку разрешений, ObjectInputFilter, disallow-doctype-decl, SecureRandom и normalize() вместе со startsWith. Сканер никогда не компилирует и не запускает Java. Он возвращает BLOCK, REVIEW или NOT FLAGGED с указанием файла, строки, причины и более безопасного подхода. Секреты никогда не выводятся.

Что проверяется

BLOCK (исправить до публикации)

• J01: SQL или JPQL, собранный через +, String.format или StringBuilder и выполняемый через JDBC, JdbcTemplate, JdbcClient, JPA или Hibernate, а также ${} в аннотациях MyBatis

• J02: Runtime.exec или ProcessBuilder, запускающие sh -c с изменяемой командой, единой командной строкой, собранной из значения, либо именем программы из запроса

• J03: ObjectInputStream без фильтра, SerializationUtils.deserialize, XMLDecoder, разрешение любых типов в XStream, default typing в Jackson или Id.CLASS для полей Object, SnakeYAML с разрешением любых тегов

• J04: жёстко заданные пароли, ключи API, токены, ключи JWT и HMAC, значения по умолчанию @Value и пароли в URL JDBC

• J05: JWT, принимаемые без подписи (Algorithm.none(), parseClaimsJwt, unsecured()) или декодируемые без последующей проверки

REVIEW (проверить до выпуска)

• J11: XML-парсеры (JAXP, dom4j, JDOM) без отключения DTD или внешних сущностей (XXE)

• J12: XStream без списка разрешений и SnakeYAML new Yaml() без SafeConstructor

• J13: DES, тройной DES, RC4, Blowfish, режим ECB и Cipher.getInstance("AES")

• J14: MD5 или SHA для паролей и NoOpPasswordEncoder или другие слабые кодировщики Spring

• J15: java.util.Random, Math.random(), ThreadLocalRandom или RandomStringUtils для токенов, одноразовых паролей и кодов сброса

• J16: TrustManager и проверки имени хоста, доверяющие всем, NoopHostnameVerifier, TrustSelfSignedStrategy

• J17: пути к файлам из запроса в new File, Paths.get, resolve или FileSystemResource

• J18: пароли, токены и заголовок Authorization, записываемые в журналы

Что входит в комплект

• Сканер (Python 3.9+, только стандартная библиотека)

• Руководство по правилам с объяснением причин и более безопасным подходом для каждого правила

• Небезопасный и безопасный примеры сервиса Spring Boot, а также настоящий отчёт сканера по небезопасному примеру

Ограничения

Код анализируется как текст, без компилятора Java: типы неизвестны, значения отслеживаются в пределах одного файла. application.properties и application.yml, зависимости и известные CVE, файлы Kotlin и JSP не проверяются. NOT FLAGGED не является гарантией безопасности.

Содержимое

Один ZIP-архив с 20 файлами: SKILL.md, сканер в scripts/ (5 файлов Python), references/rules.md (каждое правило с объяснением причин и более безопасным подходом) и examples/ (12 файлов примеров и report.md, настоящий результат работы сканера на небезопасном примере).

Как использовать: Это навык для агента: папка с файлом SKILL.md и скриптами Python, которые может запускать ИИ-агент для программирования, например Claude Code, Cursor или Codex CLI. Распакуйте архив в папку навыков вашего агента (для Claude Code: ~/.claude/skills/), затем попросите агента проверить проект. Скрипты также можно запускать отдельно с Python 3.9 или новее, без установки дополнительных пакетов. Они только читают ваши файлы: не подключаются к сети и ничего никуда не отправляют.