ZhangShuai's Blog

所有的光芒，都需要时间才能被看到

符号执行 (Symbolic Execution) 与约束求解 (Constraint Solving)

符号执行与约束求解

Symbolic Execution and Constraint Solving

Posted by 张帅 on Tuesday, November 21, 2023

avatar

Cloud Network Engineer, Engineer @Tencent, Creator @www.ifindex.org, Open Source Enthusiast

QUICK LINKS
FEATURED TAGS
ebtables iptables netfilter virtio