会员服务
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日
Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
Arxiv
0+阅读 · 1月31日
Context-Sensitive Pointer Analysis for ArkTS
Arxiv
0+阅读 · 1月31日
ArchAgent: Scalable Legacy Software Architecture Recovery with LLMs
Arxiv
0+阅读 · 1月19日
CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
Arxiv
0+阅读 · 1月17日
FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
Arxiv
0+阅读 · 1月19日
参考链接
微信扫码咨询专知VIP会员
Top