{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GNY7T6Q4E56AKGODLYOULN2LEM","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":"f75c0b066ff8b5524bf69bb52d00d8f21754ab7c43face638a289d18e57e7d50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-27T02:23:21Z","title_canon_sha256":"ac962b5a5819773bd5e1991b7cfda5ca1711355340972011a9a8a9de2d669209"},"schema_version":"1.0","source":{"id":"1703.08902","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08902","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08902v3","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08902","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"pith_short_12","alias_value":"GNY7T6Q4E56A","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GNY7T6Q4E56AKGOD","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GNY7T6Q4","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:1e52d44997714fbd5f275d417f0bdeabf17bf8e6f05d4cc2eefb7fb073c6c87d","target":"graph","created_at":"2026-05-18T00:47:37Z","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":"One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source code. However, bugs, vulnerabilities and refactoring transformations have been found to be related to callback sequences. Existing work on control flow analysis of Android apps have mainly focused on analyzing GUI events. GUI events, although being a key part of determining control flow of Android apps, do not offer a complete picture. Our observation is that orthogonal to GUI events, the Android API calls also play an important role in de","authors_text":"Danilo Dominguez Perez, Wei Le","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-27T02:23:21Z","title":"Generating Predicate Callback Summaries for the Android Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08902","kind":"arxiv","version":3},"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:4dea37e08e168d589383d4dd2a6c276e30320798fe01bb643aa8e5d39485452e","target":"record","created_at":"2026-05-18T00:47:37Z","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":"f75c0b066ff8b5524bf69bb52d00d8f21754ab7c43face638a289d18e57e7d50","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-27T02:23:21Z","title_canon_sha256":"ac962b5a5819773bd5e1991b7cfda5ca1711355340972011a9a8a9de2d669209"},"schema_version":"1.0","source":{"id":"1703.08902","kind":"arxiv","version":3}},"canonical_sha256":"3371f9fa1c277c0519c35e1d45b74b233bd09446bf07caf416c2d67df86f3fc1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3371f9fa1c277c0519c35e1d45b74b233bd09446bf07caf416c2d67df86f3fc1","first_computed_at":"2026-05-18T00:47:37.755381Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:37.755381Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yCAnD0OI31UMMt94im+AjJy1LVEbZE9SkJLFNejefgUrDGc5JW5shDDXm8vVdSiWJneEYuLP5xSHssfwEZDDCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:37.756066Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08902","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4dea37e08e168d589383d4dd2a6c276e30320798fe01bb643aa8e5d39485452e","sha256:1e52d44997714fbd5f275d417f0bdeabf17bf8e6f05d4cc2eefb7fb073c6c87d"],"state_sha256":"e2ee6f06266e4675c4a09d9a1147b23ad2cc12952b94a43031223fb05af0ccbf"}