{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:G45TWNPQYZLL6AAGJZ3W3YW3D7","short_pith_number":"pith:G45TWNPQ","canonical_record":{"source":{"id":"2310.08837","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-13T03:16:58Z","cross_cats_sorted":[],"title_canon_sha256":"a3bd05876548d3f54bb42db1100be366eb9877e7b2dbaf45496d1b0a660766cf","abstract_canon_sha256":"f54391a8ae3e592313e12bd1703a7342087a0a5b56a9008a1aff2398dba2a5e5"},"schema_version":"1.0"},"canonical_sha256":"373b3b35f0c656bf00064e776de2db1fee48e1f20689f440b069f3fcdb00f957","source":{"kind":"arxiv","id":"2310.08837","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.08837","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"arxiv_version","alias_value":"2310.08837v1","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.08837","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_12","alias_value":"G45TWNPQYZLL","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_16","alias_value":"G45TWNPQYZLL6AAG","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_8","alias_value":"G45TWNPQ","created_at":"2026-07-05T07:00:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:G45TWNPQYZLL6AAGJZ3W3YW3D7","target":"record","payload":{"canonical_record":{"source":{"id":"2310.08837","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-13T03:16:58Z","cross_cats_sorted":[],"title_canon_sha256":"a3bd05876548d3f54bb42db1100be366eb9877e7b2dbaf45496d1b0a660766cf","abstract_canon_sha256":"f54391a8ae3e592313e12bd1703a7342087a0a5b56a9008a1aff2398dba2a5e5"},"schema_version":"1.0"},"canonical_sha256":"373b3b35f0c656bf00064e776de2db1fee48e1f20689f440b069f3fcdb00f957","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:00:35.590156Z","signature_b64":"Ya9Li+oZlFtLKETnd1O7BdYlWBsbwQx3yXCmjjy4YBdJHHqGhHl0T675OkshnOxzPSI75I37B0Ug9Xl1Xu4wCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"373b3b35f0c656bf00064e776de2db1fee48e1f20689f440b069f3fcdb00f957","last_reissued_at":"2026-07-05T07:00:35.589727Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:00:35.589727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.08837","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-07-05T07:00:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xRZNADwMjxEpCXJOsDC9XvO3SJhRoUjf9HeDX79DG4NaQtI/WhiJvApTZ3nNgw86INo7DxUTJStGW8SQmSSPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:54:08.336406Z"},"content_sha256":"174a9621508a122519155412e0b98f68b7a368f678d70514fda2425fd6a94cdc","schema_version":"1.0","event_id":"sha256:174a9621508a122519155412e0b98f68b7a368f678d70514fda2425fd6a94cdc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:G45TWNPQYZLL6AAGJZ3W3YW3D7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gang Fan, Peng Di, Xiaoheng Xie, Xunjin Zheng, Yinan Liang","submitted_at":"2023-10-13T03:16:58Z","abstract_excerpt":"The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional techniques, while cornerstone for software quality assurance, exhibit limitations in handling intricate business logic and extensive codebases. To address these challenges, we introduce the Intelligent Code Analysis Agent (ICAA), a novel concept combining AI models, engineering process designs, and traditional non-AI components. The ICAA employs the capabilities of large language models (LLMs) such as GPT-3 or GPT-4 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.08837","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2310.08837/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-05T07:00:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IxxIf6g3Z+O9RSjju3/h9N+UexhnFtnj5lWSPeOi189M2sKbXNSeBUz2T5DESUcEWORw6ojgaxGVfn+IuGQWCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:54:08.337352Z"},"content_sha256":"b8b4ed1953069b6fef0c7feaab20eceb5e62701a1a02160105442c0cb0706175","schema_version":"1.0","event_id":"sha256:b8b4ed1953069b6fef0c7feaab20eceb5e62701a1a02160105442c0cb0706175"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/bundle.json","state_url":"https://pith.science/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/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-09T19:54:08Z","links":{"resolver":"https://pith.science/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7","bundle":"https://pith.science/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/bundle.json","state":"https://pith.science/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G45TWNPQYZLL6AAGJZ3W3YW3D7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:G45TWNPQYZLL6AAGJZ3W3YW3D7","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":"f54391a8ae3e592313e12bd1703a7342087a0a5b56a9008a1aff2398dba2a5e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-13T03:16:58Z","title_canon_sha256":"a3bd05876548d3f54bb42db1100be366eb9877e7b2dbaf45496d1b0a660766cf"},"schema_version":"1.0","source":{"id":"2310.08837","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.08837","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"arxiv_version","alias_value":"2310.08837v1","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.08837","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_12","alias_value":"G45TWNPQYZLL","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_16","alias_value":"G45TWNPQYZLL6AAG","created_at":"2026-07-05T07:00:35Z"},{"alias_kind":"pith_short_8","alias_value":"G45TWNPQ","created_at":"2026-07-05T07:00:35Z"}],"graph_snapshots":[{"event_id":"sha256:b8b4ed1953069b6fef0c7feaab20eceb5e62701a1a02160105442c0cb0706175","target":"graph","created_at":"2026-07-05T07:00:35Z","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/2310.08837/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional techniques, while cornerstone for software quality assurance, exhibit limitations in handling intricate business logic and extensive codebases. To address these challenges, we introduce the Intelligent Code Analysis Agent (ICAA), a novel concept combining AI models, engineering process designs, and traditional non-AI components. The ICAA employs the capabilities of large language models (LLMs) such as GPT-3 or GPT-4 ","authors_text":"Gang Fan, Peng Di, Xiaoheng Xie, Xunjin Zheng, Yinan Liang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-13T03:16:58Z","title":"Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.08837","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:174a9621508a122519155412e0b98f68b7a368f678d70514fda2425fd6a94cdc","target":"record","created_at":"2026-07-05T07:00:35Z","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":"f54391a8ae3e592313e12bd1703a7342087a0a5b56a9008a1aff2398dba2a5e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-13T03:16:58Z","title_canon_sha256":"a3bd05876548d3f54bb42db1100be366eb9877e7b2dbaf45496d1b0a660766cf"},"schema_version":"1.0","source":{"id":"2310.08837","kind":"arxiv","version":1}},"canonical_sha256":"373b3b35f0c656bf00064e776de2db1fee48e1f20689f440b069f3fcdb00f957","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"373b3b35f0c656bf00064e776de2db1fee48e1f20689f440b069f3fcdb00f957","first_computed_at":"2026-07-05T07:00:35.589727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:00:35.589727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ya9Li+oZlFtLKETnd1O7BdYlWBsbwQx3yXCmjjy4YBdJHHqGhHl0T675OkshnOxzPSI75I37B0Ug9Xl1Xu4wCw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:00:35.590156Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.08837","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:174a9621508a122519155412e0b98f68b7a368f678d70514fda2425fd6a94cdc","sha256:b8b4ed1953069b6fef0c7feaab20eceb5e62701a1a02160105442c0cb0706175"],"state_sha256":"e75a0fd41e40caa2b15b9cb8c0ba28630d62b0ef73caf2b5c90ff4a4d6f5286c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z4BmJcKtMJR39J//KRo2jnDFAs+OCqjjpvLwTgr/wtUxbS1KsmmHdod2ncQ4M3IgiXMncPbQ44XD0jR9+6aLBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T19:54:08.342959Z","bundle_sha256":"96efc8601f347445681a45c9c60042766e50079ca3e3b41fb5915b772e9ea6ff"}}