2 search results for "tag:"static-analysis""

Showing 1 - 2
  1. ppx_enforce

    No documentation

    PPX that enforces required function calls at compile time
    0.1.0
    GPL-3.0-or-later
    Used by 0 other packages
    06 May 2026
  2. ppx_forbid

    No documentation

    PPX that forbids specific function calls or modules at compile time
    0.1.0
    GPL-3.0-or-later
    Used by 0 other packages
    06 May 2026