java library for manipulating binary formats of executable code