bc0a9e24a973d84d96feaede57bb27950a65376364de504e64b5bd8107ecb89f  docs/32-bit.txt
ef61b02bd7028d99b2cf8a533c1c37ccf9988785fe97200165e6bb36cf167452  docs/Architecture_QA3.md
705079b2d0752a621905cd5690cee15fda84c47c650f67ca72da390200f03929  docs/C++.txt
bd0a51e69575382904867cd9ecaccc322fb9c51dd8812f89ca3e42eb7390c400  docs/Concreteness.txt
06af953a93f001bdb49a233439ce5c89ea28b66dff6dac6670cfe04b8680b26f  docs/Configuration.txt
398a0c3cfd0ddf4bb7ea0e2b4fb1b084016a0f1d714b17bbfba81de3fa6e9a08  docs/Correctness_Review_Fixes_2026-07.md
573f54489e8eaaa6ced8a62e66addbcd45f506997cc74cd369fe2023c6de9bfc  docs/Development_History_Traceability.md
6c20d4b06c993d3c9007618f925517a6547aafb1e62cd7438645930442c4069a  docs/Experiments.txt
9c586af3b01368467249bb59268e54fe77992233e365dc94e616cc1b8cc4855e  docs/Final_Work_Report.md
2062e77ec9a17bae3ad709db75b402d2ace700ecbecf6e4691bcc9007e1c6ae5  docs/Future_Research_Plan.md
a661ec0de9681a24155916065dfc0f4ef6a99f485d7b989e356e058da07d9e6c  docs/Fuzzing.txt
5eb3687d69b11c418a7ef08c1b80e3df75c7b96799b86abb11a23ba64fb65245  docs/Ideas.txt
7e1cbc9148aa1ac2dc0c924f3092f5af824178ff90f1e5a7cd4ce6cd13c72640  docs/Libc.txt
f12ca726c5bad56d754aef3b3ca576bb4ba7bf8b62d835da635e81356b16770c  docs/MPI_Parallelization.txt
a853cb1ebc25dab7f5f09899a6492e433b880c363ec04684b454e194763ddfb7  docs/New_Implementation_Archive.md
400c2ae2aef05b60bdc6e7df1e304428c7dec0d3baa175f81daab1afc0ba215a  docs/Optimization.txt
cb18bcbb4d791b6c50106715d95cb0d0abac5a476bb63f46772f1e70e0c84b62  docs/PPT_Material.md
a34da258d4364ef47e45effc4900d6f212eacf5b118d29bc207a1f4af0b4d0f8  docs/PPT_Material_Complete.md
c3bff9c2e19831832875418a389b0bb818709d4b63c859d92398bf9d2bcd4d44  docs/PPT_Material_Supplement.md
353601d5f028447d9c8c3dbb8c1d00a3cee54f7ddd2a561c36c8840d9d4f94bf  docs/Parallel_Architecture_Report.md
b505c2a12b430d884aa538bb172bfca9a1a13950b949f47a68673fc9b9274a4e  docs/Parallel_Architecture_v2.md
916b19a34e52581f30421e80ed1205ec0d04010c4bd028686f19c58e19b594bc  docs/README.md
e53da704f8053d202c16b5ea7f1320131c00e1b8f4dd66ded72cbf99ba36bff3  docs/Recent_Work_and_Next_Research_Plan.md
0b7e0046ef83ace0eaaf02dc3701bcf2c7fe1aced900e99caf356f5938606a92  docs/Research_and_Optimization_Report.md
536880a969ce579b7238040bff56743c64f79fd39c8217a82a65e26bfb3b673e  docs/SOTA_Gap_Audit_2026-07-24.md
0497304aaad70f9519204fe3c5b0ae5254ccf4b7a48da80a3ef6d03f8f3532d9  docs/SymCC_MPI_Parallel_Effectiveness_Analysis.md
9101df79e463f4fd160bc3f825c15a26592818609f042253f1bb265d27d6e5dd  docs/SymCC_MPI_Parallel_Evaluation_Report.md
202d8445d10fabf7bbce97235ea1d0b16bb61944bf1f51421fc428c012c1fe82  docs/SymCC_MPI_Report_QA.md
c6dd065c32e28a128ba8740de42c9f5e336a2f4a90abb3f8b2a929735141000a  docs/SymCC_MPI_Report_QA2.md
d66743ead23dcbf22aa2858f7e5099db9236f3d1aaae7e29b9bf5d82399aadc7  docs/SymCC_Technical_Deep_Dive.md
f85a16f001c88cbd105643218ade1e4761806e747b541cebc8d625ed7bf270a2  docs/SymCC_Upstream_README.md
eb8847573147fb5ded0244b98323bce747cfc49b7d6d97c1a95a7a921529214f  docs/SymSan_工作总结_PPT补充材料.md
f8c6cfac1e0cace59f692e54ad4a8d715d4962759ef60e93b450da73d1758c2f  docs/Testing.txt
967aa47e1330870e4db901bb408eef2726834ee2b245c0116c8aabd9d7b7d7bd  docs/Work_Progress_Report.md
ca190a05ec4844573051efdcd23bee1899935a0dd896b44abfe171906008eeba  docs/Work_Progress_Report_2.md
ea59165dd9b39a610c431b55ca44a5609fe59e27d8961d59164866d27ab6e884  docs/Work_Progress_Report_3.md
473a46e25c2089e0b4782c29374f7cfd1c309e487ab5e2166daa4e34197659cd  docs/Work_Summary_Report.md
b6a81430adfb3ca6c38410fb4bf63a1c3462f77dd41353a7bb0630267aaa5174  docs/engine_abstraction.md
76da47b345c470e261c8095ad9edaf447cec19a418ebbd806bb73cc552dbd316  docs/sota_hybrid_execution_2026.md
e58b184a5238381f3cfbc7d1896983453b9dbd873aa7fc639f008e2dc5d23b40  docs/symsan_hybrid_benchmark_6targets.md
bddbb491ad0079ff71ca75d1ac17ffc167614b045f51564a3e3027f17c17361e  docs/symsan_ported_techniques.md
53deb5067fada9f4fe9588bd5ca0d8bb5d9e016598de0614b6db7add852693ea  docs/工作小结.md
e878950f8091ec010cf5cc723bdea027a8539cf7147cfea199c2f666232dcd4e  images/benchmark-png-seeds/seed_01.png
51ab9cdbe436375f510ed5b05fd7106c2e6518d6279bb1e043d4bd9e100692f5  images/benchmark-png-seeds/seed_02.png
e939e2635acdb199cb3dc6b6c4b5d2a25b6895e313e0fc3e03a4d18a4643131e  images/benchmark-png-seeds/seed_03_gray.png
94fbad3378320865d44f3586624a1ba3a3ea69cfb67a2bb380ec31e7e5af107b  images/benchmark-png-seeds/seed_04_16bit.png
13ecce636b4a057833815b00226a18408e06a25e243b4cb198c7d2893026d254  images/benchmark-png-seeds/seed_04_gray_alpha.png
d03e9e510553ed7a6dd0bd2487ff15aec43265630806115afa832f8ca2dccd2c  images/benchmark-png-seeds/seed_05_palette.png
2ee198d70f145437c4085309638e84b624c90a604307184c839c62d881d42ae5  images/benchmark-png-seeds/seed_06_16bit.png
11b8ecef16bf52fd618ea653ea6a608b7e30683e3043998d9408478a09dee654  images/benchmark-png-seeds/seed_06_gray_alpha.png
c0397205be3d2f6aead7645efb112eb974a3686b250a8ec82523e6e9d6b809bc  images/benchmark-png-seeds/seed_07_32x32.png
d225953e40b41bec525d45d130eec2f77ad1af9edc52005312bf73110aebd236  images/benchmark-png-seeds/seed_08_text.png
a7d01f43b60624528b6b553032ddb52d794436d5c1ef27399474eb649fb1ac21  images/benchmark-png-seeds/seed_09_interlace.png
e7d5009a3c62e9a521c1df9a777258ed1055e92dee3ca52a95fe6f031b912c52  images/experimental-evidence/img_d2_pcguard.png
23189f8aded7e49fa556f00a083e9d7d58f3c72031be7848a8e4b7c5187733ae  images/experimental-evidence/img_fuzzer_stats.png
35ae71caa67c27d83b9a6269627e692996779b226897995de80eb3f3c0cf2535  images/experimental-evidence/img_gdb.png
5e7bfa17cd1eb32b034a8955b79324ac80db1970d6c9aa2a8ce74d77982e2f09  images/experimental-evidence/img_ir.png
d726ba189e4475bdfcf653351017023fb226bda7152b98492a9c4cf3c760453a  images/experimental-evidence/img_process.png
24c0f3cd7dae80429cc9515ca593c39c2c371880fc45436b716abc0966463cf7  images/experimental-evidence/img_report.png
f19d71b3e7b422a73241422c7c5767231f8184174279c22884c908f4f344c10b  images/experimental-evidence/img_showmap.png
863917b1e6025a661dd01b170dc1c3674db7ca5d46a5641853e82b996faeca6a  rendered/Architecture_QA3.html
606598cc3a4078de93be4b5cf02f9f267514e03799164771a8ab11aebbfbc41d  rendered/qa3_repro_README.html
de5fd564653253ae4a3fa587304050774cd27b2d068f738b614b2912c754242e  reproduction/qa3_repro/README.md
7c707cd4d130b8469bf285678372d7d470130cc99c5af4a9d9aceb69af2070c6  reproduction/qa3_repro/funnel.sh
3fee6be621382cd1e752593070dc6530aa6107abf959483ecca6ea4273175d85  reproduction/qa3_repro/inject_test.sh
8e4603515a7724d86ad98d01baa477a2cfbfdb24c4509e7fd0582b9004421e70  reproduction/qa3_repro/iterate.py
e5fcd6b875eec14fcd6f6d69a917fa64fa7f1950c003dc8b0e6ad3304dbe174d  reproduction/qa3_repro/iterate2.py
8b5ea57926e8a9377ca7fa29d31f57e6fca6b2a8d16d4c0c93717c7aaffd6f3d  reproduction/qa3_repro/landing.py
54160cb17b847c29246b403a95746f1ded7781abc35557fd3482811744cf8a16  reproduction/qa3_repro/landing2.py
d3c624880b0bd78392b5daba68324fdc471d9ba249bddc5ee56d787f6cd2750f  reproduction/qa3_repro/measure_strategy.sh
130b7469c993d29539e86280d78ee4a39afef2ffd6da310c5234f0f2df75011f  reproduction/qa3_repro/persab.sh
7c1af6ae5902c73ef32aa27cbe889ee9e9553a082cec3e97921b57b4c6aa7a46  reproduction/qa3_repro/trace_base64.sh
ca797a8f0d991a9994b92a713f6527bf5be5ff0f9d1e238f041f74e87c7ca215  MANIFEST.txt
