摘要 对于处理复杂文件格式的应用，CGF 随机变异并不能产生有效的文件。本文介绍了 smart grebox fuzzing(SGF)，利用种子...

通常我们使用gcc来生成可执行程序，命令为：gcc hello.c，默认生成可执行文件a.out 其实编译（包括链接）的命令：gcc hello...

cmake cmake_minimum_required命令语法：cmake_minimum_required(VERSION major[.m...

Abstract 不使用符号执行来解决路径约束，从而增加分支覆盖率。为了有效地解决路径约束，我们引入了几个关键技术：可扩展的字节级污点跟踪，上下...

介绍 DataFlowSanitizer 是动态数据流分析工具，和其他 Sanitizer 工具不同，该工具本身并非用于检测一些指定类型的bug...

介绍 —— 什么是 pass 官方文档[https://llvm.org/docs/WritingAnLLVMPass.html#writing...

参考文章：React-Native 生命周期函数[https://blog.csdn.net/XHL1314mmq/article/detail...

jimple 是一种中间代码，用来简化分析，以及简化向 java 字节码的过渡。 jimple 是一种类型化的、三地址的、基于语句的中间代码 将...

什么是Java注解 Java注解(Annotation)又称Java标注,是JDK5.0引入的一种注释机制。和Javadoc不同，Java 标注...

泛型 Java泛型设计原则：只要在编译时期没有出现警告，那么运行时期就不会出现ClassCastException异常. 泛型：把类型明确的工作...