Analysis tools logo
0

prae

Provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you specified.

Github:
    3636432021
Workflow integration:
  • Type: cli
    cli

Official prae Homepage

https://github.com/teenjuna/prae

MIT License

Maintained

Alternative Tools

  • 2todocheck
  • 2trivy
  • 1RustViz
  • 0warnalyzer
  • -2ShiftLeft Scan