2026-06-05
1 items 41 entities 49 connections
Processed 41 entities and 49 relations.
RVDFI Data-Flow Integrity RISC-V Rocket Chip Reaching Definition Set Reaching Definition Table RoCC Static Analysis LLVM SVF Andersen's Algorithm Instruction Instrumentation custom0 instruction DFI Verification Flow DFI Controller DFI-Request FIFO Dynamic Redundant Load Pruning Load Pruning Buffer Dedicated DFI Cache Function Return Protection Library Protection Control-Flow Integrity Write Integrity Testing HDFI TMDFI PIM-DFI Near-Memory Processing RTL SPEC CPU2006 RDSmap Target Address Buffer Miss Status Holding Registers Lang Feng Jiayi Huang Luyi Li Haochen Zhang Zhongfeng Wang Return-Oriented Programming Jump-Oriented Programming ISA Extension Processor Pipeline