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