
sgxray
Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…
binary-analysisfuzzinghardware-security+2
43

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

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

BianryNinja plugin for identifying vulnerabilities in decompiled binaries with both programmatic scans and LLM support.


Reimplementation of CVE-2017-15361 checker in C