{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NBJPMANPZWJMNA7I3L5XDCPR3L","short_pith_number":"pith:NBJPMANP","canonical_record":{"source":{"id":"1702.02406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-08T12:48:54Z","cross_cats_sorted":[],"title_canon_sha256":"48ab644073372e2b426926a60afd0c90b69c28969532dcd79b1212e290b80fad","abstract_canon_sha256":"c1ff963d0b1a674dfcb3597066419df479366fd1dd937fa2dcde8f5df7bca458"},"schema_version":"1.0"},"canonical_sha256":"6852f601afcd92c683e8dafb7189f1dae3d54349ee952849d20d3cb817204d7f","source":{"kind":"arxiv","id":"1702.02406","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.02406","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"1702.02406v1","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.02406","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"NBJPMANPZWJM","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NBJPMANPZWJMNA7I","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NBJPMANP","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NBJPMANPZWJMNA7I3L5XDCPR3L","target":"record","payload":{"canonical_record":{"source":{"id":"1702.02406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-08T12:48:54Z","cross_cats_sorted":[],"title_canon_sha256":"48ab644073372e2b426926a60afd0c90b69c28969532dcd79b1212e290b80fad","abstract_canon_sha256":"c1ff963d0b1a674dfcb3597066419df479366fd1dd937fa2dcde8f5df7bca458"},"schema_version":"1.0"},"canonical_sha256":"6852f601afcd92c683e8dafb7189f1dae3d54349ee952849d20d3cb817204d7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:06.028182Z","signature_b64":"cD5YDS+mCXFjyMgElOba3i2LdlIAtXfqqF6OtC64ReqacgLxpliTz9ey4jUeAq0wjkxuuNrvaH+3Z93TD6KVBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6852f601afcd92c683e8dafb7189f1dae3d54349ee952849d20d3cb817204d7f","last_reissued_at":"2026-05-18T00:51:06.027752Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:06.027752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.02406","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zPKDlowdu9OEwF7777piKdlLZkMc3kqCBJ64p4mGRXC2HewZ5s+IlrgkuGSF14eaNCTX7qENPhxWxADUUE7fCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:44:00.985107Z"},"content_sha256":"73d937d3cd20c8e2ff92e373ca7306a868b4b233a01b95f9f71388a11585f16f","schema_version":"1.0","event_id":"sha256:73d937d3cd20c8e2ff92e373ca7306a868b4b233a01b95f9f71388a11585f16f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NBJPMANPZWJMNA7I3L5XDCPR3L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SEA: String Executability Analysis by Abstract Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Isabella Mastroeni, Mila Dalla Preda, Roberto Giacobazzi, Vincenzo Arceri","submitted_at":"2017-02-08T12:48:54Z","abstract_excerpt":"Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely hard if not impossible because its essential data structures, i.e., the control-flow graph and the system of recursive equations associated with the program to analyse, are themselves dynamically mutating objects. We introduce SEA, an abstract interpreter for automatic sound string executability analysis of dynamic languages employing bounded (i.e, finitely nested) reflection and dynamic code generation. Strings are sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.02406","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ti8mK0/kioAfrrEjLzwb2SrP19QiU/mJjCIsM0vcJJwIRAf/t6ZXlQkVpz2lYbPhNe0z5oBuuMZtziiG97OKDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:44:00.985932Z"},"content_sha256":"6fe717a3fba6a64c814e47ca4bea4fe97311bb9aeaf02df85dcd908c1a7c1903","schema_version":"1.0","event_id":"sha256:6fe717a3fba6a64c814e47ca4bea4fe97311bb9aeaf02df85dcd908c1a7c1903"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/bundle.json","state_url":"https://pith.science/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T19:44:00Z","links":{"resolver":"https://pith.science/pith/NBJPMANPZWJMNA7I3L5XDCPR3L","bundle":"https://pith.science/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/bundle.json","state":"https://pith.science/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NBJPMANPZWJMNA7I3L5XDCPR3L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NBJPMANPZWJMNA7I3L5XDCPR3L","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c1ff963d0b1a674dfcb3597066419df479366fd1dd937fa2dcde8f5df7bca458","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-08T12:48:54Z","title_canon_sha256":"48ab644073372e2b426926a60afd0c90b69c28969532dcd79b1212e290b80fad"},"schema_version":"1.0","source":{"id":"1702.02406","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.02406","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"1702.02406v1","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.02406","created_at":"2026-05-18T00:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"NBJPMANPZWJM","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NBJPMANPZWJMNA7I","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NBJPMANP","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:6fe717a3fba6a64c814e47ca4bea4fe97311bb9aeaf02df85dcd908c1a7c1903","target":"graph","created_at":"2026-05-18T00:51:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely hard if not impossible because its essential data structures, i.e., the control-flow graph and the system of recursive equations associated with the program to analyse, are themselves dynamically mutating objects. We introduce SEA, an abstract interpreter for automatic sound string executability analysis of dynamic languages employing bounded (i.e, finitely nested) reflection and dynamic code generation. Strings are sta","authors_text":"Isabella Mastroeni, Mila Dalla Preda, Roberto Giacobazzi, Vincenzo Arceri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-08T12:48:54Z","title":"SEA: String Executability Analysis by Abstract Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.02406","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:73d937d3cd20c8e2ff92e373ca7306a868b4b233a01b95f9f71388a11585f16f","target":"record","created_at":"2026-05-18T00:51:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c1ff963d0b1a674dfcb3597066419df479366fd1dd937fa2dcde8f5df7bca458","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-02-08T12:48:54Z","title_canon_sha256":"48ab644073372e2b426926a60afd0c90b69c28969532dcd79b1212e290b80fad"},"schema_version":"1.0","source":{"id":"1702.02406","kind":"arxiv","version":1}},"canonical_sha256":"6852f601afcd92c683e8dafb7189f1dae3d54349ee952849d20d3cb817204d7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6852f601afcd92c683e8dafb7189f1dae3d54349ee952849d20d3cb817204d7f","first_computed_at":"2026-05-18T00:51:06.027752Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:06.027752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cD5YDS+mCXFjyMgElOba3i2LdlIAtXfqqF6OtC64ReqacgLxpliTz9ey4jUeAq0wjkxuuNrvaH+3Z93TD6KVBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:06.028182Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.02406","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73d937d3cd20c8e2ff92e373ca7306a868b4b233a01b95f9f71388a11585f16f","sha256:6fe717a3fba6a64c814e47ca4bea4fe97311bb9aeaf02df85dcd908c1a7c1903"],"state_sha256":"07a7143138f7e455cb7c01eb7c72c797bfe94f188ce42b1b7098bfb76bc70159"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"klgFFlsCzlrl1UO+/Hhs/wE9TT+7FEH7hfS4cnQFJ6p57UboMD3pYLt6jghWZtKKDnsvgkrt84vXSRQBS7pkCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T19:44:00.990945Z","bundle_sha256":"b05cb5d71b34f4a5435310f3bbfb78623a32bff400417bcd3c9bc7f763596019"}}