Разработчик ImHex представил методологию описания бинарных форматов на примере сохранения игры FEZ

An Introduction to File Formats and ImHex by Reverse Engineering FEZ's Save File Format Introduction Over the years I’ve been asked the same question countless times: I usually couldn’t really give them a good answer except, “Look at the decompiled code of whatever program reads/writes these files and work backwards from there.” This post is meant to change that. We’ll go from a completely custom binary save file for the game FEZ to a full definition written in the Pattern Language, which is part of ImHex, the hex editor I’ve been developing for the past few years. It is free, open source and available on any operating system (or even through the browser if you prefer that: ImHex Web). ImHex Version At the time of writing, some features used here are not in a release yet but only available in the Nightly build (that can also be downloaded above from the same link). If you’re on ImHex v1.38.1 or below and experiencing issues, consider upgrading to the Nightly build Getting Started Spoiler Warning FEZ was released all the way back in 2012. Still, if you haven’t played it yet and want to get the full experience, I highly recommend playing it before you continue reading. Some of the code shown here will contain heavy spoilers for secrets and endgame content that might ruin your experience. You have been warned. The first thing we need is the save file. I downloaded the game from Steam (the latest full release currently available, released 2. December 2016), started it and played for a little bit until it saved. Then I went looking through my filesystem and found the save file under /home/werwolv/.local/share/FEZ/SaveSlot2. On Windows, it will be elsewhere. Opening the file in ImHex shows this: This already reveals a few things. The file seems to be uncompressed and unencrypted, as seen by the plain-text strings and other patterns in the file that can be easily spotted by just looking at the bytes and characters. The data also doesn’t have a file magic (some readable text at the start of the file to make it more easily identifiable), and it doesn’t look like anything standard, as ImHex can’t identify its type directly either. Without any more information, we’re basically stuck here. The data can mean anything, and only the program generating and parsing it can make sense of it. Decompiling the Game Finding the right files Clicking on the gear icon on the Steam page and selecting Manage -> Browse local files brings us to the game’s binary location. What immediately sticks out are files like System.Core.dll or mscorlib.dll. The game is written in the C# programming language, which is generally really easy to reverse engineer. Tools like JetBrains Rider can decompile the binaries back to what looks like the original source code. For that, we can open the game’s folder as a project and then simply Right Click -> View in Assembly Explorer for all the .dll files that look interesting. To me, particularly interesting were FEZ.exe, FezEngine.dll, Common.dll, ContentSerialization.dll and EasyStorage.dll. The rest are system libraries or external dependencies that look unrelated to what we’re trying to do here. Finding the right functions Just clicking through the namespaces quickly reveals an interesting-looking file: EasyStorage -> PCSaveDevice. In the constructor of that class, we can also immediately see string str = "SaveSlot" + (object) index;, which looks like it’s building the name of our file, SaveSlot2, so we found the right place for sure. Scrolling down a bit, we can find a function called Save that creates a byte buffer and starts filling it in using a BinaryWriter stream before saving it to our save file location. Bingo! Writing the ImHex Pattern Humble Beginnings Now that we’ve found where the save file is being generated, we can start writing a Pattern file in ImHex to decode the data. Open the Pattern Editor tab to reveal a text editor where we can write our source code. We can start simply by creating a struct FezSaveFile and placing it at the start of the file using the @ placement operator. This instantiates the FezSaveFile pattern object at address 0x00 of our file. Next, in the save file generation code, we see writer.Write(DateTime.Now.ToFileTime());, which writes the current timestamp as a Windows File Time to the output. As seen in the Remarks section of the docs, this is simply a little endian, 64-bit value (a long in C#) that represents the number of 100 ns intervals that have passed since the year of our lord 1601 A.D. We could, of course, properly decode this value and everything but to get started we can simply place a s64 in its place in the Pattern to read it. Alternatively, we can also write type aliases with the using keyword to make the code in our pattern resemble the types used in the real code even more closely. These simply define a new type that has the exact properties of the type on the right hand side but with a potentially more descriptive name. After clicking the button at the bottom of the Pattern Editor (or pressing the F5 key), the region of that value is now highlighted in the Hex Editor View, and it also appears in the pattern tree in the Pattern Data View. For this particular case though, we’re in luck and the standard library already implements a type for decoding a Windows FILETIME value. To get access to it, we can import the type.time library which defines that type and then use it like any other type in our code: This simple change now turns that unreadable number from before into a nice, human readable representation of the actual time value: And that’s it for the start, congrats! You wrote your first pattern! [[fixed_size]] attribute One thing we can also see in the code is that the Save() function ensures that the save file is always 0xA000 bytes long. If it’s shorter, it will pad it out with zeros, and if it is longer, an InvalidOperationException will be thrown. This maps incredibly well to the [[fixed_size(0xA000)]] attribute that can be attached to FezSaveFile to ensure that. This is entirely optional but helps document the official behavior. The Actual Save Data Back to the C# code, the next thing that’s done is to call out to the saveAction callback, which is implemented elsewhere. Thankfully, Rider helps here, as you can just Ctrl-click on the name of the Save function to find definitions. There we see a few places it’s called from, but the interesting one is in GameStateManager.cs SaveInternal(). There we can see that the actual dumping of the save data is delegated to the DoSave() function, which calls SaveFileOperations.Write(). This is the juicy stuff now. Here we can see aaaaaaalll the different fields that are being written out to the binary. Looking at the types of those values allows them to be easily converted to the ImHex Pattern: The first field seems to be a save file version as can be seen in the Read() function below which reads that field, makes sure it is also 6 and throws an exception if it’s not. We can simply parse that field but if we want to be extra fancy and make sure that we only load files that are actually compatible with our pattern, we can easily assert on this field. In the Pattern Language, we can have conditions and function calls intertwined with our type definitions which makes things like this possible: Objects and Strings The next part is interesting. Here, a list of String -> Bool key-value pairs is being serialized. First, the number of pairs is stored, followed by that number of serialized pairs. w.WriteObject is a bit more involved and deserves a closer look. Objects seem to be defined as something that may or may not exist. First, a bool is written to the file that represents whether or not the object is null. If it is null, that’s the end of it, and we don’t write down anything more. If it’s not null, though, we serialize the value. In the Pattern Language, this looks like this: This code defines a new template struct called Object. It places a bool in the output file, then checks if that bool is true. Only if it is does it place a value of the template parameter’s type. Next we need to see how string types are serialized. There’s another function of the BinaryWriter that does this: This seems to first be writing out the length of the string in bytes in some 7BitEncodedInt format followed by the actual string data. Write7BitEncodedInt looks a bit daunting, but after playing through it with some values, all this does is use the The leftmost bit in a byte that carries the largest numerical value In the Pattern Language this can be implemented like this: Additionally, to make this type a bit easier to work with, we can use the [[format]] attribute to display the decoded integer value in the Pattern Data View and the [[transform]] attribute so the rest of our code can simply read from a variable of this type and get back the decoded integer value instead: Now that all of this is done, we can finally define our String type. Again with a nice [[format]] function so we can see the string directly in the UI. Lists Back to the code from before, we can define a few more types now to finally parse this construct. This time using a s32 (or our int type alias) because Count is a int in C#. All of this together now lets us finally decode the list. Take a step back for a bit and see how all of this came together and how it maps to the C# code. Enums Following the same pattern, we can keep going down the Write function and decoding the data in ImHex. The next interesting bit is this code: This writes down not integers directly, but an enumeration instead. We could just treat it as an int like the serializer code does, but it would be nicer to keep the names available in ImHex as well. The definition of the enum in C# can be copy-pasted over almost 1:1: This type can then simply be used in place of a int and gives us a nicer display: More Subtypes The same pattern as above keeps on going for a while longer until we reach the end where we have some nested serialization: This maps really nicely to a new struct that we can call LevelSaveData and just keep going in there as before: You should now have everything that’s needed to decode the rest of the format yourself. Give it a try! The Fruits of our Labour At this point, you should be able to look at the Hex Editor View and see every single byte (except the large padding at the end) highlighted with some color. You can now browse through the Pattern Data View and inspect what all these different values mean and even modify them by double-clicking the value! If you’re interested in how I did it, you can take a look at My Pattern. Wrapping things up After reading this post you should have a basic understanding of how to reverse engineer a binary file format. Of course, not all programs will be as easy to decompile and analyze as this one but the general workflow remains the same: Check if the file is in a known format This can be done in various ways, ImHex magic detection and tools like binwalk can help a lot. If it is an existing format, there might be tools available already to parse that format. Otherwise you may be able to look at the specification Find the piece of code that parses or generates that file This usually means looking at the program’s Source Code if available or to decompile the program first using a tool that fits the language used. Rider works great for .NET, Ghidra, IDA or Binary Ninja for native-compiled programs, Recaf for JVM languages. What helps me is to look for library calls for doing File I/O or for strings mentioning (parts of) the generated or loaded file name. Analyze the code and find the building blocks used in the file Most file formats want the same thing: To store integers, booleans, strings and other data structures. Identifying them is the first step to understanding the file step by step Write a Pattern File to document your findings and verify their validity Patterns are great not only for decoding the file once you know how it works but also for documenting and verifying your findings along the way. If you have any questions about the process, ImHex or the Pattern Language itself, feel free to reach out on the ImHex Discord Server, via Discord DMs @werwolv or by email at [email protected].