The experiment on CVEs

For verification tools, we simplify programs from CVEs, which is available here.

The results of the tools working on  CVEs are shown in the following tables. The first column represents the project that the CVEs is from, the second column refers to all the collected CVEs. Each line represents the results of the target tools working on CVE. Note that, "√" represents a correct verification, "×" means a wrong verification, and “U" demonstrates that the tool is unable to handle this case within the specified time (900s).