ORCAKL • ПЛАТФОРМА СЕМАНТИЧЕСКОГО АНАЛИЗА

Мы не делаем очередной SAST
Мы создаём когнитивное ядро кода

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

Масштаб анализа
10M

Сквозная линковка графов для Enterprise-проектов 10M+ LOC

Мультиплатформенность
9

Заложена поддержка 8 языков программирования + 1С

Архитектурная мощь
Rust+

Ядро на Rust и граф в DuckDB обеспечивают максимальную производительность.

Расширяемость
AI+

Поддержка локальных LLM и ML-моделей для анализа кода + кастомные правила

01
if (taint_input) { exec(taint_input); }
Taint Trace
02
const client = ocracheck.init_core_engine();
Core Link
03
db.query('SELECT * FROM users WHERE id = ' + id);
Taint Trace
04
return ASTIntegrityGuard.verify_syntax(payload);
Active

Онлайн детекция

def make_adder(x): return lambda y: x + y user_input = request.get_json()["cmd"] add_cmd = make_adder(user_input) result = add_cmd("echo ") # source достиг sink

Быстрый старт для разработчиков

Интегрируйте интеллект Hardit в экосистему вашего проекта за 3 простых шага.

1. Установка пакетаШаг 01

Установите ядро аналитики через ваш любимый пакетный менеджер одной командой в терминале:

npm install @hardit/analytics-sdk --save-dev # или yarn add @hardit/analytics-sdk --dev

Возможности

Всё, что нужно для глубокого аудита безопасности кода.

Нативный SCA-анализ зависимостейАКТИВНЫЙ МОДУЛЬ

Ленивый разбор go.sum, package-lock.json и фиксация транзитивных угроз ИБ в батчах Arrow с лексическим маппингом.

Умная архитектура

Почему локальный гибридный контур OrcaKL превосходит классические облачные SAST-платформы на больших масштабах.

Критерий сравненияOrcaKL CoreТрадиционные SAST
Производительность10M+ LOC за 1.7 мин. (Векторизованный инджест Rust + DuckDB)Очереди на облачный анализ, падение по памяти, сканирование от часов до суток
Языковой стек8 ключевых языков (Python в базе) + язык 1СПолное игнорирование платформы 1С, требуются сторонние тяжелые плагины
Базы уязвимостейФСТЭК БДУ, CWE, CVE, CAPEC, MITRE ATT&CK, CISA KEV, OWASP Top 10Ограничено CWE/CVE, полное отсутствие поддержки стандартов регуляторов РФ
Кастомизация и ИИПоддержка кастомных правил и интеграция локальных LLM/ML внутри закрытого контураЗакрытые проприетарные правила, отправка кода во внешние облачные ИИ-сервисы
Автоисправление (Remediation)Контекстный синтез безопасных патчей по Taint-путям без изменения логикиТекстовые рекомендации, ручная разметка, высокий риск сломать сборку
Глубина анализаИнкрементальный межпроцедурный ICPG/CFL граф, Field-Sensitivity 3-го уровняПофайловый регулярный анализ (AST), поверхностный DFG без учета контекста
Нативный SCA-анализ зависимостей

Ленивый разбор go.sum, package-lock.json и фиксация транзитивных угроз ИБ в батчах Arrow с лексическим маппингом.

Интеграция по протоколу MCP

Фоновый IPC-демон sast_daemon.py на Unix Domain Sockets возвращает координаты уязвимостей в IDE за миллисекунды при сохранении.

Кэш прецедентов ФСТЭК

Shadow Knowledge Pre-caching. Хирургический ремонт уязвимостей по SHA-256 хэшам контекстов за 0.001 сек без тяжелых LLM.

Частые вопросы

Быстрые ответы на популярные вопросы.

Базовая версия поддерживает Python, архитектура позволяет добавлять новые языки через модули.

Обращайтесь — обсудим ваши задачи

Подберём оптимальное решение под масштаб и требования вашего проекта.

Обратиться

Запустить синергию

Оставьте заявку. Наша инженерная команда свяжется с вами в течение дня для технического аудита.