Distributed CFG-based symbolic execution for assembly programs. - Takumi Adachi; Satoshi Yamane; Kohei Sakurai (GCCE, 2015)