SymCC-Parallel 架构问答（QA3）——文档 + 图集 + 证据 + 复现脚本
快照时间(UTC): 2026-07-30T06:03:34Z
源仓库: /home/ubuntu/code/symcc
Git 版本: 146e01b2d6f8e02fd2526764d46ea0d80a4bb6f6（工作树含未提交改动）
快照基准: 当前工作树（含未提交改动）

内容计数:
  示意图 SVG   = 25
  示意图 PNG   = 25
  图源 DOT     = 13
  证据截图     = 7
  复现脚本     = 10

注：包内为扁平目录，文档中的图片路径已由 diagrams/qa3/ 改写为 diagrams/。

逐文件 SHA256:
  0e2af0a9df294d917e5fdc5d44726ec155a6781ba733cf27c05bdbc7371288ef  Architecture_QA3.html
  3e5adfd7aebadd28a2259f08d35558cd3c2d86275c9df7e534decb71fe37dbd1  Architecture_QA3.md
  eeacc206335da043639b3f1159c41dadc8eb7eed8051ea4a172ee3e89bbbb4f6  diagrams/README.md
  36c9131e9dba02858bc7784da123b83ae4c2766eb3b6a9957440033a537162e0  diagrams/fig-1-0-execution-modes.png
  28a097e5900dff01b711aabb61813f8f2d9c6117a7a6e6cf32004280c50abdbf  diagrams/fig-1-0-execution-modes.svg
  5303f6711c2c501036d6e72e7a6ef7ac0ad11e87c216e88929ca1a7f6f43cb74  diagrams/fig-1-1-process-topology.png
  7b2d6ac484cb8b4485f6ddbfa92b686ee03b2b1bb57f2f616fa4704c8e23bd50  diagrams/fig-1-1-process-topology.svg
  601956cef94fbc51c50760ef942a861af13087707ecbdff211d3a5fb11c25dcb  diagrams/fig-1-2-bitmap-spaces.png
  6b57aaa55eba7aace9681c062877a309bceebf0f8d652d8b30ae518ccce75219  diagrams/fig-1-2-bitmap-spaces.svg
  38b1e0f538f3bcdee13790776c54879b71361495199481c5c4f79309e7a358d2  diagrams/fig-1-3-worker-sequence.png
  491e2a9daaaa2c63f351a0c4a6bc2b327d8137d0f707ad1a078959bc9e673b0c  diagrams/fig-1-3-worker-sequence.svg
  20e24bff96149fd5bedcd781a061bfc6aadceea0985cfb0c45d380fa21816a55  diagrams/fig-1-4-filter-funnel.png
  2ea868ee63b884e3e2d7fa9410e05b95300435439ed58a51b6e7e25e16afd2df  diagrams/fig-1-4-filter-funnel.svg
  88cc47a0966857561ee320699995dafedeba74115f8693f7103b0b22ba6c1cc3  diagrams/fig-1-5-phase-time.png
  25fecf20618da886c363feb9b30c99806610ec0ace31223631b93cdaa47a432a  diagrams/fig-1-5-phase-time.svg
  54881a708d0930a39db7f280c69bbfef3f80b523c91e936c58677d62e4abca6e  diagrams/fig-1-6-afl-delivery.png
  564ebd2224efc5415c092929a965b56a4cd35042e793fa4e360e4bb46fe55a90  diagrams/fig-1-6-afl-delivery.svg
  a5ff5bdfef20c6593f217b0f692d967149c5a9dd5716500107afc890aac9dfa8  diagrams/fig-2-1-constraint-shapes.png
  8ef63d84981d5be1a27cafe2ab94038ecf28352840b5511738c4be7e3f9e0553  diagrams/fig-2-1-constraint-shapes.svg
  f4aa58bdf60203a7c0b6a820214dd9c21f30b133d1a6e02eec76ffc06f0f4797  diagrams/fig-2-2-concat-expression.png
  27dbfb67fa4753ddc787b4b0a18b0d7d4b76e148897cddf30c9aaa7487469208  diagrams/fig-2-2-concat-expression.svg
  f4dac15bbc306624e14bd99dc1c6ef83a73b500f502a673e1cd81d8f1b3a49c3  diagrams/fig-2-3-binary-variants.png
  7690c16a440709259fb86d433e1c022aeef3c11d0da2ed82f6c735af5477206a  diagrams/fig-2-3-binary-variants.svg
  7ebea360e38792972b018db1172e30f9bc297cd8e39025e86b909bf9371635a6  diagrams/fig-2-4-build-test-pipelines.png
  91319d45bfc2346c11318acf9993b6f35ff13fa23881557a0b0edf7677781d17  diagrams/fig-2-4-build-test-pipelines.svg
  779d7d7654cb5b0332944acc8e68778151bbc206294081e939b23f468070cb1f  diagrams/fig-3-1-solve-decision.png
  e391d52c6905973665663dfdb98f5fb90b35f775f59a5262ddf16720ffbdf194  diagrams/fig-3-1-solve-decision.svg
  8d5d8a419096ce4abd45bf1073648cde1149bea9597bd0c2272bc7bca0b55f19  diagrams/fig-3-2-prefix-dropping.png
  c65f1d3eb19a2e18183b26976326aaf093eb62187b059e55f203409c48b3ddfc  diagrams/fig-3-2-prefix-dropping.svg
  17323e85c636926017c00ff552f0801607214e369daeb9cab01a936ac5e634c4  diagrams/fig-3-3-strategy-mix.png
  114e0860569098fc23dadfedf9ba5f2aa904d24b138b1724135c335d8af146da  diagrams/fig-3-3-strategy-mix.svg
  5ce5d3e5820c4f3c96de777729483d488f9a54beaa846cbcaf4afa77684878ca  diagrams/fig-3-4-optimistic-format.png
  1e5fbdc523a56d4c39e55a95f39ef6d1e944ba5ce983b1dba01873baa3a7a37c  diagrams/fig-3-4-optimistic-format.svg
  1e142f1c7c0db4890cc4336c3ba4e40074a28315f9e018927d083c99108f7c22  diagrams/fig-3-5-nested-frontier.png
  f366b588147b2e13001f0199082edc8d89ebdd861124d279953631797e052d1f  diagrams/fig-3-5-nested-frontier.svg
  da3842030e3c2d471de8a16050b7141ca5d99ac3d90124df812e91f554ccda9b  diagrams/fig-4-1-path-neighborhood.png
  ee2eaa75952d213181131a43196c4d952f18c2ea7e4b9f64689c7ec8ad123902  diagrams/fig-4-1-path-neighborhood.svg
  bf1e7379b59da986f8d207d02db3b0eedf0f2965474eab089cc1035e09ecc144  diagrams/fig-4-2-seed-length.png
  808e49f0b3d13f0bb7b6511b86d2005d042ac00581e49a2f296244afac061732  diagrams/fig-4-2-seed-length.svg
  95e0fbfb4f16b3a02b2bef7ac0c2e07171dfe8b308ee13380d57f8f2bc579a6f  diagrams/fig-4-3-focus-bytes.png
  5ce1f932a6dd2d3401708af0475e3b4aa3223d856c5b7583597e80804fc276cb  diagrams/fig-4-3-focus-bytes.svg
  809f5f9e40236b65a4ec949d4b360598a58f635de244d6e32e5911c385a0f55c  diagrams/fig-5-0a-icse23-edge-coverage.png
  c68abe3963539c863a8139af973f7b6ff5c5b87743b70ef6090b80aa98dda9a4  diagrams/fig-5-0a-icse23-edge-coverage.svg
  0ce6e5947feada4212e5b5a9f30c2cc0d6246a8d0b59dfedbc3b85b4b844dbc6  diagrams/fig-5-0b-icse23-unique-crashes.png
  9fb406e5db5ad84fb012dcc223d0a6b07ab759166caab4d6348649818d15923d  diagrams/fig-5-0b-icse23-unique-crashes.svg
  cbfec3e0aeee7ac36c4adf750f5f4abdd63d86f7d2f7d7e9dcc2262b649bd9a8  diagrams/fig-5-1-cpu-allocation.png
  aa1c81a1674969b3fb78c19bfb40e32fb19b0bbb3e7e9859850fe6f8b9802f56  diagrams/fig-5-1-cpu-allocation.svg
  e68f0070e0d99e9969a64b03468dda2a1e02389339afaf870c22f93aa23e50cf  diagrams/fig-6-1-lava-endpoints.png
  1043edce38ddc5f60a5f9eede12bc58b4a3b24fa368d6433d6d1a85e51fd7edc  diagrams/fig-6-1-lava-endpoints.svg
  ccfa625e43b1cd1657e7d635d54c95a7106227edf88f85b34d84712233375c58  diagrams/fig-6-2-persistent-mode.png
  4ca931fccfdbc13267c0e859c760c7e0bfd555dd235274b2181a99c3eedb2a2a  diagrams/fig-6-2-persistent-mode.svg
  f6080065fe01be36a67f9ee2624a45b489fbfb6eaf46eb6eefea420594b53b98  diagrams/fig-6-3-scaling-vs-coverage.png
  96a77224acc456724b03304c4834514efd3113fb1d3aa6c25ac1d3b82f551163  diagrams/fig-6-3-scaling-vs-coverage.svg
  4ef48e3decb5c1136dd53f76fcb5a7a4ad208cd1387ea139f20a5d269690c62c  diagrams/render_qa3_diagrams.py
  08aed80ad6b3be06e637e01ca195c9d5f6540db79153e09f7ddef4586c719d14  diagrams/report.css
  bac9e9341890f54bd0244df51aff4dc77090f221c631583e7fc938b4e42d8ef8  diagrams/src/fig-1-0-execution-modes.dot
  068be8b0a42346a5ac379207acfa79553e6f08ccfc51f961f1f84e7dba73afe2  diagrams/src/fig-1-1-process-topology.dot
  1657a024b4509f0d53173228aff7d8980abf9174a3b7eae8f5d432887ca11642  diagrams/src/fig-1-2-bitmap-spaces.dot
  3631fee92edd4ee7f913eeb76c5e583fa7107b67e2e3de20d03489619deb0892  diagrams/src/fig-1-3-worker-sequence.dot
  3c4b5ae5b1429978e2b017a45ea9104587fb70290cdfc70c6473171207386ba4  diagrams/src/fig-1-6-afl-delivery.dot
  ff2ce6b198e882f7a44a26324ef9097ddf903ac44ee495e44cc4e701138c16c7  diagrams/src/fig-2-1-constraint-shapes.dot
  2b935a3ed79b5552484bbe63c1eb86ff0dd627185fb0d61c16faa9eca5e69258  diagrams/src/fig-2-2-concat-expression.dot
  3fe43d441dbbad0b0c04413a776a2464cd70f86014595b3d51114bd16c7273df  diagrams/src/fig-2-3-binary-variants.dot
  3b2b1b4382f18190ad475984f7e5dbe1aac0b9beb66d5e2f6112ad7d090a0c26  diagrams/src/fig-2-4-build-test-pipelines.dot
  9775c93b50334630626ce3be306aef5c28e1117be2a5af02f01b0b28872284f1  diagrams/src/fig-3-1-solve-decision.dot
  79aeaaa92cac65082d034465a5f96f1f1e8ab301b5eb1002a8d60520fcbcc2f6  diagrams/src/fig-3-2-prefix-dropping.dot
  b90c9f2b81062736b9b02ed87d4718ffdfd5b31d72ab5448cf801e4fdea10519  diagrams/src/fig-4-1-path-neighborhood.dot
  cf429df56e0ee1998df0fd97b6414e5d8fdcec73e97fdd6e526c47c7100c5a6d  diagrams/src/fig-4-2-seed-length.dot
  452e4ab593d19f9193039a1a8421da426274b4703be0ddf050cee7e8abc36d58  diagrams/update_qa3_figure_links.py
  7f46241b6437ebb05ff706ee40cb4b2d2ed7c18d695c4fbbd63f6bc7a2711719  evidence/README.html
  01bbb6bfb617caf8e7bd18be92c9e36a0f88e02703dad118814ed08aeae007b9  evidence/README.md
  4f0bac679851f6f09625f7485850416932f3e3601c7652e5bd0b34077ae0cefb  evidence/current-eval-2026-07-30/README.md
  c4df7caf8442da543d729f68e4ce61348627307f33b63e399396b953aa02a85e  evidence/current-eval-2026-07-30/descriptive_300s_current.csv
  7004284ae85e900a9c203a1751e0d278f47caba55c62c76ed30deea9f4e4c5b5  evidence/current-eval-2026-07-30/descriptive_300s_current.txt
  ded312c8efcb86dcd48f38d6418850145e289a8143b9b1e838695355a3701c48  evidence/current-eval-2026-07-30/descriptive_statistics.csv
  16af6f1e99a66b364cf7c404b7c01566f01c8fd9668b4e9bbdc3c3ce5c56cdb3  evidence/current-eval-2026-07-30/edge_coverage_distributions.png
  ddd472acdc70384ef28ec1a19dda0b27def727d0e9e97d862c869b82a87cb960  evidence/current-eval-2026-07-30/edge_coverage_distributions.svg
  d3ce9a54d6bdf94ccd31d36fac21bea8173fb5b1feb4689ca2366ed567f9dc93  evidence/current-eval-2026-07-30/libarchive_7zip_object_after_fix.log
  33a89afeb0151c10de17baa0f3e8f56fa7597ddf44b5e45062ac787295d6ee19  evidence/current-eval-2026-07-30/libarchive_7zip_object_repro.log
  3dd501256f5d7fc110b3f885f3fc6174072447feb5c4fc21f36864d422be1275  evidence/current-eval-2026-07-30/paired_15s_current.csv
  22a10551ca752756bf0ee6c42c6d9f1ded9596e809d4397cc24160682ce3f9ee  evidence/current-eval-2026-07-30/paired_15s_legacy.csv
  6fee57589aa46ddf8a6f573a414523c2e14a3e6010e7b0a40b2916b3a0aa3184  evidence/current-eval-2026-07-30/paired_comparisons.csv
  db95dacf2f1031d04918cd68df0be875246bddaca9b69b7b4cb2a957d1030d45  evidence/current-eval-2026-07-30/statistical_results.json
  f99682d4003b3eb5f7c891b4d61687f9d02789d904fe68a19840a0a5b0b68ae2  evidence/current-eval-2026-07-30/statistical_summary.md
  80ac1b15150ba299fb1b6738337b9a97540d368b1732fae07eef57217eff55c3  evidence/current-eval-2026-07-30/verification.md
  e7d5009a3c62e9a521c1df9a777258ed1055e92dee3ca52a95fe6f031b912c52  evidence/img_d2_pcguard.png
  23189f8aded7e49fa556f00a083e9d7d58f3c72031be7848a8e4b7c5187733ae  evidence/img_fuzzer_stats.png
  35ae71caa67c27d83b9a6269627e692996779b226897995de80eb3f3c0cf2535  evidence/img_gdb.png
  5e7bfa17cd1eb32b034a8955b79324ac80db1970d6c9aa2a8ce74d77982e2f09  evidence/img_ir.png
  d726ba189e4475bdfcf653351017023fb226bda7152b98492a9c4cf3c760453a  evidence/img_process.png
  24c0f3cd7dae80429cc9515ca593c39c2c371880fc45436b716abc0966463cf7  evidence/img_report.png
  f19d71b3e7b422a73241422c7c5767231f8184174279c22884c908f4f344c10b  evidence/img_showmap.png
  de5fd564653253ae4a3fa587304050774cd27b2d068f738b614b2912c754242e  qa3_repro/README.md
  7c707cd4d130b8469bf285678372d7d470130cc99c5af4a9d9aceb69af2070c6  qa3_repro/funnel.sh
  3fee6be621382cd1e752593070dc6530aa6107abf959483ecca6ea4273175d85  qa3_repro/inject_test.sh
  8e4603515a7724d86ad98d01baa477a2cfbfdb24c4509e7fd0582b9004421e70  qa3_repro/iterate.py
  e5fcd6b875eec14fcd6f6d69a917fa64fa7f1950c003dc8b0e6ad3304dbe174d  qa3_repro/iterate2.py
  8b5ea57926e8a9377ca7fa29d31f57e6fca6b2a8d16d4c0c93717c7aaffd6f3d  qa3_repro/landing.py
  54160cb17b847c29246b403a95746f1ded7781abc35557fd3482811744cf8a16  qa3_repro/landing2.py
  d3c624880b0bd78392b5daba68324fdc471d9ba249bddc5ee56d787f6cd2750f  qa3_repro/measure_strategy.sh
  130b7469c993d29539e86280d78ee4a39afef2ffd6da310c5234f0f2df75011f  qa3_repro/persab.sh
  7c1af6ae5902c73ef32aa27cbe889ee9e9553a082cec3e97921b57b4c6aa7a46  qa3_repro/trace_base64.sh
