Topic: "contracts-validation"
ioncakephper/contract-shield-cli
A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).
Language: JavaScript - Size: 137 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
Related Topics
automated-testing
1
cli-tool
1
code-instrumentation
1
debugging-tools
1
design-by-contract
1
developer-tools
1
formal-methods
1
invariants-checking
1
preconditions-postconditions
1
program-verification
1
programming-language-tools
1
runtime-analysis
1
runtime-verification
1
secure-coding
1
software-engineering
1
source-code-analysis
1
source-code-modification
1
static-analysis
1
verification-framework
1