
clr
Checker for Lifetimes and other Refinement types
binary-analysiscode-analysiseducation+3

Checker for Lifetimes and other Refinement types

World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for byte. The…

Scanner: CVE-2026-31431 Linux kernel algif_aead Copy Fail vulnerability checker — Python PoC for heap overflow path

Analysis and mitigation of Linux kernel Copy Fail (CVE-2026-31431) vulnerability exploiting AF_ALG/splice page cache mutation, with PoC checker,…

PwnKit (CVE-2021-4034) Safe Checker This tool performs read-only checks and does not attempt exploitation.