Posts by Tags

API

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

less than 1 minute read

Published: March 19, 2020

More Information in CSDN and Zhihu.

Active Learning

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

less than 1 minute read

Published: March 13, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: August 31, 2018

More Information in CSDN and Zhihu.

Automata

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

less than 1 minute read

Published: March 13, 2020

More Information in CSDN and Zhihu.

Binary

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

less than 1 minute read

Published: March 16, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: January 21, 2018

More Information in CSDN.

程序分析常见的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.

Bug

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

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.

Concolic testing

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

less than 1 minute read

Published: August 22, 2018

More Information in CSDN and Zhihu.

Differential Testing

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

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.

Fuzzing

HyDiff：混合差分软件分析

less than 1 minute read

Published: May 06, 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.

基于类型状态机导向的模糊测试技术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.

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

less than 1 minute read

Published: April 02, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: March 15, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: December 19, 2019

More Information in CSDN and Zhihu.

Malware

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.

Memory

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

less than 1 minute read

Published: March 14, 2020

More Information in CSDN and Zhihu.

Program Analysis

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.

程序分析常见的WYSINWYX现象

less than 1 minute read

Published: May 21, 2016

More Information in CSDN.

Program Verification

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.

基于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.

UltimateAutomizer程序验证工具介绍

less than 1 minute read

Published: April 09, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: April 05, 2020

More Information in CSDN and Zhihu.

Regression

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

less than 1 minute read

Published: January 29, 2019

More Information in CSDN.

Sanitizer

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

less than 1 minute read

Published: March 19, 2020

More Information in CSDN and Zhihu.

Software Enginerer

Big Code != Big Vocabulary

less than 1 minute read

Published: April 05, 2020

More Information in CSDN and Zhihu.

Symbol Execution

符号执行技术总结

less than 1 minute read

Published: March 22, 2019

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: August 22, 2018

More Information in CSDN and Zhihu.

Type

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

less than 1 minute read

Published: March 19, 2020

More Information in CSDN and Zhihu.

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

less than 1 minute read

Published: January 21, 2018

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.

Verification

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

less than 1 minute read

Published: March 20, 2020

More Information in CSDN and Zhihu.

fuzzing

Recent Papers Related To Fuzzing

less than 1 minute read

Published: January 01, 2030

More Information here

For A Better Understanding of AFL on Code Level.

less than 1 minute read

Published: February 22, 2025

More Information here

Cheng Wen

Posts by Tags

API

Active Learning

Automata

Binary

Bug

Concolic testing

Differential Testing

Fuzzing

Malware

Memory

Program Analysis

Program Verification

Regression

Sanitizer

Software Enginerer

Symbol Execution

Type

Verification

fuzzing