CYBERSECURITY & CRYPTOGRAPHY

Binary reverse engineering & decompilation

Binary reverse engineering & decompilation is an OpenEnv-compatible reinforcement learning environment in our Cybersecurity & Cryptography catalog. An agent acts through the tools below, and a deterministic verifier scores every episode, so the reward can be used for GRPO or other RLVR post-training.

Task and verification

Analyze stripped x86/ARM executables, reconstruct high-level control flow graphs, recover struct definitions, and identify hidden logic bombs without source code.

Tools and runtime

Ghidra headless + angr symbolic execution engine

OPENENV / GHIDRA

Related Cybersecurity & Cryptography gyms

• Memory-safety exploit patching
• Threat detection engineering & SIEM rules
• Cryptographic implementation testing
• Network protocol conformance testing
• Exploit engineering & containment testing
• Cloud IAM & Terraform security auditing
• Solidity smart contract security audit
• Zero-knowledge circuit verification

See how these environments are run privately on the custom RL environments page, and how their rewards are made hard to game in our verifier design guide.

Plan a training run

Check the environment’s availability, compatible models and compute in Studio. A catalog entry does not guarantee that hosted training is enabled for your workspace.