This web page shows the issues in the functions in the package SpecsVerification if there are any. The table below shows the list of inputs passed that are generated by fuzzers and the valgrind issues with corresponding CPP file and line number.
name | inputs | message | file.line | valgrind_log | executable.file |
---|---|---|---|---|---|
SpecsVerification::auc_cpp | fcst obs | 51 bytes in 1 blocks are possibly lost in loss record 26 of 1,353 | auc.cpp : 17 | valgrind_log | executable-test-file |
SpecsVerification::dresscrps_cpp | |||||
SpecsVerification::enscrps_cpp | ens obs R_new | 53 bytes in 1 blocks are possibly lost in loss record 26 of 1,356 | enscrps.cpp : 35 | valgrind_log | executable-test-file |