Unresolvable Identifier

arXiv:2605.08419 · detector doi_compliance · cross_source · 2026-05-19 11:08:50.590611+00:00

critical doi_compliance unresolvable_identifier

Identifier '10.5555/2032305.2032342' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.

Paper page Integrity report arXiv Try DOI

Evidence text

David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz. 2011. BAP: a binary analysis platform. In Proceedings of the 23rd International Conference on Computer Aided Verification(Snowbird, UT)(CA V’11). Springer- Verlag, Berlin, Heidelberg, 463–469. https://dl.acm.org/doi/10.5555/2032305.2032342

Evidence payload

{
  "arxiv_id": null,
  "checked_sources": [
    "crossref_by_doi",
    "openalex_by_doi",
    "doi_org_head"
  ],
  "doi": "10.5555/2032305.2032342",
  "raw_excerpt": "David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz. 2011. BAP: a binary analysis platform. In Proceedings of the 23rd International Conference on Computer Aided Verification(Snowbird, UT)(CA V\u201911). Springer- Verlag, Berlin, Heidelberg, 463\u2013469. https://dl.acm.org/doi/10.5555/2032305.2032342",
  "ref_index": 10,
  "verdict_class": "cross_source"
}