2601.14595v1.pdf

{
  "file/base": {
    "record": {
      "extension": ".pdf",
      "hash": "96948a1bccaeb408448f29367b09dac277a4949b777985681ca85b5f0f4da826",
      "media_type": "application/pdf",
      "media_type_prefix": "application",
      "name": "2601.14595v1.pdf",
      "size": 4530426
    },
    "source": {
      "execution_id": "f5e2d68c-4827-4207-ad89-9f214a6152af",
      "id": "file/base",
      "type": "Model",
      "version": "1.0.0"
    }
  },
  "file/pdf": {
    "private": false,
    "record": {
      "creation_date": "2026-01-22T01:24:18Z",
      "keywords": [
        "Infrastructure as Code (IaC)",
        "Security Smells",
        "Static Analysis"
      ],
      "modified_date": "2026-01-22T01:24:18Z",
      "page_count": 12,
      "producer": "pikepdf 8.15.1",
      "subject": "-  Software and its engineering  -\u003e  Software configuration management and version control systems.-  Security and privacy  -\u003e  Software security engineering.",
      "title": "IntelliSA: An Intelligent Static Analyzer for IaC Security Smell Detection Using Symbolic Rules and Neural Inference",
      "version": "1.7"
    },
    "source": {
      "execution_id": "e3e4cb5c-d10c-4657-846c-6d3692816e7f",
      "id": "dorsal/pdf",
      "type": "Model",
      "version": "1.1.0"
    }
  }
}