Automatically Tracing Imprecision Causes in JavaScript Static Analysis
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. While most of the existing work has diagnosed main causes of imprecision in static an...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
AOSA Inc.
2020
|
Subjects: | |
Online Access: | View Fulltext in Publisher |