2601.15154v1.pdf

{
  "file/base": {
    "record": {
      "extension": ".pdf",
      "hash": "040b1a24a170fad9d281b779d6d9c47163de4f01e9937718534f6a20072b70d9",
      "media_type": "application/pdf",
      "media_type_prefix": "application",
      "name": "2601.15154v1.pdf",
      "size": 1242683
    },
    "source": {
      "execution_id": "826ce735-1260-4382-8945-d58ad13f6747",
      "id": "file/base",
      "type": "Model",
      "version": "1.0.0"
    }
  },
  "file/pdf": {
    "private": false,
    "record": {
      "creation_date": "2026-01-22T02:03:52Z",
      "keywords": [
        "Vulnerability detection",
        "Static analysis",
        "Domain-specific language"
      ],
      "modified_date": "2026-01-22T02:03:52Z",
      "page_count": 53,
      "producer": "pikepdf 8.15.1",
      "subject": "-  Security and privacy  -\u003e  Software security engineering.-  Software and its engineering  -\u003e  Automated static analysis.Domain specific languages.",
      "title": "SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis",
      "version": "1.5"
    },
    "source": {
      "execution_id": "6d246bf2-48ff-42a9-b3b3-fbac32aad078",
      "id": "dorsal/pdf",
      "type": "Model",
      "version": "1.1.0"
    }
  }
}