{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:AN5DRNF5HAFUEGHYJ7K42XHXC2","short_pith_number":"pith:AN5DRNF5","canonical_record":{"source":{"id":"2302.05554","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2023-02-11T00:21:04Z","cross_cats_sorted":[],"title_canon_sha256":"c2539cb27c88bf122665f5fc407a271263b0e9bf0291ef9151553401c5243869","abstract_canon_sha256":"19382eb8126f6d4b7efc9f0e952e5e44c7fda81001efb106ee7d4407bce0f7b6"},"schema_version":"1.0"},"canonical_sha256":"037a38b4bd380b4218f84fd5cd5cf71685ebdc0f41fdb7a755fe3812ab49585d","source":{"kind":"arxiv","id":"2302.05554","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05554","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05554v2","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05554","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"AN5DRNF5HAFU","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_16","alias_value":"AN5DRNF5HAFUEGHY","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_8","alias_value":"AN5DRNF5","created_at":"2026-07-05T06:32:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:AN5DRNF5HAFUEGHYJ7K42XHXC2","target":"record","payload":{"canonical_record":{"source":{"id":"2302.05554","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2023-02-11T00:21:04Z","cross_cats_sorted":[],"title_canon_sha256":"c2539cb27c88bf122665f5fc407a271263b0e9bf0291ef9151553401c5243869","abstract_canon_sha256":"19382eb8126f6d4b7efc9f0e952e5e44c7fda81001efb106ee7d4407bce0f7b6"},"schema_version":"1.0"},"canonical_sha256":"037a38b4bd380b4218f84fd5cd5cf71685ebdc0f41fdb7a755fe3812ab49585d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:32:36.611331Z","signature_b64":"aih7YUJoUBfC17UC+Ebl4wmUDercCmNBPtO9T1+tWetxLDCEsitDdZYcLmOXjS4dwv76TQmpabA38G/gaOeaAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"037a38b4bd380b4218f84fd5cd5cf71685ebdc0f41fdb7a755fe3812ab49585d","last_reissued_at":"2026-07-05T06:32:36.610784Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:32:36.610784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.05554","source_version":2,"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-07-05T06:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KF+WmET+Vm1kbTdZxIzXhAahJsgRCmsdt2JCnNYXTfXzcOu8MXag+IertNILuI6dqwqv0sGyrcFmSgIFHdNmAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:31:45.934220Z"},"content_sha256":"b7c8d98a3dbc9716c0fa727dedd1ba6aa893c5563a29426e239bfc4d477df3ae","schema_version":"1.0","event_id":"sha256:b7c8d98a3dbc9716c0fa727dedd1ba6aa893c5563a29426e239bfc4d477df3ae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:AN5DRNF5HAFUEGHYJ7K42XHXC2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Use of Static Analysis to Engage Students with Software Quality Improvement: An Experience with PMD","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Eman Abdullah AlOmar, Mohamed Wiem Mkaouer, Salma Abdullah AlOmar","submitted_at":"2023-02-11T00:21:04Z","abstract_excerpt":"Static analysis tools are frequently used to scan the source code and detect deviations from the project coding guidelines. Given their importance, linters are often introduced to classrooms to educate students on how to detect and potentially avoid these code anti-patterns. However, little is known about their effectiveness in raising students awareness, given that these linters tend to generate a large number of false positives. To increase the awareness of potential coding issues that violate coding standards, in this paper, we aim to reflect on our experience with teaching the use of stati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05554","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2302.05554/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hs2dnItrRSxFpcmnkAyjasWOiSG4uvXYiSwJrzh2BUJr8MvHI2ovf4Xba81BSTIiA4RDrV0DtRvxhCBjA5NkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:31:45.934759Z"},"content_sha256":"62b3c1df9df195a46a02bc78df408c5fb40e515594be1bce2a64dc7dfd5cb690","schema_version":"1.0","event_id":"sha256:62b3c1df9df195a46a02bc78df408c5fb40e515594be1bce2a64dc7dfd5cb690"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/bundle.json","state_url":"https://pith.science/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/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-08-03T15:31:45Z","links":{"resolver":"https://pith.science/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2","bundle":"https://pith.science/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/bundle.json","state":"https://pith.science/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AN5DRNF5HAFUEGHYJ7K42XHXC2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:AN5DRNF5HAFUEGHYJ7K42XHXC2","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":"19382eb8126f6d4b7efc9f0e952e5e44c7fda81001efb106ee7d4407bce0f7b6","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2023-02-11T00:21:04Z","title_canon_sha256":"c2539cb27c88bf122665f5fc407a271263b0e9bf0291ef9151553401c5243869"},"schema_version":"1.0","source":{"id":"2302.05554","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05554","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05554v2","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05554","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"AN5DRNF5HAFU","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_16","alias_value":"AN5DRNF5HAFUEGHY","created_at":"2026-07-05T06:32:36Z"},{"alias_kind":"pith_short_8","alias_value":"AN5DRNF5","created_at":"2026-07-05T06:32:36Z"}],"graph_snapshots":[{"event_id":"sha256:62b3c1df9df195a46a02bc78df408c5fb40e515594be1bce2a64dc7dfd5cb690","target":"graph","created_at":"2026-07-05T06:32:36Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2302.05554/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis tools are frequently used to scan the source code and detect deviations from the project coding guidelines. Given their importance, linters are often introduced to classrooms to educate students on how to detect and potentially avoid these code anti-patterns. However, little is known about their effectiveness in raising students awareness, given that these linters tend to generate a large number of false positives. To increase the awareness of potential coding issues that violate coding standards, in this paper, we aim to reflect on our experience with teaching the use of stati","authors_text":"Eman Abdullah AlOmar, Mohamed Wiem Mkaouer, Salma Abdullah AlOmar","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2023-02-11T00:21:04Z","title":"On the Use of Static Analysis to Engage Students with Software Quality Improvement: An Experience with PMD"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05554","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:b7c8d98a3dbc9716c0fa727dedd1ba6aa893c5563a29426e239bfc4d477df3ae","target":"record","created_at":"2026-07-05T06:32:36Z","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":"19382eb8126f6d4b7efc9f0e952e5e44c7fda81001efb106ee7d4407bce0f7b6","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2023-02-11T00:21:04Z","title_canon_sha256":"c2539cb27c88bf122665f5fc407a271263b0e9bf0291ef9151553401c5243869"},"schema_version":"1.0","source":{"id":"2302.05554","kind":"arxiv","version":2}},"canonical_sha256":"037a38b4bd380b4218f84fd5cd5cf71685ebdc0f41fdb7a755fe3812ab49585d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"037a38b4bd380b4218f84fd5cd5cf71685ebdc0f41fdb7a755fe3812ab49585d","first_computed_at":"2026-07-05T06:32:36.610784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:32:36.610784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aih7YUJoUBfC17UC+Ebl4wmUDercCmNBPtO9T1+tWetxLDCEsitDdZYcLmOXjS4dwv76TQmpabA38G/gaOeaAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:32:36.611331Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.05554","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7c8d98a3dbc9716c0fa727dedd1ba6aa893c5563a29426e239bfc4d477df3ae","sha256:62b3c1df9df195a46a02bc78df408c5fb40e515594be1bce2a64dc7dfd5cb690"],"state_sha256":"287458c174a142e7da7dc41b77381617e7fa5e6091b1bfaa56ab885e07b1c39a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JFFBO/f4NaE/Tgt4VtW3TNOgJ0WpsjHeB5cwK2pZYFm3WKhLk0LvCZjoONyj3kBgTR4tnm+pAbya9Tf8+8DUCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:31:45.941139Z","bundle_sha256":"e43968418d064a1ee46c53534bb4137116ecf090aab19b858077bfa691aceb56"}}