Recent Fuzzing Papers

Recent Papers Related To Fuzzing 原文在GitHub上更新: https://github.com/wcventure/FuzzingPaper All Papers Interesting Fuzzing DifFuzz: Differential Fuzz...

2019-03-13 15:19:10

阅读数 197

评论数 0

符号执行技术总结(A Brief Summary of Symbol Execution)- wcventure

符号执行技术总结(A Brief Summary of Symbol Execution)Prologue摘要简介经典符号执行技术现代符号执行技术混合执行测试(Concolic testing)执行生成测试(Execution-Generated Testing (EGT))动态符号执行中的不精确...

2019-02-07 22:18:20

阅读数 1456

评论数 0

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

Fuzzing survey Static analysis Dynamic analysis Symbolic execution Fuzzing White box fuzzing Grey box fuzzing Black box fuzzing Generation-base...

2018-08-26 22:05:20

阅读数 5031

评论数 3

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

Angluins L*算法 学习笔记 简介: 这个算法的目标:构造DFA或者Mealy automate,使之同一个Black system吻合。这个算法假定了一个“teacher”的角色,他是先知,知道这个黑盒SUL的一切。在构造过程中我们可以问老师二种类型的问题。一是称为membershi...

2018-01-23 20:55:30

阅读数 1096

评论数 0

揭示变化交互误差的回归测试-Regression Tests to Expose Change Interaction Errors

Regression Tests to Expose Change Interaction ErrorsBackgroundProblemMotivating ExampleDefinitionExample For Explanation Böhme M, Oliveira B C S, Roy...

2019-01-29 16:16:49

阅读数 29

评论数 0

向着Concolic测试的最优策略迈进-Towards Optimal Concolic Testing-wcventure译

Towards Optimal Concolic Testing Towards Optimal Concolic Testing. In ICSE ‘18: ICSE ‘18: 40th. International Conference on Software Engineering , M...

2018-08-22 22:50:51

阅读数 701

评论数 0

二进制代码的类型恢复-Type inference on executable-wcventure

This document collects papers that are related with Type inference on executable.

2018-01-21 19:56:39

阅读数 190

评论数 0

PC恶意软件分析文献梳理2017-Executables Malware Analysis-wcventure

This document collects papers that are related with PC executables analysis.

2018-01-21 19:55:29

阅读数 581

评论数 0

安卓恶意软件分析文献梳理2017-Android Malware Analysis-wcventure

This document collects papers that are related with Android Malware analysis.

2018-01-21 19:40:12

阅读数 1127

评论数 1

有效和高效的恶意软件检测方法-Effective and Efficient Malware Detection at the End Host-wcventure译

Effective and Efficient Malware Detection at the End Host 介绍:     目前大量的研究都集中于收集,学习恶意代码的实例。毫无疑问,这是非常有意义的。但是目前的一些基于主机终端的方法大多数都是ineffective,这些方法集中于研...

2017-07-31 16:42:27

阅读数 168

评论数 0

机器码下的多态类型推导-Polymorphic type inference for machine code-wcventure译

《Polymorphic type inference for machine code》提出二进制代码的类型推导工具Retypd。Retypd参考了SecondWrite和TIE这些传统工具,并且支持递归类型,多态和子类型化。

2016-05-20 17:59:32

阅读数 309

评论数 0

程序分析常见的WYSINWYX现象-What You See Is Not What You eXecute-wcventure译

计算机不执行源代码,计算机只执行有源代码生成的机器码。也就是说程序员希望执行的与计算机实际执行的可能不同。 目前很多基于源代码的分析工具,但由于WYSINWYX现象,它们都是有缺陷的。实际上,经过编译优化、链接后生成的EXE、DLL等文件会丢失很多源码特征,例如类型信息。因此,从二进制级对程序目...

2016-05-20 17:54:12

阅读数 426

评论数 0

基于二进制程序的类型推导--TIE: Principled Reverse Engineering of Types in Binary Programs-wcventure译

软件工程中的逆向工程(reverse engineering)就是根据已经存在应用程序,反向推出软件设计时的数据和理念的过程,其最终目的是使软件得以维护。 高级编程语言都含有像结构和类这样的数据抽象,而在编译期间这些数据抽象都被转换成寄存器上的操作或者是全局的内存地址。从二进制代码中恢复出高级语言...

2016-05-13 14:26:39

阅读数 704

评论数 1

提示
确定要删除当前文章?
取消 删除