Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks.
该论文针对当前软件安全中广泛使用的消毒器（sanitizer）存在的冗余检查问题展开研究。消毒器通过插入运行时检查来检测内存错误、未定义行为等漏洞，但大量检查是冗余的，因为开发者已在代码中通过类型检查（如显式的类型转换或条件判断）隐含地保证
#type-checking
共收录 2 条相关情报。
← 返回所有主题ILA: Correctness via Type Checking for Fully Homomorphic Encryption.
该论文提出了一种名为 ILA（Intermediate Language for FHE）的中间语言和类型系统，用于确保全同态加密（FHE）程序的正确性。FHE 允许在密文上进行任意计算，但现有 FHE 编译器容易引入错误，例如密文噪声管理