omni_symbolic_protocol
Solve serial/key constraints with Z3, unflatten OLLVM control flow, generate curl_cffi clients, and recover Protobuf/gRPC schemas from binaries or APIs.
Instructions
Symbolic Solving, OLLVM Deobfuscation & Protocol Synthesis: Z3 SMT symbolic serial/keygen solver, OLLVM Control-Flow Flattening (CFF) dispatcher unflattener, Chrome-124 stealth curl_cffi Python client generator, and embedded Protobuf / gRPC .proto schema recoverer.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| extra | No | Optional prefix (for z3_keygen), function VA/offset (for ollvm_unflatten), HTTP method (for generate_client), or output path. | |
| action | Yes | Symbolic or protocol synthesis action. | |
| key_length | No | Key byte length for z3_keygen (default 16). | |
| target_or_expr | Yes | Z3 byte constraint expression (e.g. 'b[0] ^ 0x42 == 0x0f; b[1] + b[2] == 150'), binary path, or API URL. |