ArkTaint是面向鸿蒙HarmonyOS/ArkTS应用的开源静态污点分析工具,使用TypeScript与NodeJS开发,并基于ArkAnalyzer构建程序分析能力。项目针对应用入口、框架回调、异步调用和项目API进行语义建模,追踪数据从来源到目标的传播路径,输出可追溯的分析结果和Markdown/JSON报告。支持AI辅助API建模、命令行分析、回归测试及批量实验。我参与分析逻辑开发、语义建模、问题定位、测试验证与技术文档整理,积累了复杂代码分析、自动化工具开发和工程调试经验。
项目背景 xxxxx电磁干扰在线监测系统,用于铁路牵引供电与
煤矿企业安全管理平台,面向企业安全业务的信息化管理,支持业务
煤矿企业安全管理平台,面向企业安全业务的信息化管理,支持业务
IPC设备自动化测试上位机。 包含产品一般性功能测试,视频
1、立项背景和目标: 传统内网穿透工具多依赖Go或Pyth
一款用于测试 WAF 是否能够正确拦截黑样本,并允许白样本通
需求方专属客服,免费梳理匹配
添加客服微信,免费为您安排与该工程师直接沟通
长按二维码添加客服微信
如当前档期不合,也可免费为您推荐相似案例作者