JanusIR-500M-Research — специализированная модель для анализа LLVM IR, графов управления и потоков данных, а также рассуждений об SSA и оптимизациях компилятора.

Подходит для: анализ достижимости базовых блоков LLVM IR · трассировка значений и зависимостей def-use · проверка происхождения значений SSA phi