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