Opaque-Predicate-Injektor

• Mehrere Prädikatstypen: Wähle aus sechs verschiedenen opaken Prädikatstypen: invariante Arithmetik (immer wahre/falsche Ausdrücke), XOR- und Bittricks, Typkonvertierungs-Prädikate, flusssensitive Invarianten, selbstreferenzielle Prüfungen und Dead-Code-Prädikate. Jeder Typ nutzt andere mathematische Eigenschaften, die einer musterbasierten Erkennung widerstehen.
• Mehrere Ausgabesprachen: Erzeuge opake Prädikate für JavaScript, Python, TypeScript, Java, C, C++, C#, Go, Rust, PHP, Ruby und Swift. Der Injektor passt die Prädikatsyntax an die Operatoren und Typsysteme jeder Sprache an und bewahrt dabei die mathematische Invariante, die das Prädikat opak macht.
• Konfigurierbare Injektionsdichte: Steuere, wie viele opake Prädikate eingefügt werden: leicht (1-2 Prädikate), mittel (3-5 Prädikate) oder intensiv (6-10+ Prädikate). Erhöhe die Dichte für stärkere Obfuskierung oder halte sie gering, um Codeaufblähung zu minimieren. Die Prädikate werden zufällig im Code verteilt.
• Lokale und private Verarbeitung: Die gesamte Prädikatserzeugung und Codetransformation erfolgt vollständig in deinem Browser. Dein Quellcode verlässt nie dein Gerät. Keine API-Aufrufe, keine Analysen, keine Datenerfassung – vollständige Privatsphäre für deinen proprietären Code. Keine Anmeldung oder Konto erforderlich.

Ein opakes Prädikat ist ein bedingter Ausdruck im Code mit bekanntem Ergebnis (immer wahr oder immer falsch), der aber wie eine legitime Laufzeitbedingung aussieht. Anders als normale Bedingungen sind opake Prädikate so gestaltet, dass statische Analysewerkzeuge sie zur Kompilierzeit nur schwer auswerten können. In der Ganzzahlarithmetik ist der Ausdruck beispielsweise immer wahr (da das Quadrat jeder ganzen Zahl nicht negativ ist), doch ein naiver Dekompiler erkennt diese Invariante möglicherweise nicht. Opake Prädikate sind ein grundlegender Baustein der Code-Obfuskierung – sie fügen tote Codepfade hinzu, die nie ausgeführt werden (immer falsche Prädikate), oder stellen sicher, dass bestimmte Blöcke immer ausgeführt werden (immer wahre Prädikate), und verwirren damit sowohl menschliche Leser als auch automatisierte Analysewerkzeuge.

1. Eingabeanalyse: Das Tool akzeptiert Quellcode als Eingabe. Der Code wird als Klartext analysiert, um mögliche Injektionsstellen zu finden: vor Funktionsdefinitionen, vor if/else-Blöcken, in Funktionskörpern an Anweisungsgrenzen und am Ende von Funktionen. Anweisungsgrenzen werden an Zeilenumbrüchen und Semikolons erkannt.
2. Prädikatsauswahl: Basierend auf dem gewählten Prädikatstyp und der Zielsprache erzeugt das Tool opake Prädikatsausdrücke mit sprachspezifischer Syntax. Für JavaScript könnte das if ((a + a) / 2 === a) sein (immer wahr für Zahlen). Für Python könnten Typkonvertierungstricks wie if (True == 1) verwendet werden (immer wahr).
3. Variablenerzeugung: Damit die Prädikate legitim wirken, erzeugt der Injektor zufällige Variablennamen, die dem Programmierstil der Eingabesprache entsprechen. Variablen werden mit passenden Typen deklariert und mit Werten initialisiert, die das Prädikat korrekt auswerten lassen.
4. Injektion: Die Prädikate werden an zufälligen gültigen Stellen im Code eingefügt. Jedes Prädikat umschließt einen Codeblock (bei immer wahr) oder fügt einen Dead-Code-Block ein (bei immer falsch). Der Injektor wendet eine konfigurierbare Dichte an, um zu steuern, wie viele Prädikate hinzugefügt werden.

• Invariante Arithmetik: Nutzt mathematische Eigenschaften, die immer gelten. Beispiele: x * 0 === 0 (immer wahr), x * x >= 0 (immer wahr für ganze Zahlen), y - y === 0 (immer wahr). Sie nutzen algebraische Invarianten aus.
• XOR- und Bittricks: Nutzt Eigenschaften bitweiser Operationen. Beispiele: x ^ x === 0 (immer wahr für jedes x), (x & ~x) === 0 (immer wahr), x | x === x (immer wahr). Schwer statisch zu analysieren.
• Typkonvertierungs-Prädikate: Nutzen implizite Typumwandlungen aus. Beispiele: 1 + 1 !== "11" (immer wahr – numerische Addition gegenüber String-Verkettung), [] == false (in JS immer wahr). Sprachspezifisch und sehr verwirrend.
• Flusssensitive Invarianten: Nutzt Eigenschaften, die an bestimmten Codestellen gelten. Beispiel: typeof x === typeof x (immer wahr), x === x (immer wahr außer bei NaN). Einfach, aber wirksam.
• Dead-Code-Prädikate: Immer falsche Bedingungen, die Code umschließen, der nie ausgeführt wird. Erzeugen unerreichbare Blöcke, die die Kontrollflussanalyse verwirren. Beispiel: if (false && complexCondition), wenn der Compiler die immer falsche Bedingung nicht leicht beweisen kann.

Dieses Tool läuft vollständig in deinem Browser mit clientseitigem JavaScript. Dein Quellcode, die erzeugten Prädikate und die obfuskierte Ausgabe werden niemals auf einen Server hochgeladen, in einer Datenbank gespeichert oder über das Netzwerk übertragen. Die gesamte Prädikatserzeugung, Codeanalyse, Variablenumbenennung und Ausgabeformatierung läuft lokal auf deinem Gerät. Es gibt keine API-Aufrufe, kein Analyse-Tracking, keine Cookies und keine Datenerfassung jeglicher Art. Dadurch ist es völlig sicher, um proprietären Code, lizenzierte Software oder sensible Algorithmen zu obfuskieren.