npmjs.org : contract-shield-cli
A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preservin
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/contract-shield-cli
Keywords:
static-analysis
, developer-tools
, software-engineering
, formal-methods
, program-verification
, automated-testing
, debugging-tools
, secure-coding
, design-by-contract
, runtime-verification
, source-code-analysis
, cli-tool
, runtime-analysis
, code-instrumentation
, source-code-modification
, programming-language-tools
, contracts-validation
, preconditions-postconditions
, invariants-checking
, verification-framework
License: MIT
Latest release: 3 months ago
First release: 3 months ago
Downloads: 11 last month
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago