Top Level Interface

Loader:
bin_to_CFG(): Generate a control flow graph from an executable file. Handles all the intermediary steps of setting up a project, i.e. invoking the loader, translation library, and generating the CFG.
gen_cfg(): Generate a control flow graph from a set of REIL instructions
ELF: Class for 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: Class for symbolic values of registers and memory.

Pathing:
is_valid_path(): determine whether a particular path is satisfiable
There is currently no standard format for pathing strategies.
Individual pathing strategies like enumerate end states, and enumerate blocks are available in pathing.py.