Static and Dynamic Analyses of Programs with Implicit Control Flow | IEEE Conference Publication | IEEE Xplore