memory-safety

Name: memory-safety
Author: Z3Prover

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

Ver código-fonte debugging

maintainer

Z3Prover

Atualizado 3/11/2026

Estrelas

12133

Forks

1635

quick start

Installation and usage

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

Instalação

$ install --globalskills.sh

Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use memory-safety