Difficultise to find race bugs and how existing work solve them

Nice! 60 posts in total. Keep on posting.

2020

12-24

Difficultise to find race bugs and how existing work solve them

12-24

[S&P'20] KRACE: Data Race Fuzzing for Kernel File Systems

12-24

[S&P'19] RAZZER: Finding Kernel Race Bugs through Fuzzing

12-21

[CCS'17] DIFUZE: Interface Aware Fuzzing for Kernel Drivers

12-20

[USENIX ATC'17] CAB-FUZZ: Practical Concolic Testing Techniques for COTS Operating Systems

12-18

[USENIX'17] kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

09-30

Taint-Specifications

09-30

[Tech] Taint-Specifications

09-23

Gdb Usage

09-23

Gdb Usage