A static analysis tool with optimizations for reachability determination | IEEE Conference Publication | IEEE Xplore