Чашечка Java

Что именно анализирует JLiSA

Статический анализ работает с моделью программы. В JLiSA Java-код разбирает Eclipse JDT, затем фронтенд строит графы потока управления для LiSA. Абстрактные домены, межпроцедурную стратегию и проверки можно выбирать независимо.

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

Есть важная граница: поведение части стандартной библиотеки задано вручную через заглушки и семантику методов. Полного моделирования JDK здесь нет.

И не все режимы статические. check анализирует программу, а validate и find-bug запускают её через JDI. Для этих команд нужны модули jdk.compiler и jdk.jdi.

🎙 Открытое собеседование по Java с Senior-разработчиком из Uzum

Правильный ответ на собесе ещё не гарантирует оффер. На открытом мок-интервью разберём, что ещё оценивает интервьюер ↓

18 ноября в 19:00 МСК Сергей Чамкин, Senior-разработчик в Uzum, ex-Wildberries, проведёт техническое интервью с кандидатом!

У Сергея 7 лет коммерческого опыта с Java и Kotlin в highload-проектах. Он также проводил технические собеседования в EPAM, Wildberries и RNT Group.

За час эфира ты:
→ узнаешь, какие вопросы задают на технических собеседованиях по Java;
→ увидишь, какие ответы убеждают интервьюера, а какие вызывают сомнения;
→ поймёшь, какие темы стоит подтянуть перед собственным собеседованием.

Кандидат увидит вопросы впервые. Никакого заранее подготовленного сценария ☝🏻

Участие бесплатное!
Эфир проходит в рамках менторской программы ШОРТКАТ для разработчиков, которые хотят сменить работу, вырасти в грейде и зарплате или прокачать технические навыки.

🎁 Бонус за регистрацию: файл «50 эталонных ответов на сложные вопросы Java-интервью»

Переходи в бота, чтобы зарегистрироваться на эфир и забрать подарок:  @shortcut_sh_bot

Реклама.
О рекламодателе.

Какая JVM расходует ресурсы в Gradle-тестах

Когда тесты распараллелены, общего времени задачи мало для диагностики. InfoTestProcess связывает CPU, heap, GC и JIT каждого воркера с PID и задачей Gradle.

Агент записывает идентификаторы при старте JVM, а при завершении снимает метрики через MXBean. Плагин объединяет эти файлы по PID. Это итог по процессу, а не профиль отдельных методов. Отсутствующие снимки учитываются отдельно.

В версии 2.2.1 нужны Gradle 8.2+ и JDK 17+ у воркеров. Без Develocity отчёт остаётся в build/info-test-process/statsTestTasks.json. В Build Scan при числе воркеров больше 950 сохраняются наиболее затратные по CPU, а усечение явно отмечается.