This web page shows the issues in the functions in the package polysat 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 |
|---|---|---|---|---|---|
| polysat:::G | |||||
| polysat:::GENLIST | |||||
| polysat:::INDEXG | ag1 m2 na1 | Invalid read of size 4 | deSilvaFuncs.cpp : 21 | valgrind_log | executable-test-file |