会员服务
Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis
Arxiv
0+阅读 · 6月5日
Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics
Arxiv
0+阅读 · 6月8日
ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
Arxiv
0+阅读 · 5月31日
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
Arxiv
0+阅读 · 5月31日
Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback
Arxiv
0+阅读 · 5月28日
Screening for Choice Sets
Arxiv
0+阅读 · 6月10日
Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
Arxiv
0+阅读 · 5月28日
Compile-time Security Analysis and Optimization of Sensitive String Producers
Arxiv
0+阅读 · 5月15日
Credential Leakage in LLM Agent Skills: A Large-Scale Empirical Study
Arxiv
0+阅读 · 4月3日
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
Arxiv
0+阅读 · 4月8日
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
Arxiv
0+阅读 · 4月13日
Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
Arxiv
0+阅读 · 5月1日
Quantum-Safe Code Auditing: LLM-Assisted Static Analysis and Quantum-Aware Risk Scoring for Post-Quantum Cryptography Migration
Arxiv
0+阅读 · 4月1日
The Finality Calculator: Analyzing and Quantifying Filecoin's Finality Guarantees
Arxiv
0+阅读 · 4月27日
Obfuscating Code Vulnerabilities against Static Analysis in JavaScript Code
Arxiv
0+阅读 · 4月1日
参考链接
微信扫码咨询专知VIP会员
Top