ArkTaint鸿蒙安全分析

企业服务 安全服务 案例ID:252177
z1h
1 年经验· 华为
微信扫码沟通,客服可协助直接对接工程师;如当前档期不合,也可继续推荐相似案例作者。

案例介绍

ArkTaint是面向鸿蒙HarmonyOS/ArkTS应用的开源静态污点分析工具,使用TypeScript与NodeJS开发,并基于ArkAnalyzer构建程序分析能力。项目针对应用入口、框架回调、异步调用和项目API进行语义建模,追踪数据从来源到目标的传播路径,输出可追溯的分析结果和Markdown/JSON报告。支持AI辅助API建模、命令行分析、回归测试及批量实验。我参与分析逻辑开发、语义建模、问题定位、测试验证与技术文档整理,积累了复杂代码分析、自动化工具开发和工程调试经验。

ArkTaint鸿蒙安全分析

企业服务 · 安全服务 案例ID:252177
联系该工程师
微信扫码,建群沟通
作者: z1h - 1年经验- 华为

案例介绍

ArkTaint是面向鸿蒙HarmonyOS/ArkTS应用的开源静态污点分析工具,使用TypeScript与NodeJS开发,并基于ArkAnalyzer构建程序分析能力。项目针对应用入口、框架回调、异步调用和项目API进行语义建模,追踪数据从来源到目标的传播路径,输出可追溯的分析结果和Markdown/JSON报告。支持AI辅助API建模、命令行分析、回归测试及批量实验。我参与分析逻辑开发、语义建模、问题定位、测试验证与技术文档整理,积累了复杂代码分析、自动化工具开发和工程调试经验。

相似案例推荐

发布任务

企业点击发布任务,工程师会在任务下报名,招聘专员也会在 1 小时内与您联系确认。

1小时精推人才

需求方专属客服,免费梳理匹配

需求方客服微信二维码
扫码加微信 · 客服人工对接
更多案例
微信沟通 客服 看中这位工程师了?客服帮你 1 小时对接沟通 → ×