Projects in Awesome Lists tagged with code-instrumentation
A curated list of projects in awesome lists tagged with code-instrumentation .
https://github.com/monshunter/goat
GOAT (Golang Application Tracing) - A high-performance code tracing tool for gray releases in Go applications, featuring automatic incremental code tracking, real-time monitoring, and intelligent instrumentation to help developers make reliable decisions during gray releases.
canary-deployment code-instrumentation coverage devops golang gray-release monitoring observability testing tracing
Last synced: 12 Jan 2026
https://github.com/scrutinydebugger/scrutiny-main
Debugging embedded software through instrumentation with a nice UI
calibration-tool can code-instrumentation cplusplus data-visualization debugger embedded embedded-c embedded-systems hardware-in-the-loop hil instrumentation introspection mcu runtime-debugger serial testing testing-tool
Last synced: 24 Feb 2026
https://github.com/staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
code-instrumentation dangling-pointer-detection instrumentation llvm llvm-instrumentation memory-leak-detection memory-safety null-check runtime-checking
Last synced: 13 Mar 2026
https://github.com/garysassano/cdk-aws-lambda-otel-code-instrumentation-node
CDK app showcasing OpenTelemetry code-based instrumentation for AWS Lambda functions running on the Node.js runtime
aws aws-cdk aws-lambda cdk code-based-instrumentation code-instrumentation faas lambda node-lambda opentelemetry otel otel-code-instrumentation otel-instrumentation
Last synced: 18 Apr 2025
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
