我的随笔

[论文笔记] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

sysss 2026-01-17 22:52 阅读:5 评论:0 推荐:0

[论文笔记] Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code

sysss 2025-12-17 21:17 阅读:10 评论:0 推荐:0

[论文笔记] Interleaving Static Analysis and LLM Prompting

sysss 2025-12-07 19:21 阅读:10 评论:0 推荐:0

[论文笔记] FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps

sysss 2025-11-30 19:27 阅读:35 评论:0 推荐:0

[论文笔记] Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

sysss 2025-11-26 20:36 阅读:22 评论:0 推荐:0

[论文笔记] Context-, Flow-, and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems

sysss 2025-11-19 21:29 阅读:11 评论:0 推荐:0

[论文笔记] Lifting On-Demand Analysis to Higher-Order Languages

sysss 2025-11-16 16:52 阅读:75 评论:0 推荐:1

[论文笔记] On-Demand Strong Update Analysis via Value-Flow Refinement

sysss 2025-11-06 21:14 阅读:20 评论:0 推荐:0

[论文笔记] Static Analysis with Demand-Driven Value Refinement

sysss 2025-11-05 22:32 阅读:13 评论:0 推荐:0

[论文笔记] Machine-Learning-Guided Selectively Unsound Static Analysis

sysss 2025-11-02 19:22 阅读:10 评论:0 推荐:0