TY - RPRT TI - Finding Tizen security bugs through whole-system static analysis AU - Daniel Song AU - Jisheng Zhao AU - Michael Burke AU - Dragoş Sbîrlea AU - Dan Wallach AU - Vivek Sarkar PY - 2015 UR - https://arxiv.org/abs/1504.05967 ID - 1504.05967 ER -