GitHub topics: source-code-modification
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: 90.8 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
Vladimir-Novick/CPP-Memory-leak-detection
Inserting preprocessor directive in the multiple files / Enable memory leak detection / Adding breakpoint on memory leak detection items
Size: 266 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
