Categorized by type:

Topics

ctf

file formats = Parsing and manipulation of sections in binary structures.

reversing = Reverse engineering of binary executables.

virtualization = Virtual machines and containers.

Methodologies

bruteforce = Define a feasible search space and a boolean-based test, then guess an expected value. If data can be divided, performance is improved by multithreading.

constraint solving = Modelling our problem domain as satisfiable constraints on symbolic variables.

dynamic instrumentation = Modify an executable's behaviour by injecting instructions at runtime.

lookup magic = Identify file formats by signatures, algorithms by constants, containers by file sizes in metadata...

symbolic execution = Transform executable state into symbolic variables, obtaining concrete values via constraint solving.

tracing = Output internal state created during program execution.

visualization = Apply data visualizations to make certain patterns explicit.