Jasmine: Scale Up JavaScript Static Security Analysis with Computation-based Semantic Explanation
45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP 2024（2024）
Key words
Security Analysis,Jasmine,Static Security,Flow Data,Web Application,Complex Operations,Static Analysis,Static Techniques,False Negative,Dynamic Analysis,Unified Model,Random Values,External Input,Recovery Status,Dependent Type,Semantic Model,Target Program,Original Program,Prior Approaches,Modern Programs,Concrete Values,Semantic Units,Injection Attacks,Security Tools,Bluebird,Vulnerability Functions,Functional Reference,Semantic Interpretation,Coding Unit,Random Input
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined