Automatically Tracing Imprecision Causes in JavaScript Static Analysis

27 Sep 2019 Lee Hongki Korea Advanced Institute of Science and Technology, South Korea Park Changhee Samsung Electronics, South Korea Ryu Sukyoung Korea Advanced Institute of Science and Technology, South Korea

Researchers have developed various techniques for static analysis of JavaScript to improve analysis precision. To develop such techniques, they first identify causes of the precision losses for unproven properties... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • PROGRAMMING LANGUAGES