Proj THUDBFuzz Paper Reading: Lenient Execution of C on a Java Virtual Machine
Abstract
- 介绍未定义行为，如signed integer overflow，及危害
本文: Lenient C，一种C方言
特点：对未定义行为增加定义
工具: Safe Sulong
方法: C解释器，在JVM上运行
本文: Lenient C，一种C方言
特点：对未定义行为增加定义
工具: Safe Sulong
方法: C解释器，在JVM上运行
