Context-Sensitive Pointer Analysis for ArkTS
Fuente:
arXiv
Saved in:
| Main Authors: | Yang, Yizhuo, Xu, Lingyun, Zhou, Mingyi, Li, Li |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
ArkTS-CodeSearch: A Open-Source ArkTS Dataset for Code Retrieval
by: He, Yulong, et al.
Published: (2026)
by: He, Yulong, et al.
Published: (2026)
ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS
by: Xie, Bang, et al.
Published: (2026)
by: Xie, Bang, et al.
Published: (2026)
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
by: Chen, Haonan, et al.
Published: (2025)
by: Chen, Haonan, et al.
Published: (2025)
Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
by: Cheng, Baijun, et al.
Published: (2025)
by: Cheng, Baijun, et al.
Published: (2025)
Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)
by: Verbeek, Freek, et al.
Published: (2025)
The Effect of Pointer Analysis on Semantic Conflict Detection
by: Barbosa, Matheus, et al.
Published: (2025)
by: Barbosa, Matheus, et al.
Published: (2025)
Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
by: Cheng, Baijun, et al.
Published: (2025)
by: Cheng, Baijun, et al.
Published: (2025)
Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)
by: Zhang, Jiahao, et al.
Published: (2025)
LogPTR: Variable-Aware Log Parsing with Pointer Network
by: Wu, Yifan, et al.
Published: (2024)
by: Wu, Yifan, et al.
Published: (2024)
Identifying Root Causes of Null Pointer Exceptions with Logical Inferences
by: Kim, Jindae, et al.
Published: (2024)
by: Kim, Jindae, et al.
Published: (2024)
Enhanced LLM-Based Framework for Predicting Null Pointer Dereference in Source Code
by: Sultan, Md. Fahim, et al.
Published: (2024)
by: Sultan, Md. Fahim, et al.
Published: (2024)
DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators
by: Zhou, Mingyi, et al.
Published: (2024)
by: Zhou, Mingyi, et al.
Published: (2024)
Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
by: Zhou, Mingyi, et al.
Published: (2024)
by: Zhou, Mingyi, et al.
Published: (2024)
Prototype2Code: End-to-end Front-end Code Generation from UI Design Prototypes
by: Xiao, Shuhong, et al.
Published: (2024)
by: Xiao, Shuhong, et al.
Published: (2024)
TS-Detector : Detecting Feature Toggle Usage Patterns
by: Rahman, Tajmilur, et al.
Published: (2025)
by: Rahman, Tajmilur, et al.
Published: (2025)
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
by: Yuan, Zhiqiang, et al.
Published: (2025)
by: Yuan, Zhiqiang, et al.
Published: (2025)
From Obfuscated to Obvious: A Comprehensive JavaScript Deobfuscation Tool for Security Analysis
by: Zhou, Dongchao, et al.
Published: (2025)
by: Zhou, Dongchao, et al.
Published: (2025)
An Extensive Replication Study of the ABLoTS Approach for Bug Localization
by: Niu, Feifei, et al.
Published: (2026)
by: Niu, Feifei, et al.
Published: (2026)
Everything is Context: Agentic File System Abstraction for Context Engineering
by: Xu, Xiwei, et al.
Published: (2025)
by: Xu, Xiwei, et al.
Published: (2025)
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
by: Ding, Yepeng, et al.
Published: (2024)
by: Ding, Yepeng, et al.
Published: (2024)
DepRadar: Agentic Coordination for Context Aware Defect Impact Analysis in Deep Learning Libraries
by: Gao, Yi, et al.
Published: (2026)
by: Gao, Yi, et al.
Published: (2026)
A Scalable Benchmark for Repository-Oriented Long-Horizon Conversational Context Management
by: Liu, Yang, et al.
Published: (2026)
by: Liu, Yang, et al.
Published: (2026)
A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
by: Dossche, Niels, et al.
Published: (2024)
by: Dossche, Niels, et al.
Published: (2024)
The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)
by: Saravanos, Antonios, et al.
Published: (2026)
LLM for Mobile: An Initial Roadmap
by: Chen, Daihang, et al.
Published: (2024)
by: Chen, Daihang, et al.
Published: (2024)
Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)
by: Gao, Yifei, et al.
Published: (2025)
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
by: Wang, Dingding, et al.
Published: (2025)
by: Wang, Dingding, et al.
Published: (2025)
Context-Enhanced Vulnerability Detection Based on Large Language Model
by: Yang, Yixin, et al.
Published: (2025)
by: Yang, Yixin, et al.
Published: (2025)
An Empirical Study on Commit Message Generation using LLMs via In-Context Learning
by: Wu, Yifan, et al.
Published: (2025)
by: Wu, Yifan, et al.
Published: (2025)
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
by: Liu, Han, et al.
Published: (2024)
by: Liu, Han, et al.
Published: (2024)
Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)
by: Tu, Haoxin, et al.
Published: (2024)
RepoScope: Leveraging Call Chain-Aware Multi-View Context for Repository-Level Code Generation
by: Liu, Yang, et al.
Published: (2025)
by: Liu, Yang, et al.
Published: (2025)
MRG-Bench: Evaluating and Exploring the Requirements of Context for Repository-Level Code Generation
by: Li, Haiyang
Published: (2025)
by: Li, Haiyang
Published: (2025)
LONGCODEU: Benchmarking Long-Context Language Models on Long Code Understanding
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
Executing as You Generate: Hiding Execution Latency in LLM Code Generation
by: Sun, Zhensu, et al.
Published: (2026)
by: Sun, Zhensu, et al.
Published: (2026)
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025)
by: Wang, Yongchao, et al.
Published: (2025)
LogLSHD: Fast Log Parsing with Locality-Sensitive Hashing and Dynamic Time Warping
by: Huang, Shu-Wei, et al.
Published: (2025)
by: Huang, Shu-Wei, et al.
Published: (2025)
Git Context Controller: Manage the Context of LLM-based Agents like Git
by: Wu, Junde, et al.
Published: (2025)
by: Wu, Junde, et al.
Published: (2025)
Investigating White-Box Attacks for On-Device Models
by: Zhou, Mingyi, et al.
Published: (2024)
by: Zhou, Mingyi, et al.
Published: (2024)
A Hybrid BPMN-DMN Framework for Secure Inter-organizational Processes and Decisions Collaboration on Permissioned Blockchain
by: Shen, Xinzhe, et al.
Published: (2024)
by: Shen, Xinzhe, et al.
Published: (2024)
Similar Items
-
ArkTS-CodeSearch: A Open-Source ArkTS Dataset for Code Retrieval
by: He, Yulong, et al.
Published: (2026) -
ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS
by: Xie, Bang, et al.
Published: (2026) -
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
by: Chen, Haonan, et al.
Published: (2025) -
Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
by: Cheng, Baijun, et al.
Published: (2025) -
Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)