Paper Citation Record · LEDGER

ColorGo: Directed Concolic Execution

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.21130 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:45:11.721779Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact1
verified fuzzy34
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fb31354f-b5ed-498a-9dcb-912f729ee629 · outbound

This paper cites Program analysis and specialization for the c programming language.

ColorGo: Directed Concolic Execution Program analysis and specialization for the c programming language

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:19.099710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 31ae5582-b4cb-45ac-952d-855732be94c2 · outbound

This paper cites Directed greybox fuzzing with afl.

ColorGo: Directed Concolic Execution Directed greybox fuzzing with afl

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:19.003146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 22085de6-408b-4798-9dcf-65d06d937edd · outbound

This paper cites Directed greybox fuzzing.

ColorGo: Directed Concolic Execution Directed greybox fuzzing

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.885509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 55856033-369a-4f13-82d8-710d5f54eb6a · outbound

This paper cites Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs.

ColorGo: Directed Concolic Execution Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:08.489736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04f1209d-2bbf-4d2e-a0df-5d1a64adb65e · outbound

This paper cites Hawkeye: Towards a desired directed grey-box fuzzer.

ColorGo: Directed Concolic Execution Hawkeye: Towards a desired directed grey-box fuzzer

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.783306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ae1cbdff-6f88-49ab-a239-f1ea9cbdcc44 · outbound

This paper cites Savior: Towards bug-driven hybrid testing.

ColorGo: Directed Concolic Execution Savior: Towards bug-driven hybrid testing

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.648323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d6153b91-06c2-4b3e-bf15-4d587c579b25 · outbound

This paper cites The repository of our evaluation artifacts.

ColorGo: Directed Concolic Execution The repository of our evaluation artifacts

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.517827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4bef44ca-ec9e-45b3-a51d-147fa617dfe3 · outbound

This paper cites Symfusion: hybrid instrumen- tation for concolic execution.

ColorGo: Directed Concolic Execution Symfusion: hybrid instrumen- tation for concolic execution

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.427853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 48051a74-d710-4894-8c06-3fd831ad8396 · outbound

This paper cites Use containers to build, share and run your applications.

ColorGo: Directed Concolic Execution Use containers to build, share and run your applications

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.324317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fe53b929-88d2-4bd6-a284-939957e1249c · outbound

This paper cites Windranger: a directed greybox fuzzer driven by deviation basic blocks.

ColorGo: Directed Concolic Execution Windranger: a directed greybox fuzzer driven by deviation basic blocks

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.189712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation df7bede8-72af-4ca1-950d-32924b55d233 · outbound

This paper cites Dart: Directed automated ran- dom testing.

ColorGo: Directed Concolic Execution Dart: Directed automated ran- dom testing

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:18.078969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1e22e139-6978-4516-8fee-5daeb93c3a46 · outbound

This paper cites Beacon: Directed grey-box fuzzing with provable path pruning.

ColorGo: Directed Concolic Execution Beacon: Directed grey-box fuzzing with provable path pruning

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:17.953988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bb72f2f2-0175-484f-a0d6-e13e261feb0a · outbound

This paper cites Tiff: Using input type inference to improve fuzzing.

ColorGo: Directed Concolic Execution Tiff: Using input type inference to improve fuzzing

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:17.698713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a088f1aa-bd6a-4277-94e2-17178e7fa11d · outbound

This paper cites Bugredux: Reproducing field failures for in-house debugging.

ColorGo: Directed Concolic Execution Bugredux: Reproducing field failures for in-house debugging

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:17.545431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 677daa37-7f20-4b9b-930a-b3c0c4b49523 · outbound

This paper cites Directing a search towards execution properties with a learned fitness function.

ColorGo: Directed Concolic Execution Directing a search towards execution properties with a learned fitness function

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:17.033948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 519a85a1-644a-47b4-9d24-d249f229cd11 · outbound

This paper cites Poster: Directed hybrid fuzzing on binary code.

ColorGo: Directed Concolic Execution Poster: Directed hybrid fuzzing on binary code

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:16.200846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b60f57b5-5f40-4b49-88c9-1325434d8ad5 · outbound

This paper cites In 30th USENIX Security Symposium (USENIX Security 21) , pages 2777–2794, 2021.

ColorGo: Directed Concolic Execution In 30th USENIX Security Symposium (USENIX Security 21) , pages 2777–2794, 2021

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:15.929993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b85b8502-ffab-4777-b757-14a2bbe7549a · outbound

This paper cites V-fuzz: Vulnerability prediction-assisted evolutionary fuzzing for binary programs.

ColorGo: Directed Concolic Execution V-fuzz: Vulnerability prediction-assisted evolutionary fuzzing for binary programs

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:15.670439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 51434275-1f88-4955-bd30-fec16f4fc958 · outbound

This paper cites Sequence directed hybrid fuzzing.

ColorGo: Directed Concolic Execution Sequence directed hybrid fuzzing

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:15.457189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 463acd93-60bf-47d1-8422-1aba63e49100 · outbound

This paper cites Sequence cov- erage directed greybox fuzzing.

ColorGo: Directed Concolic Execution Sequence cov- erage directed greybox fuzzing

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:15.227712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation efa36c37-27ac-4a4e-af2e-2711a67182f6 · outbound

This paper cites Selectfuzz: Efficient directed fuzzing with selective path exploration.

ColorGo: Directed Concolic Execution Selectfuzz: Efficient directed fuzzing with selective path exploration

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:15.072378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b8829ea6-2acd-4886-9a0a-6e5a31cad3c1 · outbound

This paper cites Katch: High-coverage testing of software patches.

ColorGo: Directed Concolic Execution Katch: High-coverage testing of software patches

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:14.847229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 788448e4-00e6-4be0-b6f5-1210313da461 · outbound

This paper cites Binary-level directed fuzzing for{Use-After-Free} vulnera- bilities.

ColorGo: Directed Concolic Execution Binary-level directed fuzzing for{Use-After-Free} vulnera- bilities

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:14.587955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 10029722-3f7d-45aa-88c8-7dc51131308c · outbound

This paper cites Badger: complexity analysis with fuzzing and symbolic execution.

ColorGo: Directed Concolic Execution Badger: complexity analysis with fuzzing and symbolic execution

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:14.428315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9a195fd3-8eb2-47bb-b15b-a59d3ed6b2a0 · outbound

This paper cites Hydiff: Hybrid differential software analysis.

ColorGo: Directed Concolic Execution Hydiff: Hybrid differential software analysis

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:14.204008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 25966419-820a-458e-8c90-a2e901ad683d · outbound

This paper cites Slowfuzz: Automated domain-independent detection of algorithmic complexity vulner- abilities.

ColorGo: Directed Concolic Execution Slowfuzz: Automated domain-independent detection of algorithmic complexity vulner- abilities

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.971382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 124346f6-337c-4862-89f1-8ac321971f85 · outbound

This paper cites Energy distribution matters in greybox fuzzing.

ColorGo: Directed Concolic Execution Energy distribution matters in greybox fuzzing

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.807439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e4e0eafa-2ccb-4a52-97c7-9fd564feac61 · outbound

This paper cites Svf: interprocedural static value-flow analysis in llvm.

ColorGo: Directed Concolic Execution Svf: interprocedural static value-flow analysis in llvm

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.637170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4be7c91e-93cb-4949-98d8-ca3b48ea9f8a · outbound

This paper cites Typestate-guided fuzzer for discovering use- after-free vulnerabilities.

ColorGo: Directed Concolic Execution Typestate-guided fuzzer for discovering use- after-free vulnerabilities

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.403566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0a3b359b-b60e-4ec5-91c0-13cdc79ce8b4 · outbound

This paper cites TOFU: Target-Oriented FUzzer.

ColorGo: Directed Concolic Execution TOFU: Target-Oriented FUzzer

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:45:11.956620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3c5a2422-faaf-4f2e-99c8-f2e11eb75c23 · outbound

This paper cites Memlock: Memory usage guided fuzzing.

ColorGo: Directed Concolic Execution Memlock: Memory usage guided fuzzing

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.159955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 82f1e334-b511-4cc1-9b68-f206b4d38f7d · outbound

This paper cites Rdfuzz: Accelerating directed fuzzing with intertwined schedule and optimized mutation.

ColorGo: Directed Concolic Execution Rdfuzz: Accelerating directed fuzzing with intertwined schedule and optimized mutation

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:13.011104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 86c2e897-01cc-49fd-923c-fdc556d24b67 · outbound

This paper cites Semfuzz: Semantics-based automatic generation of proof-of-concept exploits.

ColorGo: Directed Concolic Execution Semfuzz: Semantics-based automatic generation of proof-of-concept exploits

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:12.791067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cbdc15a3-9ffb-4d0d-895e-abe57e29c840 · outbound

This paper cites Suzzer: A vulnerability- guided fuzzer based on deep learning.

ColorGo: Directed Concolic Execution Suzzer: A vulnerability- guided fuzzer based on deep learning

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:12.592483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1a94c360-7560-4832-ab86-f27544f1f81b · outbound

This paper cites Regression greybox fuzzing.

ColorGo: Directed Concolic Execution Regression greybox fuzzing

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:12.390753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 36972936-14cc-4394-abec-ee816c53277f · outbound

This paper cites In 29th USENIX security symposium (USENIX security 20) , pages 2255–2269, 2020.

ColorGo: Directed Concolic Execution In 29th USENIX security symposium (USENIX security 20) , pages 2255–2269, 2020

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:12.168572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.