Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "source-code-modification"

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: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

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
automatic 1 cpp 1 cpp-automatic 1 cpp-files 1 dll-memory-leak 1 header-files 1 memory-allocation 1 memory-leak 1 preprocessor-directive 1 source-code 1 automated-testing 1 cli-tool 1 code-instrumentation 1 contracts-validation 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 static-analysis 1 verification-framework 1