{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CPGBSLAVEBJFLYL5MFQP2HDEG7","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":"63167328885416f3f48b0d9b5f6f54bb264e05c8a05189fbdb61dddee8a86161","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-26T02:18:42Z","title_canon_sha256":"7f20b72fb40e8d9fd8c3df2cbc7be767c3776466e828500395b110b21cf0f2af"},"schema_version":"1.0","source":{"id":"1806.09761","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09761","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09761v2","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09761","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"CPGBSLAVEBJF","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CPGBSLAVEBJFLYL5","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CPGBSLAV","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:0a0162bdea5bf771eebf67540d25c692b191dd8c221ec017f372886f62a9f9df","target":"graph","created_at":"2026-05-18T00:12:08Z","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":"Mobile application security has been one of the major areas of security research in the last decade. Numerous application analysis tools have been proposed in response to malicious, curious, or vulnerable apps. However, existing tools, and specifically, static analysis tools, trade soundness of the analysis for precision and performance, and are hence soundy. Unfortunately, the specific unsound choices or flaws in the design of these tools are often not known or well-documented, leading to a misplaced confidence among researchers, developers, and users. This paper proposes the Mutation-based s","authors_text":"Adwait Nadkarni, Denys Poshyvanyk, Kaushal Kafle, Kevin Moran, Richard Bonett","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-26T02:18:42Z","title":"Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09761","kind":"arxiv","version":2},"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:5e62734aa993b3809f44c1a9a4e81c3154d43dce254a13f2f55bb1f018a707c8","target":"record","created_at":"2026-05-18T00:12:08Z","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":"63167328885416f3f48b0d9b5f6f54bb264e05c8a05189fbdb61dddee8a86161","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-26T02:18:42Z","title_canon_sha256":"7f20b72fb40e8d9fd8c3df2cbc7be767c3776466e828500395b110b21cf0f2af"},"schema_version":"1.0","source":{"id":"1806.09761","kind":"arxiv","version":2}},"canonical_sha256":"13cc192c15205255e17d6160fd1c6437ed9ea8be77d053ef3ed0bda557b37530","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13cc192c15205255e17d6160fd1c6437ed9ea8be77d053ef3ed0bda557b37530","first_computed_at":"2026-05-18T00:12:08.483947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:08.483947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D/LjBdGZH3/DKg3QhFc+fVwIH+/WFwEsgo2jcn06rsDBjswwVX10DFGjEyY5i72mDL/soaF15Aufpi4nzpDGDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:08.484537Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.09761","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e62734aa993b3809f44c1a9a4e81c3154d43dce254a13f2f55bb1f018a707c8","sha256:0a0162bdea5bf771eebf67540d25c692b191dd8c221ec017f372886f62a9f9df"],"state_sha256":"1d21cf97a8422ae5c4ad3fda102c57919142941558afd0fd6784c059e249d73d"}