{"task": {"agent_timeout": 3000, "task": "codegen__spotbugs__spotbugs-2745", "verifier_timeout": 3000, "instruction": "This is a code generation task. You are expected to write working code that solves the described problem.\n<issue>\n      Instead of omitting the property or producing an empty list, SpotBugs creates a list containing `null` when no taxonomies apply:\n\n```\n{\n  \"version\": \"2.1.0\",\n  \"$schema\": \"https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json\",\n  \"runs\": [\n    {\n      ....\n      \"taxonomies\": [\n        null\n      ]\n    }\n  ]\n}\n```\n\nThis goes against the corresponding [SARIF spec](https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/sarif-v2.1.0-errata01-os-complete.html#_Toc141790742) and will be marked as an error by the [validator](https://sarifweb.azurewebsites.net/Validation).\nTherefore, SARIF parsers may be thrown off by this null value as they expect the list to be filled with valid `toolComponent` objects.\n\n</issue>\nFocus on implementing the required functionality correctly and efficiently. Treat this as a programming challenge.\nYou are not allowed to read git history.\n", "memory": "8192m", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "code-generation", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "devopsgym", "tags": ["code-generation", "devops-bench"]}, "runs": []}