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.

View Source debugging

maintainer

Z3Prover

Updated 3/11/2026

Stars

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

Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use memory-safety