This page displays the reports of VeriBuild and confirmations from developers.

Tips

• The reports are submitted by three means: Github issues: vemakereporter. Sourceforge tickets and emails.
• [None Link] means we did not submit the reports of these projects, or there are not any true bug reports in these projects. [New Link] means that the errors are confirmed after the submission date(However, the PR was submitted before paper submission)
• For some projects, there are two report lists, for we segment the full version of the report into two parts for the convenience of bug check. The report lists of several projects are quite long, and we check each item in the list by incremental building after touching each file.
• In each item of bug reports, the CDG records the reachable nodes along with actual dependency edges, and the DDG records the available files. These two graphs are extracted from the UDG and kept in the report for debugging purposes.

Acknowledgement

• Thanks to Sourcebrella Inc, we bought their bug report system to help us to process the bug check. We use their full version for academic use.

Details of Reports

How to Access the Reports

You can use the following account to login into the bug report system.

• Username: veribuildviewer
• Password: veribuildviewer

MD and RD Reports

Project Name	Report Link	Report Submission
LLVM	link1	[None Link]
OpenCV	link1	[None Link]
Python	Link1 Link2	Link1 link2
PHP	Link1 Link2	[None Link]
GMP	Link1	[None Link]
OpenSSL	Link1	[None Link]
Capstone	Link1 Link2	Link1
httpd	Link1	Link1
Redis	Link1	[None Link]
Bash	Link1 Link2	[None Link]
Cppcheck	Link1	Link1
ck	Link1	Link1
tig	Link1	[None Link]
lighttpd	Link1	[None Link]
Tmux	Link1	[None Link]
neven	Link1	Link1
GNU Aspell	Link1	Link1
LAME	Link1	Link1
cJSON	Link1	Link1
zlib	Link1	Link1
lec	Link1	[None Link]
clib	Link1	Link1
8cc	Link1	Link1
fastText	Link1	Link1
gravity	Link1	Link1
x86-thing	Link1	Link1
grbl	Link1	Link1
Bftpd	Link1 Link2	Link1(email1) Link2(email2)
gwion-util	Link1	Link1
cctz	Link1	[None Link]
fzy	Link1	Link1
libco	Link1	Link1
mpc	Link1	Link1
namespaced_parser	Link1	Link1
kleaver	Link1	Link1
greatest	Link1	Link1
Stack-RNN	Link1	Link1
CacheSimulator	Link1	[None Link]
http-parser	Link1	Link1
Generic-C-Project	Link1	[None Link]

FTI Reports

Project Name	Report Link
Redis	Link
mpc	Link

FRC Reports

Project Name	Report Link
libco	Link