Инжектор непрозрачных предикатов

• Несколько типов предикатов: выбирайте из шести различных типов непрозрачных предикатов: инвариантная арифметика (выражения, всегда истинные/ложные), трюки XOR и битовые операции, предикаты приведения типов, инварианты, зависящие от потока, самоссылающиеся проверки и предикаты мёртвого кода. Каждый тип использует разные математические свойства, устойчивые к обнаружению по шаблонам.
• Несколько выходных языков: генерируйте непрозрачные предикаты для JavaScript, Python, TypeScript, Java, C, C++, C#, Go, Rust, PHP, Ruby и Swift. Инжектор адаптирует синтаксис предиката к операторам и системе типов каждого языка, сохраняя математический инвариант, который делает предикат непрозрачным.
• Настраиваемая плотность вставки: управляйте тем, сколько непрозрачных предикатов вставлять: лёгкая (1-2 предиката), средняя (3-5 предикатов) или интенсивная (6-10+ предикатов). Увеличивайте плотность для более сильной обфускации или оставляйте её низкой, чтобы минимизировать рост кода. Предикаты распределяются по коду случайным образом.
• Локальная и конфиденциальная обработка: вся генерация предикатов и преобразование кода происходят полностью в вашем браузере. Ваш исходный код никогда не покидает устройство. Без вызовов API, аналитики и сбора данных — полная конфиденциальность для вашего проприетарного кода. Регистрация и аккаунт не требуются.

Непрозрачный предикат — это условное выражение в коде с известным результатом (всегда истинным или всегда ложным), которое выглядит как законное условие выполнения. В отличие от обычных условий, непрозрачные предикаты созданы так, чтобы инструментам статического анализа было трудно вычислить их на этапе компиляции. Например, в целочисленной арифметике выражение всегда истинно (поскольку квадрат любого целого числа неотрицателен), но наивный декомпилятор может не распознать этот инвариант. Непрозрачные предикаты — фундаментальный строительный блок обфускации кода: они добавляют мёртвые пути, которые никогда не выполняются (всегда ложные предикаты), или гарантируют, что определённые блоки всегда выполняются (всегда истинные предикаты), запутывая как людей, так и автоматические средства анализа.

1. Разбор входных данных: инструмент принимает исходный код. Код анализируется как обычный текст для поиска возможных точек вставки: перед определениями функций, перед блоками if/else, внутри тел функций на границах инструкций и в конце функций. Границы инструкций определяются по переносам строк и точкам с запятой.
2. Выбор предиката: исходя из выбранного типа предиката и целевого языка, инструмент генерирует выражения непрозрачного предиката с синтаксисом конкретного языка. Для JavaScript это может быть if ((a + a) / 2 === a) (всегда истина для чисел). Для Python могут использоваться трюки приведения типов вроде if (True == 1) (всегда истина).
3. Генерация переменных: чтобы предикаты выглядели законно, инжектор создаёт случайные имена переменных, соответствующие стилю кодирования входного языка. Переменные объявляются с подходящими типами и инициализируются значениями, при которых предикат вычисляется верно.
4. Вставка: предикаты вставляются в случайные допустимые места кода. Каждый предикат оборачивает блок кода (для всегда истинных) или вставляет блок мёртвого кода (для всегда ложных). Инжектор применяет настраиваемую плотность, управляя числом добавленных предикатов.

• Инвариантная арифметика: использует математические свойства, которые всегда выполняются. Примеры: x * 0 === 0 (всегда истина), x * x >= 0 (всегда истина для целых), y - y === 0 (всегда истина). Эксплуатирует алгебраические инварианты.
• Трюки XOR и битовые операции: использует свойства побитовых операций. Примеры: x ^ x === 0 (всегда истина для любого x), (x & ~x) === 0 (всегда истина), x | x === x (всегда истина). Сложны для статического анализа.
• Предикаты приведения типов: эксплуатируют неявные преобразования типов. Примеры: 1 + 1 !== "11" (всегда истина — числовое сложение против конкатенации строк), [] == false (всегда истина в JS). Зависят от языка и сильно запутывают.
• Инварианты, зависящие от потока: используют свойства, выполняющиеся в конкретных точках кода. Пример: typeof x === typeof x (всегда истина), x === x (всегда истина, кроме NaN). Просты, но эффективны.
• Предикаты мёртвого кода: всегда ложные условия, оборачивающие код, который никогда не выполняется. Создают недостижимые блоки, затрудняющие анализ потока управления. Пример: if (false && complexCondition), когда компилятор не может легко доказать, что условие всегда ложно.

Этот инструмент работает целиком в вашем браузере на клиентском JavaScript. Ваш исходный код, сгенерированные предикаты и обфусцированный результат никогда не загружаются на сервер, не сохраняются в базах данных и не передаются по сети. Вся генерация предикатов, разбор кода, переименование переменных и форматирование результата выполняются локально на вашем устройстве. Здесь нет вызовов API, аналитического отслеживания, cookie и сбора данных любого рода. Это делает инструмент полностью безопасным для обфускации проприетарного кода, лицензионного ПО или чувствительных алгоритмов.