Top Level Interface

Loader: bin_to_CFG(): Generate a control flow graph from an executable file gen_cfg(): Generate a control flow graph from a set of REIL instructions ELF: Easily accessible metadata and sections/segments of elf files

Execution Engine: Step(): Symbolically execute a single step Execute(): Symbolically execute until end of current basic block State: values of registers and memory can be read from here

Pathing: is_valid_path(): determine whether a particular path is satisfiable Recursive_execute(): recursively execute over a CFG. You can set conditions on when it terminates