Writing a program that modifies itself in runtime to play Bad Apple using it's control flow graph. See the full video here!

Wrong question. It's why not?

All the hardwork for how to display basic blocks in IDA such that it aligns as a nice grid is done by REpsych by xoreaxeaxeax. Do check him out he has some awesome stuff!

But basically, each column is a case in a jump table, which IDA loves to align. Each pixel is a basic block with a really really long instruction vfmaddsub132ps xmm0, xmm1, xmmword ptr cs:[edi+esi*4+<some const>] to maintain the block's width, and its height, aka brightness, is controlled via the number of nops in the block.

A block hence looks something like this:

vfmaddsub132ps xmm0, xmm1, xmmword ptr cs:[edi+esi*4+<smth-readable>]
nop
nop
nop
...
nop
nop
nop
jmp next_block

Furthermore, at the first ever block (before the jump table), there's an int 3 instruction that breaks the debugger (to signify a frame), and instructions that zero out edi, esi and eax. Control flow through the image hence goes to the first case/column, and executes without error.

I essentially rewrote the displaying parts of REpsych in C because I have (unfounded) personal grudges towards nasm. Btw, a big reason for using msvc is bcuz gcc inline asm syntax suck. That is all.

Right so apparently if IDA detects a bunch of 0xCC bytes, it won't disassemble it by default. I'm guessing it's because 0xCC is often used for padding? Meh didn't bother to look that up.

ANYWAYS, to change a pixel brightness, we just have to make the basic block smaller by removing a number of nops. Then we have to patch the jmp to properly jump to the next block. To stop IDA from displaying anything other than the new pixel, the rest of the space is filled with 0xCC. This is fairly easy to do in code.

// In image_utils.cpp
size_t loc = pixel_start + PIXEL_SIZE * (x * HEIGHT + y) + LONG_INST_SIZE;

for (int j = 0; j < PIXEL_SIZE - LONG_INST_SIZE; ++j)
    ((char*)(loc + j))[0] = 0xCC;
for (int j = 0; j < val; ++j)
    ((char*)(loc + j))[0] = 0x90;

int addr = old_jmps[x][y];
((char*)loc + val)[0] = 0xE9;
((size_t*)(loc + val + 1))[0] = addr + BLOCK_SIZE - val;

Well, just change all the pixels you need and call the image function to trigger the breakpoint again.

// In main.cpp
for (int j = 0; j < n_frames; ++j) {
    next_frame();
    image();
}

I think I spent more time writing the script to capture every frame on IDA than on the actual binary.

The problem is that IDA is not meant to deal with self modifying code. After modifying the image, the graph is completely messed up. I haven't found an easier solution but to capture each frame, I had IDA run until it reaches the int 3 instruction, and then I reanalyse the entire program to refresh the graph view properly.

There's probably a better solution for this but I didn't look that hard. I'm not gonna sit in front of my screen repeating that for every frame (3284 times!) so I wrote a script.

Anyways the script ran for 13 hours, reanalysing my poor binary 3284 times.

If you are deranged enough to use this repository you're in the right section. I made almost no effort in making this portable. This is one time use code.

Navigate to ./BadApple/gen/ and run python gen.py. The script will helpfully ask for the height and width of the screen you want, and the video file. The script halfs the frames of the video file for the sake of sanity. In my video I used 27, 18, ./rsrc/BadApple.mp4. This will generate the files image.cpp, movie.cpp and image.h.

Then go ahead and open BadApple.sln in Visual Studio 2017 (you can probably retarget but I didn't test it).

Then build in, VERY IMPORTANT, x86 Release/Debug.

Open BadApple.exe in IDA and run it. IDA will say it hit a breakpoint. Remove that message, clean up your screen and whatever, and run rpa.py. (Extremely fragile script, use with discretion).

This should populate the folder RPA/out with Bad Apple frames in only a matter of a few hours.

Next run combine.py to generate the final video. (Alse An Extremely Fragile Script. The MIT License does not hold me liable to any damage caused from using my scripts).

First off, xoreaxeaxeax for the absolute genius idea of drawing pictures on IDA.

AND the TouHou community for the original Bad Apple video

Cheers!