Proj THUDBFuzz Paper Reading: Lenient Execution of C on a Java Virtual Machine

Abstract

  1. 介绍未定义行为,如signed integer overflow,及危害

本文: Lenient C,一种C方言
特点:对未定义行为增加定义
工具: Safe Sulong
方法: C解释器,在JVM上运行

原文地址:https://www.cnblogs.com/xuesu/p/15627252.html