Browse by Subject context-sensitive analysis

Showing results 1 to 4 of 4

1
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis

Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, SOFTWARE-PRACTICE & EXPERIENCE, v.47, no.11, pp.1677 - 1705, 2017-11

2
Selective Context-Sensitivity Guided by Impact Pre-Analysis

Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.49, no.6, pp.475 - 484, 2014-06

3
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2, 2016-01

4
Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity

Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04

rss_1.0 rss_2.0 atom_1.0