Blog Posts

2030

Recent Papers Related To Fuzzing

less than 1 minute read

Published: January 01, 2030

More Information here

2025

For A Better Understanding of AFL on Code Level.

less than 1 minute read

Published: February 22, 2025

More Information here

2020

ACSL 及Frama-C验证工具简介（二）

less than 1 minute read

Published: October 20, 2020

More Information in CSDN and Zhihu.

ACSL 及Frama-C验证工具简介（一）

less than 1 minute read

Published: October 19, 2020

More Information in CSDN and Zhihu.

用Mixed Integer Programming做神经网络的鲁棒性验证

less than 1 minute read

Published: September 05, 2020

More Information in CSDN and Zhihu.

Event-B建模实际操作：控制桥上的汽车（四）

less than 1 minute read

Published: July 31, 2020

More Information in CSDN and Zhihu.

Event-B建模实际操作：控制桥上的汽车（三）

less than 1 minute read

Published: July 30, 2020

More Information in CSDN and Zhihu.

Event-B建模实际操作：控制桥上的汽车（二）

less than 1 minute read

Published: July 29, 2020

More Information in CSDN and Zhihu.

Event-B建模实际操作：控制桥上的汽车（一）

less than 1 minute read

Published: July 28, 2020

More Information in CSDN and Zhihu.

Event-B形式化方法

less than 1 minute read

Published: July 27, 2020

More Information in CSDN and Zhihu.

HyDiff：混合差分软件分析

less than 1 minute read

Published: May 06, 2020

More Information in CSDN and Zhihu.

基于Maximal Causality Reduction的并发程序验证

less than 1 minute read

Published: May 02, 2020

More Information in CSDN and Zhihu.

基于数据流图的并发程序验证

less than 1 minute read

Published: April 24, 2020

More Information in CSDN and Zhihu.

用差分模糊测试做Side-Channel分析

less than 1 minute read

Published: April 18, 2020

More Information in CSDN and Zhihu.

利用差分重放技术检测未初始化的变量

less than 1 minute read

Published: April 17, 2020

More Information in CSDN and Zhihu.

ProFuzzer：基于运行时类型探测的模糊测试技术

less than 1 minute read

Published: April 16, 2020

More Information in CSDN and Zhihu.

MEDS：增强型内存错误检测Sanitizer

less than 1 minute read

Published: April 14, 2020

More Information in CSDN and Zhihu.

UltimateAutomizer程序验证工具介绍

less than 1 minute read

Published: April 09, 2020

More Information in CSDN and Zhihu.

基于类型状态机导向的模糊测试技术UAFL

less than 1 minute read

Published: April 07, 2020

More Information in CSDN and Zhihu.

一种基于多面体路径抽象的渐进式混合模糊测试技术

less than 1 minute read

Published: April 07, 2020

More Information in CSDN and Zhihu.

挖掘代码覆盖率工具中的Bug

less than 1 minute read

Published: April 06, 2020

More Information in CSDN and Zhihu.

Hawkeye：定向灰盒模糊测试技术

less than 1 minute read

Published: April 05, 2020

More Information in CSDN and Zhihu.

Big Code != Big Vocabulary

less than 1 minute read

Published: April 05, 2020

More Information in CSDN and Zhihu.

C/C++程序验证工具汇总

less than 1 minute read

Published: April 05, 2020

More Information in CSDN and Zhihu.

HFL：基于混合模糊测试的Linux内核漏洞挖掘

less than 1 minute read

Published: April 02, 2020

More Information in CSDN and Zhihu.

DSA算法运行示例

less than 1 minute read

Published: March 28, 2020

More Information in CSDN and Zhihu.

DSA：上下文敏感的指针分析/别名分析

less than 1 minute read

Published: March 24, 2020

More Information in CSDN and Zhihu.

Smack:软件验证工具与软件验证工具链

less than 1 minute read

Published: March 20, 2020

More Information in CSDN and Zhihu.

从代码更改中推断密码学API规则

less than 1 minute read

Published: March 19, 2020

More Information in CSDN and Zhihu.

EffectiveSan: 利用C/C++动态类型实现内存错误检测

less than 1 minute read

Published: March 19, 2020

More Information in CSDN and Zhihu.

JMP指令也可能是函数调用，二进制实时函数调用检测

less than 1 minute read

Published: March 16, 2020

More Information in CSDN and Zhihu.

基于两个维度输入空间探索的文件系统Fuzzing

less than 1 minute read

Published: March 15, 2020

More Information in CSDN and Zhihu.

Mesh：替代malloc自动减少C/C++应用程序内存占用的内存分配器

less than 1 minute read

Published: March 14, 2020

More Information in CSDN and Zhihu.

通过主动学习生成自动机 (Active Automata Learning Survey)

less than 1 minute read

Published: March 13, 2020

More Information in CSDN and Zhihu.

2019

Fuzzing技术总结 (Brief Surveys on Fuzz Testing)

less than 1 minute read

Published: December 19, 2019

More Information in CSDN and Zhihu.

符号执行技术总结

less than 1 minute read

Published: March 22, 2019

More Information in CSDN and Zhihu.

揭示变化交互误差的回归测试

less than 1 minute read

Published: January 29, 2019

More Information in CSDN.

2018

模型学习 Angluins L*算法学习笔记

less than 1 minute read

Published: August 31, 2018

More Information in CSDN and Zhihu.

向着Concolic测试的最优策略迈进

less than 1 minute read

Published: August 22, 2018

More Information in CSDN and Zhihu.

二进制代码的类型恢复总结

less than 1 minute read

Published: January 21, 2018

More Information in CSDN.

2017

PC恶意软件分析文献梳理2017

less than 1 minute read

Published: December 22, 2017

More Information in CSDN.

一种有效和高效的恶意软件检测方法

less than 1 minute read

Published: July 31, 2017

More Information in CSDN.

2016

程序分析常见的WYSINWYX现象

less than 1 minute read

Published: May 21, 2016

More Information in CSDN.

机器码下的多态类型推导

less than 1 minute read

Published: May 20, 2016

More Information in CSDN.

TIE: 基于二进制程序的类型推导

less than 1 minute read

Published: May 13, 2016

More Information in CSDN.

Cheng Wen

Blog Posts

2030

2025

2020

2019

2018

2017

2016