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.

Voir le code source debugging

maintainer

Z3Prover

Mis à jour 3/11/2026

Étoiles

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.

Installation

$ install --globalskills.sh

Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use memory-safety