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

Showing 1 - 2
  1. ppx_enforce
    Documentation
    PPX that enforces required function calls at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  2. ppx_forbid
    Documentation
    PPX that forbids specific function calls or modules at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository