opp-repl-sanitizer-tests

Run sanitizer-instrumented builds to detect memory errors and undefined behavior in opp_repl simulations.

Updated Apr 23, 2026
One-click install
npx skills add https://github.com/tabgab/opp_repl-skill --skill opp-repl-sanitizer-tests
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: opp-repl-sanitizer-tests
Source: https://github.com/tabgab/opp_repl-skill/tree/main/opp-repl-sanitizer-tests
Command: npx skills add https://github.com/tabgab/opp_repl-skill --skill opp-repl-sanitizer-tests

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill helps developers detect memory errors and undefined behavior in opp_repl simulations by running sanitizer-instrumented builds.

Core Features & Use Cases

  • Detection of memory errors including leaks, use-after-free, and undefined behavior.
  • Tools include AddressSanitizer and UBSan for runtime checks during simulation runs.
  • Use cases include debugging flaky crashes in inet projects and validating builds before release.

Quick Start

Run a sanitizer-enabled simulation by building with the sanitize mode and invoking the opp_run_sanitizer_tests --load inet.opp -p inet.

Frequently Asked Questions about opp-repl-sanitizer-tests

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I catch memory errors and use-after-free in opp_repl simulations?

Catch memory errors in opp_repl by building with the sanitize mode and invoking sanitizer-instrumented builds using AddressSanitizer and UBSan. Run the opp_run_sanitizer_tests workflow with the command opp_run_sanitizer_tests --load inet.opp -p inet to detect memory errors.

What is the best way to debug flaky crashes in inet projects?

Debug flaky crashes in inet projects by running sanitizer-enabled tests using AddressSanitizer and UBSan. These tools provide runtime checks during simulation runs to detect leaks, use-after-free, and undefined behavior causing crashes.

Do I need a sanitizer-enabled build to run opp_run_sanitizer_tests?

Yes, a sanitizer-enabled build is required to run opp_run_sanitizer_tests. You must build with the sanitize mode to instrument the code with AddressSanitizer and UBSan for runtime memory error and undefined behavior detection.

Can I run sanitizer tests for opp_repl using the command-line tool?

Yes, you can run sanitizer tests for opp_repl using the command-line tool. Usage is available via the Python API or the command line by invoking opp_run_sanitizer_tests --load inet.opp -p inet after building with the sanitize mode.

What types of undefined behavior does UBSan catch in opp_repl?

UBSan catches undefined behavior in opp_repl simulations during runtime checks. Combined with AddressSanitizer, it detects issues including leaks and use-after-free, ensuring validation of builds before release across inet projects.