Rust fixme 3 picoCTF 2025 Solution

Published: April 2, 2025

Description

The final Rust warm-up simply asks you to call an unsafe helper correctly by wrapping the FFI-style function in an unsafe block so the compiler agrees to execute it.

Extract the archive, enter the project directory, and run cargo run first to see the exact compiler error: call to unsafe function is unsafe and requires unsafe block.

Open src/main.rs and look at lines 22 and 34. The challenge already wrote the unsafe { ... } braces; they're just commented out so you can see them.

bash
tar -xvf fixme3.tar.gz && cd fixme3
bash
cargo run
bash
less src/main.rs
  1. Step 1Wrap the unsafe call
    Uncomment the unsafe { ... } block (lines 22 and 34) so the compiler allows the call into the unsafe helper. No other code changes are needed.
    bash
    # Edit src/main.rs and remove the // before the unsafe block, e.g.:
    # unsafe {
    #     give_flag();
    # }
    Learn more

    Rust's unsafe keyword is a signal to both the compiler and human readers that the enclosed code bypasses Rust's automatic safety guarantees. Inside an unsafe { } block, five additional operations become legal:

    1. Dereferencing a raw pointer (*const T / *mut T).
    2. Calling an unsafe function (including any C library through FFI).
    3. Reading from or writing to a mutable static.
    4. Implementing an unsafe trait (e.g. Send/Sync on a type that holds raw pointers).
    5. Accessing a field of a union (the compiler can't verify the active variant).

    The unsafe block does not disable the borrow checker or turn off other Rust features; it merely signals that the programmer has manually verified that the enclosed operations are sound. This creates a clear, searchable boundary: every unsafe in a Rust codebase is a location where memory safety was asserted by the programmer rather than the compiler, making audits focused and efficient. In contrast, C has no such boundary; any code can perform unsafe operations without annotation.

    Unsafe Rust is essential for system programming tasks. The canonical example is FFI into a C library: unsafe { libc::strlen(ptr) } calls the C standard library's strlen, which Rust marks unsafe because the caller must guarantee ptr points to a valid, NUL-terminated buffer. Other uses include OS kernel components, hardware memory-mapped registers, and zero-cost abstractions like custom allocators or lock-free data structures.

    The principle is to minimize unsafe surface area and encapsulate it behind safe abstractions. Concretely: std::fs::File::open() is a safe wrapper around an unsafe open(2) syscall and raw file-descriptor manipulation. The stdlib author wrote and audited the unsafe internals, then exposed an API that callers can use without ever typing unsafe themselves. Most application code stays entirely safe by leaning on those wrappers.

  2. Step 2Rebuild and run
    Re-run cargo run and the binary now prints the picoCTF flag immediately.
    Learn more

    Cargo is Rust's integrated build system and package manager. cargo run compiles the project (in debug mode by default) and immediately executes the resulting binary. cargo build --release produces an optimized binary without running it. The distinction matters for performance-sensitive code: debug builds include overflow checks and backtraces but run slowly; release builds apply full LLVM optimization passes.

    Cargo's dependency management (via Cargo.toml and Cargo.lock) is one of Rust's major ergonomic advantages over C/C++. Adding a dependency is as simple as listing it under [dependencies], and Cargo fetches, compiles, and links it automatically. The Cargo.lock file pins exact versions of all dependencies (including transitive ones), ensuring reproducible builds, a critical property for security-sensitive software supply chains.

    The three Fixme challenges collectively introduce the most common Rust beginner stumbling blocks: syntax rules, borrowing, and unsafe. These skills translate directly to reading real Rust security tooling; many modern fuzzing frameworks (cargo-fuzz), memory-safe rewrites of critical utilities (ripgrep, fd, bat), and security research tools are written in Rust. Understanding the basics opens up a growing ecosystem of high-quality software.

Flag

picoCTF{n0w_y0uv3_f1x3d_1h3m_...}

Rust requires explicit `unsafe` blocks around code that might violate safety guarantees, even when the code was provided by the challenge.

Want more picoCTF 2025 writeups?

Useful tools for General Skills

Related reading

What to try next