BugsBunny2017 Rev150 CTF example missing binary file

[dguido]

Description

The BugsBunny2017 Rev150 CTF example in examples/ctf/bugsbunny2017_rev150/ is missing the actual challenge binary. The file rev150 is an HTML placeholder instead of the expected ELF binary.

Current State

• The Python script bugsbunny2017_rev150.py has been updated to work with current Manticore API
• The script includes proper error handling to detect missing/invalid binaries
• A copy of the binary exists in the sharon-rev150 branch of manticore-examples repository

Impact

Users cannot run this example without manually obtaining the binary. The script fails with:

Error: 'rev150' is not a valid ELF binary!
The file appears to be HTML or text. Please download the actual binary.

Proposed Solution

1. Include the actual rev150 binary (from sharon-rev150 branch of manticore-examples)
2. Or provide clear instructions on where to obtain it
3. Consider adding a download script that fetches required binaries

File Information

Expected binary format: ELF 64-bit LSB executable, x86-64, statically linked
Current file type: HTML document

References

• Binary available at: manticore-examples repo, sharon-rev150 branch
• Related PR: Sharon rev150 manticore-examples#29