CoCo 2021 Test Run
| category | problems | tool | output | ||||||
|---|---|---|---|---|---|---|---|---|---|
| COM | 1090 Y | 1088 N | 1078 ? | 1087 Y | ACP | 1090 Y | 1088 N | 1078 ? | 1087 ? |
| CoLL | 1090 Y | 1088 N | 1078 ? | 1087 Y | |||||
| FORT-h | 1090 Y | 1088 N | 1078 ? | 1087 Y | |||||
| FORTify | 1090 Y | 1088 N | 1078 ? | 1087 Y | |||||
| CPF-TRS | 412 Y | 536 N | 227 ? | 201 ? | ACP+CeTA | 412 ? | 536 N | 227 ? | 201 ? |
| CSI+CeTA | 412 Y | 536 N | 227 ? | 201 Y | |||||
| CTRS | 548 Y | 353 N | 389 ? | 387 ? | ACP | 548 Y | 353 N | 389 ? | 387 N |
| CO3 | 548 ? | 353 ? | 389 ? | 387 ? | |||||
| CONFident | 548 Y | 353 N | 389 ? | 387 ? | |||||
| GCR | 85 Y | 80 N | 79 ? | 81 ? | AGCP | 85 Y | 80 N | 79 ? | 81 ? |
| FORT-h | 85 ? | 80 N | 79 ? | 81 Y | |||||
| FORTify | 85 ? | 80 N | 79 ? | 81 Y | |||||
| INF | 865 Y | 866 N | 868 ? | 904 ? | CO3 | 865 Y | 866 ? | 868 ? | 904 ? |
| infChecker | 865 Y | 866 N | 868 ? | 904 Y | |||||
| NaTT | 865 Y | 866 ? | 868 ? | 904 ? | |||||
| NFP | 224 Y | 225 N | 222 ? | 541 ? | CSI | 224 Y | 225 N | 222 Y | 541 ? |
| FORT-h | 224 Y | 225 N | 222 ? | 541 ? | |||||
| SRS | 953 Y | 952 N | 999 ? | 986 ? | ACP | 953 Y | 952 ? | 999 ? | 986 ? |
| CoLL-Saigawa | 953 ? | 952 N | 999 ? | 986 ? | |||||
| CONFident | 953 Y | 952 N | 999 N | 986 ? | |||||
| CSI | 953 Y | 952 N | 999 ? | 986 N | |||||
| TRS | 89 Y | 113 N | 126 ? | 145 ? | ACP | 89 Y | 113 N | 126 ? | 145 ? |
| CoLL-Saigawa | 89 Y | 113 ? | 126 ? | 145 Y | |||||
| CONFident | 89 ? | 113 ? | 126 ? | 145 ? | |||||
| CSI | 89 ? | 113 N | 126 ? | 145 Y | |||||
| FORTify | 89 ? | 113 ? | 126 ? | 145 ? | |||||
| UNC | 111 Y | 512 N | 535 ? | 64 ? | ACP | 111 Y | 512 N | 535 ? | 64 Y |
| CSI | 111 Y | 512 ? | 535 ? | 64 ? | |||||
| FORT-h | 111 Y | 512 N | 535 ? | 64 ? | |||||
| FORTify | 111 Y | 512 N | 535 ? | 64 ? | |||||
| UNR | 504 Y | 543 N | 525 ? | 741 ? | CSI | 504 Y | 543 N | 525 ? | 741 ? |
| FORT-h | 504 ? | 543 N | 525 ? | 741 Y | |||||
| FORTify | 504 ? | 543 N | 525 ? | 741 Y | |||||