- 博客(4)
- 收藏
- 关注
RSS订阅原创 移动应用中的第三方SDK隐私合规检测
我们通过调研统计，对常见的第三方SDK隐私声明展现方式进行总结，归纳出一套自动化的解析方案，以增强对第三方SDK隐私违规行为的检测能力。针对第三方SDK隐私声明的提取，按照应用隐私政策呈现的方式，可以分为两种主要形式：1、直接在应用隐私声明中陈述（如图1所示）。针对第2种情况，需要对第三方SDK隐私声明的文本跳转内容进行提取。重点整治APP、SDK未向用户告知且未经用户同意，私自使用个人信息，将用户个人信息用于其提供服务之外的目的，特别是私自向其他应用或服务器发送、共享用户个人信息的行为。
2022-10-12 21:16:49
840
1
原创 源代码与二进制文件SCA检测原理
源代码包含了变量符号类型、函数名称、类名称、代码逻辑结构等大量丰富的代码信息，相反为保留二进制文件的紧凑性，编译生成的二进制文件中会丢弃掉很多运行时用不到的信息，只保留程序正确运行必要的信息，比如被丢弃的信息有变量类型、变量名称等符号信息，可能被保留的有类名称、函数名称等信息，一定会保留的有常量字符串数据。，即受cpu架构、不同编译优化选项的影响很小，因此二进制SCA主要从二进制文件中提取这些方面的不同特征，再运用匹配算法进行相似度计算，并根据相似度门限来检测出引用的开源软件名称和版本号。
2022-10-12 20:23:05
301
原创 二进制SCA指纹提取黑科技： go语言逆向技术
另外1.16版本Go语言结构有些新变化，magic变为’\xfa\xff\xff\xff’，解析头信息获取func_tab_cnt, file_cnt, func_name_off, cu_off, filetab_off, pctab_off, func_tab_off数据，其中func_tab_off为entry数据起始位置，解析entry结构获取code_off, func_info_offset数据，后续解析过程与magic=’\xfb\xff\xff\xff’一致。
2022-10-12 20:22:27
70
原创 这些智能合约漏洞，可能会影响你的账户安全！
维基百科对形式化验证的解释是这样的： 在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式化验证的含义是根据某个或某些形式化规范或属性，使用数学的方法证明其正确性或非正确性。传统上在硬件设计领域比较常用。主要原因就是硬件设计周期长，成本高，一旦生产出来就很难改动了。例如一个 CPU 设计如果已经出芯片了，那么出了问题就是大事。形式验证可以分为三大类：抽象解释（Abstract Interpretation）、形式模型检查（Formal Model Checking，也被称作特性检查）和定理证明（The
2022-10-12 20:21:02
129
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人