Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T13:45:11.721779Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+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-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.