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
Ecosystem
npmjs.org
npmjs.org
Latest Release
9 months ago
0.2.1
9 months ago
Versions
3
3
Downloads
23 last month
23 last month
Loading...
Readme
Loading...
Links
| Registry | npmjs.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:npm/contract-shield-cli
spec |
| License | MIT |
| First Release | 9 months ago |
| Last Synced | 18 days ago |
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
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
Repository
| Stars | 0 on GitHub |
| Forks | 0 on GitHub |