https://github.com/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).
https://github.com/ioncakephper/contract-shield-cli
automated-testing cli-tool code-instrumentation contracts-validation debugging-tools design-by-contract developer-tools formal-methods invariants-checking preconditions-postconditions program-verification programming-language-tools runtime-analysis runtime-verification secure-coding software-engineering source-code-analysis source-code-modification static-analysis verification-framework
Last synced: 1 day ago
JSON representation
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).
- Host: GitHub
- URL: https://github.com/ioncakephper/contract-shield-cli
- Owner: ioncakephper
- License: mit
- Created: 2025-06-02T12:19:19.000Z (20 days ago)
- Default Branch: main
- Last Pushed: 2025-06-11T13:22:17.000Z (11 days ago)
- Last Synced: 2025-06-11T14:44:22.797Z (10 days ago)
- Topics: automated-testing, cli-tool, code-instrumentation, contracts-validation, debugging-tools, design-by-contract, developer-tools, formal-methods, invariants-checking, preconditions-postconditions, program-verification, programming-language-tools, runtime-analysis, runtime-verification, secure-coding, software-engineering, source-code-analysis, source-code-modification, static-analysis, verification-framework
- Language: JavaScript
- Homepage:
- Size: 90.8 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE