摘要：
Notes 4 LLstar Parsers ANTLR使用语义predicate来实现语法predicate 在确定具体走哪个分支之前，ANTLR不会执行action和语法predicate这种可能有后效性的代码块。对于必须要在推测，也即执行DFA推断的时候就加载的代码块，antlr3提供了语法{ 阅读全文
摘要：
Hello, World import org.stringtemplate.v4.*; ... ST hello = new ST("Hello, <name>"); hello.add("name", "World"); System.out.println(hello.render()); G 阅读全文
摘要：
Github https://github.com/ZhangZhuoSJTU/StochFuzz Abstract 背景: 对stripped binaries进行fuzzing很困难，要么做出不切实际的假设，比如程序没有inlined data，要么使用硬件或者昂贵的动态二进制翻译引擎，比如QE 阅读全文
摘要：
github https://github.com/AFLplusplus Abstract 本文: AFL++ 特点: community-driven open-source tool 方法: 例如提供了Custom Mutator API 本文其它贡献: 对一些现有的fuzzing方法做了探究 阅读全文
摘要：
rt 阅读全文
摘要：
Abstract 背景: greybox fuzzing 使用广泛，但是很难到达在checksum、网络包分析和图像视频处理器中常见的，由深度嵌套的条件所限制的分支。 本文：提出Matryoshka 主要方法： 识别在控制流图上与目标条件语句相关的全部条件语句 对这些conditional stat 阅读全文
摘要：
rt 阅读全文
摘要：
Abstract P1: feedback带来了进步；但是还有magic numbers和checksums两件事没有解决；taint tracking和symbolic execution需要源码和对系统环境的了解 P2: 本文：工具: REDQUEEN 特点：轻量级taint tracking和 阅读全文
摘要：
rt 阅读全文
摘要：
rt 阅读全文