{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:KG5CXRR3DRTDDHAT2VN2M7XSGQ","short_pith_number":"pith:KG5CXRR3","canonical_record":{"source":{"id":"1611.07549","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-22T21:56:58Z","cross_cats_sorted":[],"title_canon_sha256":"6312c79a83f05909d95a370021db6296acd6391f113b88522d89babe93652715","abstract_canon_sha256":"c71dce068b813ff4c6d64eae5c637941e8e0b131bb294ec42fc7082ff94ec284"},"schema_version":"1.0"},"canonical_sha256":"51ba2bc63b1c66319c13d55ba67ef234372f8e064c5f782d3cbd93eeb7f3466e","source":{"kind":"arxiv","id":"1611.07549","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.07549","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"arxiv_version","alias_value":"1611.07549v1","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07549","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"pith_short_12","alias_value":"KG5CXRR3DRTD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KG5CXRR3DRTDDHAT","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KG5CXRR3","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:KG5CXRR3DRTDDHAT2VN2M7XSGQ","target":"record","payload":{"canonical_record":{"source":{"id":"1611.07549","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-22T21:56:58Z","cross_cats_sorted":[],"title_canon_sha256":"6312c79a83f05909d95a370021db6296acd6391f113b88522d89babe93652715","abstract_canon_sha256":"c71dce068b813ff4c6d64eae5c637941e8e0b131bb294ec42fc7082ff94ec284"},"schema_version":"1.0"},"canonical_sha256":"51ba2bc63b1c66319c13d55ba67ef234372f8e064c5f782d3cbd93eeb7f3466e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:00.520517Z","signature_b64":"3zWAQffR++Rn2cGPFgCxW9cX+mhu97ytBJPkEbgF4punla5VxC+zu/uezOG0WODkLCfG9L49i6pkulb1vXCnBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51ba2bc63b1c66319c13d55ba67ef234372f8e064c5f782d3cbd93eeb7f3466e","last_reissued_at":"2026-05-18T00:57:00.519950Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:00.519950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.07549","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:57:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"utwU1b+i9kKDskiIEHlktD9nauHMWYC2FUvRsPVuX32PrNkFKpuMXzRo1Gu1xzg4Uyfhh6x5KLo/j/m+nrdHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:00:42.555907Z"},"content_sha256":"8e81276d390229b1fe4443db7315701be92289fb53f1cfd435535e3cb704abda","schema_version":"1.0","event_id":"sha256:8e81276d390229b1fe4443db7315701be92289fb53f1cfd435535e3cb704abda"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:KG5CXRR3DRTDDHAT2VN2M7XSGQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dmitriy Golubitskiy, Mario Gleirscher, Maximilian Irlbeck, Stefan Wagner","submitted_at":"2016-11-22T21:56:58Z","abstract_excerpt":"Today's small and medium-sized enterprises (SMEs) in the software industry are faced with major challenges. While having to work efficiently using limited resources they have to perform quality assurance on their code to avoid the risk of further effort for bug fixes or compensations. Automated static analysis can reduce this risk because it promises little effort for running an analysis. We report on our experience in analysing five projects from and with SMEs by three different static analysis techniques: code clone detection, bug pattern detection and architecture conformance analysis. We f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07549","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:57:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hGzGoVowqpPr/6LTHhheOViw7Pk/FOTtT2m/7z4WhgFSvj6NQkoRpLlmfcWKm+p6ZrGexaahMqhfx8+yghwYBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:00:42.556269Z"},"content_sha256":"cbafaf92e4f3946f99d2d3791d0a135a4181b6ac13744beffb9cf667b43e684f","schema_version":"1.0","event_id":"sha256:cbafaf92e4f3946f99d2d3791d0a135a4181b6ac13744beffb9cf667b43e684f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/bundle.json","state_url":"https://pith.science/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/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-02T04:00:42Z","links":{"resolver":"https://pith.science/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ","bundle":"https://pith.science/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/bundle.json","state":"https://pith.science/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KG5CXRR3DRTDDHAT2VN2M7XSGQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KG5CXRR3DRTDDHAT2VN2M7XSGQ","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":"c71dce068b813ff4c6d64eae5c637941e8e0b131bb294ec42fc7082ff94ec284","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-22T21:56:58Z","title_canon_sha256":"6312c79a83f05909d95a370021db6296acd6391f113b88522d89babe93652715"},"schema_version":"1.0","source":{"id":"1611.07549","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.07549","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"arxiv_version","alias_value":"1611.07549v1","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07549","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"pith_short_12","alias_value":"KG5CXRR3DRTD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KG5CXRR3DRTDDHAT","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KG5CXRR3","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:cbafaf92e4f3946f99d2d3791d0a135a4181b6ac13744beffb9cf667b43e684f","target":"graph","created_at":"2026-05-18T00:57:00Z","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":"Today's small and medium-sized enterprises (SMEs) in the software industry are faced with major challenges. While having to work efficiently using limited resources they have to perform quality assurance on their code to avoid the risk of further effort for bug fixes or compensations. Automated static analysis can reduce this risk because it promises little effort for running an analysis. We report on our experience in analysing five projects from and with SMEs by three different static analysis techniques: code clone detection, bug pattern detection and architecture conformance analysis. We f","authors_text":"Dmitriy Golubitskiy, Mario Gleirscher, Maximilian Irlbeck, Stefan Wagner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-22T21:56:58Z","title":"On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07549","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:8e81276d390229b1fe4443db7315701be92289fb53f1cfd435535e3cb704abda","target":"record","created_at":"2026-05-18T00:57:00Z","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":"c71dce068b813ff4c6d64eae5c637941e8e0b131bb294ec42fc7082ff94ec284","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-22T21:56:58Z","title_canon_sha256":"6312c79a83f05909d95a370021db6296acd6391f113b88522d89babe93652715"},"schema_version":"1.0","source":{"id":"1611.07549","kind":"arxiv","version":1}},"canonical_sha256":"51ba2bc63b1c66319c13d55ba67ef234372f8e064c5f782d3cbd93eeb7f3466e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51ba2bc63b1c66319c13d55ba67ef234372f8e064c5f782d3cbd93eeb7f3466e","first_computed_at":"2026-05-18T00:57:00.519950Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:00.519950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3zWAQffR++Rn2cGPFgCxW9cX+mhu97ytBJPkEbgF4punla5VxC+zu/uezOG0WODkLCfG9L49i6pkulb1vXCnBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:00.520517Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.07549","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8e81276d390229b1fe4443db7315701be92289fb53f1cfd435535e3cb704abda","sha256:cbafaf92e4f3946f99d2d3791d0a135a4181b6ac13744beffb9cf667b43e684f"],"state_sha256":"bda76a299eab99fa29940e63bf316376dddc01d7717b5d7d0f5e328946f6c312"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6Oji02faYLn/2oZD5DfH/e80v5C9hv3zdzq7lnxD2D+094GPYPZiAXEnrrZMAVA14yFDsBQPezFXQBLN3bhQBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:00:42.558208Z","bundle_sha256":"7504bb27d35d653b64cc936e9cbef0cde6505e3a4dadf983debdb3cc63cf7cb2"}}