Jasmine: Scale Up JavaScript Static Security Analysis with Computation-based Semantic Explanation
45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP 2024（2024）
关键词
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 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要