Jasmine: Scale up JavaScript Static Security Analysis with Computation-based Semantic Explanation. - Feng Xiao; Zhongfu Su; Guangliang Yang 001; Wenke Lee (SP, 2024)