{"as_of":"2026-08-08T09:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e6690d15ee8eef639baffe447e3fe7147ca6c9b53fb4b3db77c63965e7b77a41","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:45:11.721779Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.21130/citation-record","integrity":"/paper/2505.21130/integrity","json":"/paper/2505.21130/citation-record.json","paper":"/paper/2505.21130"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:19.040004Z","title":"Program analysis and specialization for the c programming language","venue":null,"work_id":"05a74a8b-c2ca-4417-a659-a2283d4c36b8","year":1994},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.183188Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:103f75e8c1fe3c5bd5f9a58976d45876c8817ba2a8dfea525725252610f12cb2","observation_id":"fb31354f-b5ed-498a-9dcb-912f729ee629","resolution":{"observed_at":"2026-08-07T13:45:19.099710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.945608Z","title":"Directed greybox fuzzing with afl","venue":null,"work_id":"d05aa461-1613-4d27-b567-bb753a8a2b0c","year":2021},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.214841Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:07a49b3f9046acf8266312322af0aa2ea767c31f9089d3e66b90543b9c2e4e89","observation_id":"31ae5582-b4cb-45ac-952d-855732be94c2","resolution":{"observed_at":"2026-08-07T13:45:19.003146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.844915Z","title":"Directed greybox fuzzing","venue":null,"work_id":"6c5bfd77-6ae3-4f69-9004-414ee16f032b","year":2017},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.397105Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:2ac2ee3c255d927ae5153a4c025c23a37356d787c93edb04db73fa46bf4780b1","observation_id":"22085de6-408b-4798-9dcf-65d06d937edd","resolution":{"observed_at":"2026-08-07T13:45:18.885509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:08.489736Z","title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.489736Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:78f4fc3b07ec3ec106a1d91f5457747ab54e7e072a8ae82cd447a3e9e4ee4787","observation_id":"55856033-369a-4f13-82d8-710d5f54eb6a","resolution":{"observed_at":"2026-08-07T13:45:08.489736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.711333Z","title":"Hawkeye: Towards a desired directed grey-box fuzzer","venue":null,"work_id":"fe90d66d-cb5b-458f-a881-d7e8ac7e0b88","year":2018},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.581117Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:f3f836546e3c791b84cb11fd85a8e48cf38acc0222460c927d95bc4b8d404ec9","observation_id":"04f1209d-2bbf-4d2e-a0df-5d1a64adb65e","resolution":{"observed_at":"2026-08-07T13:45:18.783306Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.583909Z","title":"Savior: Towards bug-driven hybrid testing","venue":null,"work_id":"bd88d75d-a5d9-47da-a58a-4ba41ee69571","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.722225Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:777ff7336b5541ebf36b5b868856ed24f5647eae3ff8cdade188fe1d5ebe0105","observation_id":"ae1cbdff-6f88-49ab-a239-f1ea9cbdcc44","resolution":{"observed_at":"2026-08-07T13:45:18.648323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.469502Z","title":"The repository of our evaluation artifacts","venue":null,"work_id":"2a533da9-6a32-4791-a0d4-6bb2e5bf4adc","year":2023},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.825751Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:68ca61d9a08bb01c5b7c88a8d202b61b593dcd6f5baa4da46fc1330c705342c2","observation_id":"d6153b91-06c2-4b3e-bf15-4d587c579b25","resolution":{"observed_at":"2026-08-07T13:45:18.517827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.366252Z","title":"Symfusion: hybrid instrumen- tation for concolic execution","venue":null,"work_id":"6dea6e37-390e-4a74-b117-9f7a6e560432","year":2022},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.921969Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:d72647a8ec5fcd3436466d6971879d80a2bac7379f833b11d7a73461a1a347af","observation_id":"4bef44ca-ec9e-45b3-a51d-147fa617dfe3","resolution":{"observed_at":"2026-08-07T13:45:18.427853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.260615Z","title":"Use containers to build, share and run your applications","venue":null,"work_id":"dab0b16b-86e9-4e0d-aeee-dda93f5eb7c8","year":2021},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:08.988121Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:2f23d5f4c9bd01b58f1ef1ce4b2b8518f63561431882ef4d221012154d1e87d7","observation_id":"48051a74-d710-4894-8c06-3fd831ad8396","resolution":{"observed_at":"2026-08-07T13:45:18.324317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.139571Z","title":"Windranger: a directed greybox fuzzer driven by deviation basic blocks","venue":null,"work_id":"4e84120d-ee5d-41b5-9f0d-5a13138d87f0","year":2022},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.067874Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:35b163e5b7a721034a59aa5aab4edd1f126ccb79992623321ae14c1cb99c21bd","observation_id":"fe53b929-88d2-4bd6-a284-939957e1249c","resolution":{"observed_at":"2026-08-07T13:45:18.189712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:18.026821Z","title":"Dart: Directed automated ran- dom testing","venue":null,"work_id":"70b891fb-43a5-4e3f-8876-da9081a760f0","year":2005},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.215626Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:8debe45a6e36b6a08fee8ddaab03379a84efd7e975df0276318017c984dc7f62","observation_id":"df7bede8-72af-4ca1-950d-32924b55d233","resolution":{"observed_at":"2026-08-07T13:45:18.078969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:17.809374Z","title":"Beacon: Directed grey-box fuzzing with provable path pruning","venue":null,"work_id":"2ee7727b-24cf-464a-a864-4a2483a6d760","year":2022},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.302488Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:34bace10d46553c2d02f6a4a1274af191a62de8bbc0c86d149f1c94f25701fec","observation_id":"1e22e139-6978-4516-8fee-5daeb93c3a46","resolution":{"observed_at":"2026-08-07T13:45:17.953988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:17.586127Z","title":"Tiff: Using input type inference to improve fuzzing","venue":null,"work_id":"73bc9cb7-094a-4632-b11d-c4cb1d4c1c5a","year":2018},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.411653Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:83506f7160678dafd1571a1bfed966a2fbf4bd7fbfdcfe67afbbcd5bd896c1f4","observation_id":"bb72f2f2-0175-484f-a0d6-e13e261feb0a","resolution":{"observed_at":"2026-08-07T13:45:17.698713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:17.483712Z","title":"Bugredux: Reproducing field failures for in-house debugging","venue":null,"work_id":"99dcbe5b-d66e-41fd-be2b-39bd508e1a35","year":2012},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.472441Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:cafe76c57eadeed34ebadb537320960ff64d005060425bf172a59493d56218d9","observation_id":"a088f1aa-bd6a-4277-94e2-17178e7fa11d","resolution":{"observed_at":"2026-08-07T13:45:17.545431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:16.548597Z","title":"Directing a search towards execution properties with a learned fitness function","venue":null,"work_id":"eb7f3514-b51d-4752-8bee-8d2fe8350876","year":2019},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.602815Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:ac3e43be069e164b39c547f971317db4e8145969d69c00953194b0a9368a8518","observation_id":"677daa37-7f20-4b9b-930a-b3c0c4b49523","resolution":{"observed_at":"2026-08-07T13:45:17.033948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:16.025220Z","title":"Poster: Directed hybrid fuzzing on binary code","venue":null,"work_id":"e4c1e2c9-ea93-4a95-9a49-4423aec81955","year":2019},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.701507Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:e27bfc2f4a709a63b36facbac5537bd6cf83ea05985c6a5f910a80902837735b","observation_id":"519a85a1-644a-47b4-9d24-d249f229cd11","resolution":{"observed_at":"2026-08-07T13:45:16.200846Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:15.793911Z","title":"In 30th USENIX Security Symposium (USENIX Security 21) , pages 2777–2794, 2021","venue":null,"work_id":"dffe0d58-2209-42c7-97d8-d3cb8509d449","year":2021},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.809832Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:f962d1df974f8b782b1416b74363d5da73e2ab7f3f1f9fd6dec945ad59100f58","observation_id":"b60f57b5-5f40-4b49-88c9-1325434d8ad5","resolution":{"observed_at":"2026-08-07T13:45:15.929993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:15.591982Z","title":"V-fuzz: Vulnerability prediction-assisted evolutionary fuzzing for binary programs","venue":null,"work_id":"ce372f90-c0f1-497e-b2a7-bbb91b2f0809","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.886917Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:4a03f9c0cbfab94f7cdcebe1f44435cf042f0301d7b379dd70dce360bb4ae438","observation_id":"b85b8502-ffab-4777-b757-14a2bbe7549a","resolution":{"observed_at":"2026-08-07T13:45:15.670439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:15.361329Z","title":"Sequence directed hybrid fuzzing","venue":null,"work_id":"92f24d41-c4e3-415c-a2b0-3e6ac2ccf054","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:09.975212Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:3dc950e292982c1df82a6c7072124184c001a20a0eb84f865f31b942a4ba683a","observation_id":"51434275-1f88-4955-bd30-fec16f4fc958","resolution":{"observed_at":"2026-08-07T13:45:15.457189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:15.141142Z","title":"Sequence cov- erage directed greybox fuzzing","venue":null,"work_id":"dde53d2f-23d5-443d-8cfd-0cea0a5b0cd0","year":2019},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.041856Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:648526a367010b9dbd3af71470b6e36b263c8783c7539821dc18747bad4953b7","observation_id":"463acd93-60bf-47d1-8422-1aba63e49100","resolution":{"observed_at":"2026-08-07T13:45:15.227712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:14.931528Z","title":"Selectfuzz: Efficient directed fuzzing with selective path exploration","venue":null,"work_id":"9e2793e7-d46d-4a25-86be-05ca10a122c9","year":2023},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.142205Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:7047df5f32444f498a345115ca28957d2299fdffebf5484e77b5bbf280bd6f0f","observation_id":"efa36c37-27ac-4a4e-af2e-2711a67182f6","resolution":{"observed_at":"2026-08-07T13:45:15.072378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:14.705212Z","title":"Katch: High-coverage testing of software patches","venue":null,"work_id":"cca8ae7e-7d1b-4877-a282-66d6be20d8c0","year":2013},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.214632Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:f1110762721b3df9ab8f414a777c3f5919ff33d0821f8529e087d82ad468d23d","observation_id":"b8829ea6-2acd-4886-9a0a-6e5a31cad3c1","resolution":{"observed_at":"2026-08-07T13:45:14.847229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:14.504387Z","title":"Binary-level directed fuzzing for{Use-After-Free} vulnera- bilities","venue":null,"work_id":"6fc2d865-92a7-4d06-b8a2-e780dad570eb","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.284653Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:acee29226196f1adbfd469fca95be70da6bd9ec739e3faf3b9a2d5bd2b3590c8","observation_id":"788448e4-00e6-4be0-b6f5-1210313da461","resolution":{"observed_at":"2026-08-07T13:45:14.587955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:14.323625Z","title":"Badger: complexity analysis with fuzzing and symbolic execution","venue":null,"work_id":"6e220b76-5f0e-4a34-a73e-dfbf33765324","year":2018},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.383048Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:34cd4692e76c9b53782dd1efe2d7317dd35d934b83e360a90bc81cab57137e4d","observation_id":"10029722-3f7d-45aa-88c8-7dc51131308c","resolution":{"observed_at":"2026-08-07T13:45:14.428315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:14.124019Z","title":"Hydiff: Hybrid differential software analysis","venue":null,"work_id":"304148e5-cddd-4196-97d2-9e3567c7eee0","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.504237Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:80c1a4fbff7836a02f3d5bb6480a8cca39fa32d37dbff87e0f2dc7a6152e8124","observation_id":"9a195fd3-8eb2-47bb-b15b-a59d3ed6b2a0","resolution":{"observed_at":"2026-08-07T13:45:14.204008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:13.880849Z","title":"Slowfuzz: Automated domain-independent detection of algorithmic complexity vulner- abilities","venue":null,"work_id":"c44b487d-1127-4bf4-a2aa-fb9011c588f6","year":2017},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.611269Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:234768ffc43910858ff2b8f97636c6f8742ef4ff4aea3676f0819f0881d7ef2f","observation_id":"25966419-820a-458e-8c90-a2e901ad683d","resolution":{"observed_at":"2026-08-07T13:45:13.971382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:13.716948Z","title":"Energy distribution matters in greybox fuzzing","venue":null,"work_id":"ed1a06e5-7aa5-4b43-81ef-4ff128af9c66","year":2019},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.697973Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:f5ddf1206423343d90bd1f3c62d6bf6b4d9aee5891758442c20d55735320e072","observation_id":"124346f6-337c-4862-89f1-8ac321971f85","resolution":{"observed_at":"2026-08-07T13:45:13.807439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:13.537724Z","title":"Svf: interprocedural static value-flow analysis in llvm","venue":null,"work_id":"c76bc083-52ff-4f04-bfb0-6136e6191645","year":2016},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.829111Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:f81615bbf91c19c4fce29ac0b24a1ca470b1826748aac5932aaf6f518182873e","observation_id":"e4e0eafa-2ccb-4a52-97c7-9fd564feac61","resolution":{"observed_at":"2026-08-07T13:45:13.637170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:13.275303Z","title":"Typestate-guided fuzzer for discovering use- after-free vulnerabilities","venue":null,"work_id":"a7c4b5d6-ac6b-48ad-85f3-ed8fa1f9b274","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:10.979981Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:9c0d8122a8f916fea28d7541db9d3721f1caa77e9e08d214d4cd007202dd760b","observation_id":"4be7c91e-93cb-4949-98d8-ca3b48ea9f8a","resolution":{"observed_at":"2026-08-07T13:45:13.403566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14375","last_updated":"2020-05-03T18:59:00Z","snapshot_observed_at":"2026-08-07T18:37:55.549192Z","submitted_at":"2020-04-29T17:55:29Z","title":"TOFU: Target-Oriented FUzzer","version":2},"cited_work":{"arxiv_id":"2004.14375","doi":null,"metadata_source":"pith","pith_arxiv_id":"2004.14375","snapshot_observed_at":"2026-08-07T13:45:11.833105Z","title":"TOFU: Target-Oriented FUzzer","venue":"cs.SE","work_id":"5a05f2c3-a281-465b-ab0c-d2c244093237","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.100555Z"},"links":{"cited_paper":"/paper/2004.14375","citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:26766b2a614e22a0fd4db1ae475f65eb19a078dc622a3952e6e5b287493e7b5a","observation_id":"0a3b359b-b60e-4ec5-91c0-13cdc79ce8b4","resolution":{"observed_at":"2026-08-07T13:45:11.956620Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:13.083572Z","title":"Memlock: Memory usage guided fuzzing","venue":null,"work_id":"40c41cb2-dce5-4023-9efd-fe2a6d6376db","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.197435Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:ebfa5799ffe3d2c1aa4866e8e09feea05d4e82deb03ff9529a0be22bffd15676","observation_id":"3c5a2422-faaf-4f2e-99c8-f2e11eb75c23","resolution":{"observed_at":"2026-08-07T13:45:13.159955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:12.944141Z","title":"Rdfuzz: Accelerating directed fuzzing with intertwined schedule and optimized mutation","venue":null,"work_id":"0394944a-473f-4778-9630-f8ae32d08755","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.297191Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:a798ce0c9d0121f6e96063a513bd86bbcfd61a7ae82527635638be60760fa249","observation_id":"82f1e334-b511-4cc1-9b68-f206b4d38f7d","resolution":{"observed_at":"2026-08-07T13:45:13.011104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:12.695824Z","title":"Semfuzz: Semantics-based automatic generation of proof-of-concept exploits","venue":null,"work_id":"784bd317-9fc8-4eae-9ba7-a4d04980dd1b","year":2017},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.419732Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:80f10fd8a047663f1ae3a503c4c87bcee32f92d98de90f3c5ad38e5a507bbba3","observation_id":"86c2e897-01cc-49fd-923c-fdc556d24b67","resolution":{"observed_at":"2026-08-07T13:45:12.791067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:12.497730Z","title":"Suzzer: A vulnerability- guided fuzzer based on deep learning","venue":null,"work_id":"b868d511-f606-43ee-b383-b57210880692","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.523181Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:83e58de35a659e4e4533fb2cfac529a2c172d724614d6c0876d735d177fa1317","observation_id":"cbdc15a3-9ffb-4d0d-895e-abe57e29c840","resolution":{"observed_at":"2026-08-07T13:45:12.592483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:12.258663Z","title":"Regression greybox fuzzing","venue":null,"work_id":"3def251c-7883-421b-b74b-bf21a8db7b6c","year":2021},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.664458Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:b84dded8504153f4557b56afe7e11658894c00b45dac5a6417842923de45102d","observation_id":"1a94c360-7560-4832-ab86-f27544f1f81b","resolution":{"observed_at":"2026-08-07T13:45:12.390753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:12.070458Z","title":"In 29th USENIX security symposium (USENIX security 20) , pages 2255–2269, 2020","venue":null,"work_id":"40740e36-7f20-489b-b2d3-b7e8012b209f","year":2020},"citing_paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:11.721779Z"},"links":{"citing_paper":"/paper/2505.21130"},"observation_digest":"sha256:63f2f5e7945dcf5111bdd237416004a0f0bf7a9e54807b1311627d65ef744763","observation_id":"36972936-14cc-4394-abec-ee816c53277f","resolution":{"observed_at":"2026-08-07T13:45:12.168572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.21130","last_updated":"2025-05-27T12:46:11Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-07T13:32:27.447828Z","submitted_at":"2025-05-27T12:46:11Z","title":"ColorGo: Directed Concolic Execution"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":34},"total_outbound_references":36},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2505.21130."}