diff --git a/C/flint-1/metadata.json b/C/flint-1/metadata.json index b1ac69b8b..a1e45d4c3 100644 --- a/C/flint-1/metadata.json +++ b/C/flint-1/metadata.json @@ -8,5 +8,17 @@ "buildCommand": "make -j`nproc`", "testCommand": null, - "categories": ["safety", "resource-leak"] + "categories": ["safety", "resource-leak"], + + "leak": { + "kind": "flint_object", + "source": { + "file": "src/fmpz_mpoly_factor/sort.c", + "line": 61 + }, + "sink": { + "file": "src/fmpz_mpoly_factor/sort.c", + "line": 71 + } + } } \ No newline at end of file