Abstract
Family-based (lifted) static analysis for "highly configurable programs" (program families) is capable of analyzing all variants at once without gener......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
