1∶10 000基础地理信息数据自动检测工具设计与实现

为提高1∶10000基础地理信息数据(DLG)年度更新的成果质量与工作效率,结合数据生产经验及常见错误,针对性地研发了一套数据自动化检测工具,通过ArcGIS模型构建器与ArcPy站点包组合利用,实现对DLG数据从图形到属性、从拓扑关系到要素属性进行逐步、全面的检查与自动赋值,确保DLG数据正确性与合理性,通过实践案例证明提升了更新成果的质量和更新效率。

面向安卓应用的JavaScript漏洞检测工具

针对安卓应用中广泛存在的JavaScript安全漏洞,设计并实现一个检测工具JSDroid。采用静态分析技术,分析安卓应用匹配哪些JavaScript使用模式,分析这些模式的使用是否形成对应的漏洞,分析应用是否暴露可供恶意JavaScript注入的攻击入口。为验证该工具的性能,使用该工具对大量的Android应用进行实验,实验结果表明,该工具能够有效并高效地检测出Android应用中潜在的JavaScript安全漏洞。

安卓应用服务泄露静态检测工具

针对安卓应用中服务泄露问题,采用了首先分析服务使用模式,根据三类不同模式的特点分别判断是否存在相应的服务泄露的方法,设计并实现了一个静态分析工具SLeakDroid。通过使用该工具对真实世界中来自维基百科下载量最高的45个安卓应用进行实验,得出45个应用中总服务的35.1%均涉及服务泄露的结论。实验结果表明该工具可以有效且高效地检测出Android应用中存在的服务泄露问题。

IP测试系统设计与实现

IP测试系统是应用于专网通信系统的自动化检测工具。从需求分析、整体设计和各个功能模块等几个方面详细介绍了如何设计与实现IP测试系统。该系统目前已经普遍应用于专网通信设备的厂检和用户验收过程中,并取得了良好的效果。