Hexrays Toolbox - Find code patterns within the Hexrays ctree

A tool for cross-checking Verilog compilers

lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).

Statistical bug-finding framework for API-using code

The COTS bug finder is ideal for use in critical environments and is designed to improve the redaction of analytical documents.

Fuzzing framework for sparse tensor compilers — first open-source implementation of TENSURE (NDSS Fuzzing Workshop 2026). Finds crashes and silent miscompilations via constraint-based einsum generation and metamorphic testing.