会员服务
Series-Parallel-Loop Decompositions of Control-flow Graphs
Arxiv
0+阅读 · 2月7日
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
Arxiv
0+阅读 · 1月31日
Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
Arxiv
0+阅读 · 2月3日
iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
Arxiv
0+阅读 · 1月25日
A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
Arxiv
0+阅读 · 2025年12月16日
VEIL: Reading Control Flow Graphs Like Code
Arxiv
0+阅读 · 2025年11月7日
Static Entanglement Analysis of Quantum Programs
Arxiv
0+阅读 · 2023年4月11日
On the Impact of Multiple Source Code Representations on Software Engineering Tasks -- An Empirical Study
Arxiv
0+阅读 · 2023年4月1日
SmartMark: Software Watermarking Scheme for Smart Contracts
Arxiv
0+阅读 · 2023年3月24日
参考链接
微信扫码咨询专知VIP会员
Top