会员服务
Dynamic Contract Analysis for Parallel Programming Models
Arxiv
0+阅读 · 3月3日
The Finality Calculator: Analyzing and Quantifying Filecoin's Finality Guarantees
Arxiv
0+阅读 · 3月1日
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
Arxiv
0+阅读 · 2月25日
Scylla: Translating an Applicative Subset of C to Safe Rust
Arxiv
0+阅读 · 2月25日
SmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual Abstraction
Arxiv
0+阅读 · 3月9日
Static Analysis Under Non-Deterministic Program Assumptions
Arxiv
0+阅读 · 2月7日
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Arxiv
0+阅读 · 2月6日
Beyond Permissions: An Empirical Static Analysis of Privacy and Security Risks in Children-Oriented and General-Audience Mobile Apps for Gaming
Arxiv
0+阅读 · 2月11日
LLM-Based Repair of Static Nullability Errors
Arxiv
0+阅读 · 2月6日
SecCodePRM: A Process Reward Model for Code Security
Arxiv
0+阅读 · 2月11日
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
Arxiv
0+阅读 · 2月6日
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Arxiv
0+阅读 · 2月5日
Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection
Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection
Arxiv
0+阅读 · 2月5日
I Can't Believe It's Not a Valid Exploit
Arxiv
0+阅读 · 2月4日
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
Arxiv
0+阅读 · 2月1日
参考链接
微信扫码咨询专知VIP会员
Top