Cover Image

ArkAnalyzer: The Static Analysis Framework for OpenHarmony

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Haonan, Chen, Daihang, Yang, Yizhuo, Xu, Lingyun, Gao, Liang, Zhou, Mingyi, Hu, Chunming, Li, Li
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Context-Sensitive Pointer Analysis for ArkTS
by: Yang, Yizhuo, et al.
Published: (2026)

LLM for Mobile: An Initial Roadmap
by: Chen, Daihang, et al.
Published: (2024)

StaAgent: An Agentic Framework for Testing Static Analyzers
by: Nnorom, Elijah, et al.
Published: (2025)

DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators
by: Zhou, Mingyi, et al.
Published: (2024)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
by: Zhang, Huaien, et al.
Published: (2024)

Static Code Analyzer Recommendation via Preference Mining
by: Ge, Xiuting, 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)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
by: Paltenghi, Matteo, et al.
Published: (2023)

Prototype2Code: End-to-end Front-end Code Generation from UI Design Prototypes
by: Xiao, Shuhong, et al.
Published: (2024)

VulnResolver: A Hybrid Agent Framework for LLM-Based Automated Vulnerability Issue Resolution
by: Zhang, Mingming, et al.
Published: (2026)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
by: Li, Kaixuan, et al.
Published: (2024)

UITrans: Seamless UI Translation from Android to HarmonyOS
by: Gong, Lina, et al.
Published: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
by: Li, Dongcheng, et al.
Published: (2024)

ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS
by: Xie, Bang, et al.
Published: (2026)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
by: Wang, Zhongyi, et al.
Published: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

OpenAI for OpenAPI: Automated generation of REST API specification via LLMs
by: Chen, Hao, et al.
Published: (2026)

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2023)

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
by: Aman, Ali, et al.
Published: (2026)

Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis
by: Chen, Xingyan, et al.
Published: (2026)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
by: Fein, Benedikt, et al.
Published: (2025)

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
by: Ma, Chengyan, et al.
Published: (2025)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
by: Cui, Han, et al.
Published: (2024)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
by: Li, Junjie, et al.
Published: (2022)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
by: Chang, Jianming, et al.
Published: (2025)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
by: Schneider, Simon, et al.
Published: (2024)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
by: Schneider, Simon, et al.
Published: (2024)

ArkTS-CodeSearch: A Open-Source ArkTS Dataset for Code Retrieval
by: He, Yulong, et al.
Published: (2026)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
by: Song, Hao, et al.
Published: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

Diffploit: Facilitating Cross-Version Exploit Migration for Open Source Library Vulnerabilities
by: Chen, Zirui, et al.
Published: (2025)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
by: Larrivain, Daphné, et al.
Published: (2025)

Integrating Static Code Analysis Toolchains
by: Kern, Matthias, et al.
Published: (2024)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

VFArchē: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
by: Zhang, Lyuye, et al.
Published: (2025)