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).

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: 20 Jun 2025