Each item is a memory leak detection accuracy benchmark example providing C source code, Language, Analysis tool, Expected findings. Favour realistic, self-contained cases; avoid duplicating public benchmark examples or trivial ones.
Secured after final acceptance. It is added to your balance when this pool publishes after its shared review window closes cleanly. Rejected items do not qualify.
Platform-authored spec, open on delivery.
Measured pipeline stats for this dataset. A dash means the platform does not publish that measure for this pool.
Illustrative samples authored for the Memory Safety / Resource Leak Detection dataset type.
#include <stdlib.h>
void process() {
int* data = malloc(100 * sizeof(int));
data[0] = 42;
// missing free(data)
}
int main() {
process();
return 0;
}
Approved public samples for this Memory Safety / Resource Leak Detection dataset. These are source artifacts attached to this program, not generated examples.