Linked Presentation: Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type ChecksSymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities