2022-06-24 12:37
ftp://ftp.de.debian.org/debian/pool/main/p/polybori/polybori_0.8.3.orig.tar.gz
cppcheck-options: --library=posix --library=gnu  --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j4
platform: Linux-5.10.0-15-amd64-x86_64-with-glibc2.31
python: 3.9.2
client-version: 1.3.25
compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110
cppcheck: head 2.8
head-info: 11860cc (2022-06-24 13:55:04 +0200)
count: 245 242
elapsed-time: 99.8 209.0
head-timing-info:
 Overall time: 0s

old-timing-info:
 Overall time: 0s

head results:
polybori-0.8.3/Cudd/cudd/util.h:69:1: error: There is an unknown macro here somewhere. Configuration is required. If PBORI_PREFIX is a macro then please configure it. [unknownMacro]
polybori-0.8.3/Cudd/mtr/testmtr.c:163:10: style: Variable 'node' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/mtr/testmtr.c:162:10: note: node is assigned
polybori-0.8.3/Cudd/mtr/testmtr.c:163:10: note: node is overwritten
polybori-0.8.3/Cudd/mtr/testmtr.c:169:10: style: Variable 'node' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/mtr/testmtr.c:163:10: note: node is assigned
polybori-0.8.3/Cudd/mtr/testmtr.c:169:10: note: node is overwritten
polybori-0.8.3/Cudd/mtr/testmtr.c:169:10: style: Variable 'node' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/mtr/testmtr.c:167:7: note: node is assigned
polybori-0.8.3/Cudd/mtr/testmtr.c:169:10: note: node is overwritten
polybori-0.8.3/Cudd/mtr/testmtr.c:175:10: style: Variable 'node' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/mtr/testmtr.c:169:10: note: node is assigned
polybori-0.8.3/Cudd/mtr/testmtr.c:175:10: note: node is overwritten
polybori-0.8.3/Cudd/mtr/testmtr.c:194:10: style: Variable 'node' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/mtr/testmtr.c:193:10: note: node is assigned
polybori-0.8.3/Cudd/mtr/testmtr.c:194:10: note: node is overwritten
polybori-0.8.3/Cudd/mtr/testmtr.c:194:10: style: Variable 'node' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Cudd/nanotrav/chkMterm.c:155:35: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
polybori-0.8.3/Cudd/epd/epd.c:164:18: style: Condition 'exponent<10' is always true [knownConditionTrueFalse]
polybori-0.8.3/Cudd/epd/epd.c:157:16: note: Assuming that condition 'exponent>=0' is not redundant
polybori-0.8.3/Cudd/epd/epd.c:163:5: note: Compound assignment '*=', assigned value is 0
polybori-0.8.3/Cudd/epd/epd.c:164:18: note: Condition 'exponent<10' is always true
polybori-0.8.3/Cudd/mtr/mtrGroup.c:624:9: warning: %hu in format string (no. 1) requires 'unsigned short' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
polybori-0.8.3/Cudd/mtr/mtrGroup.c:774:8: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
polybori-0.8.3/Cudd/mtr/mtrGroup.c:159:17: style:inconclusive: Function 'Mtr_MakeGroup' argument 3 names different: declaration 'high' definition 'size'. [funcArgNamesDifferent]
polybori-0.8.3/Cudd/mtr/mtr.h:171:79: note: Function 'Mtr_MakeGroup' argument 3 names different: declaration 'high' definition 'size'.
polybori-0.8.3/Cudd/mtr/mtrGroup.c:159:17: note: Function 'Mtr_MakeGroup' argument 3 names different: declaration 'high' definition 'size'.
polybori-0.8.3/Cudd/mtr/mtrGroup.c:404:17: style:inconclusive: Function 'Mtr_FindGroup' argument 3 names different: declaration 'high' definition 'size'. [funcArgNamesDifferent]
polybori-0.8.3/Cudd/mtr/mtr.h:173:79: note: Function 'Mtr_FindGroup' argument 3 names different: declaration 'high' definition 'size'.
polybori-0.8.3/Cudd/mtr/mtrGroup.c:404:17: note: Function 'Mtr_FindGroup' argument 3 names different: declaration 'high' definition 'size'.
polybori-0.8.3/Cudd/nanotrav/bnet.c:1267:11: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1275:14: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1319:12: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1328:11: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1084:11: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1607:9: style: Parameter 'support' can be declared as pointer to const [constParameter]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1332:12: error: Uninitialized variable: stack [uninitvar]
polybori-0.8.3/Cudd/nanotrav/bnet.c:1313:12: note: Assuming condition is false
polybori-0.8.3/Cudd/nanotrav/bnet.c:1332:12: note: Uninitialized variable: stack
polybori-0.8.3/Cudd/nanotrav/ntr.c:911:8: style: Local variable 'onames' shadows outer variable [shadowVariable]
polybori-0.8.3/Cudd/nanotrav/ntr.c:73:20: note: Shadowed declaration
polybori-0.8.3/Cudd/nanotrav/ntr.c:911:8: note: Shadow variable
polybori-0.8.3/Cudd/nanotrav/ntr.c:1209:11: style: Local variable 'onames' shadows outer variable [shadowVariable]
polybori-0.8.3/Cudd/nanotrav/ntr.c:73:20: note: Shadowed declaration
polybori-0.8.3/Cudd/nanotrav/ntr.c:1209:11: note: Shadow variable
polybori-0.8.3/Cudd/nanotrav/ntr.c:2244:12: style: Local variable 'onames' shadows outer variable [shadowVariable]
polybori-0.8.3/Cudd/nanotrav/ntr.c:73:20: note: Shadowed declaration
polybori-0.8.3/Cudd/nanotrav/ntr.c:2244:12: note: Shadow variable
polybori-0.8.3/Cudd/nanotrav/ntr.c:2830:9: style: Parameter 'ptrY' can be declared as pointer to const [constParameter]
polybori-0.8.3/Cudd/nanotrav/ntr.c:2829:9: style: Parameter 'ptrX' can be declared as pointer to const [constParameter]
polybori-0.8.3/Cudd/nanotrav/ntr.c:2884:9: style: Parameter 'ptrY' can be declared as pointer to const [constParameter]
polybori-0.8.3/Cudd/nanotrav/ntr.c:2883:9: style: Parameter 'ptrX' can be declared as pointer to const [constParameter]
polybori-0.8.3/Cudd/nanotrav/ntr.c:824:12: style: Variable 'retval' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Cudd/nanotrav/ntr.c:984:12: style: Variable 'retval' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Cudd/nanotrav/ntr.c:1589:12: style: Variable 'retval' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Cudd/obj/testobj.cc:552:35: style:inconclusive: Boolean expression '!x[2]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:552:60: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:553:19: style:inconclusive: Boolean expression '!x[2]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:572:16: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:579:15: style:inconclusive: Boolean expression '!x[2]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:588:16: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:588:23: style:inconclusive: Boolean expression '!x[2]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:591:46: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:591:53: style:inconclusive: Boolean expression '!x[2]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:598:16: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/testobj.cc:600:29: style:inconclusive: Boolean expression '!x[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
polybori-0.8.3/Cudd/obj/cuddObj.hh:98:1: style: The class 'Capsule' does not declare a constructor although it has private member variables which likely require initialization. [noConstructor]
polybori-0.8.3/Cudd/obj/cuddObj.hh:503:5: style: Class 'Cudd' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Cudd/obj/testobj.cc:552:35: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:553:19: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:572:16: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:579:15: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:588:16: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:591:46: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:598:16: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:600:29: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:156:9: style: The if condition is the same as the previous if condition [duplicateCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:154:9: note: First condition
polybori-0.8.3/Cudd/obj/testobj.cc:156:9: note: Second condition
polybori-0.8.3/Cudd/obj/testobj.cc:347:9: style: The if condition is the same as the previous if condition [duplicateCondition]
polybori-0.8.3/Cudd/obj/testobj.cc:340:9: note: First condition
polybori-0.8.3/Cudd/obj/testobj.cc:347:9: note: Second condition
polybori-0.8.3/Cudd/obj/testobj.cc:336:34: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/testobj.cc:349:27: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/testobj.cc:460:24: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/testobj.cc:482:24: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/testobj.cc:568:24: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/testobj.cc:145:9: style: Same expression used in consecutive assignments of 'x' and 'y'. [duplicateAssignExpression]
polybori-0.8.3/Cudd/obj/testobj.cc:146:9: note: Same expression used in consecutive assignments of 'x' and 'y'.
polybori-0.8.3/Cudd/obj/testobj.cc:145:9: note: Same expression used in consecutive assignments of 'x' and 'y'.
polybori-0.8.3/Cudd/obj/testobj.cc:551:17: style: The scope of the variable 'inames' can be reduced. [variableScope]
polybori-0.8.3/Cudd/obj/testobj.cc:139:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
polybori-0.8.3/Cudd/obj/testobj.cc:188:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
polybori-0.8.3/Cudd/obj/testobj.cc:238:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
polybori-0.8.3/Cudd/obj/testobj.cc:283:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
polybori-0.8.3/Cudd/obj/testobj.cc:370:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
polybori-0.8.3/Cudd/obj/testobj.cc:162:15: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Cudd/obj/testobj.cc:468:12: style: Variable 'dummy' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/PyPolyBoRi/Poly_wrapper.cc:114:12: style: Same expression on both sides of '/'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/Poly_wrapper.cc:117:12: style: Same expression on both sides of '%'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/monomial_wrapper.cc:80:97: error: syntax error [syntaxError]
polybori-0.8.3/PyPolyBoRi/main_wrapper.cc:212:12: style: Same expression on both sides of '/'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/main_wrapper.cc:222:12: style: Same expression on both sides of '>'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/main_wrapper.cc:223:12: style: Same expression on both sides of '>='. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/main_wrapper.cc:224:12: style: Same expression on both sides of '<'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/main_wrapper.cc:225:12: style: Same expression on both sides of '<='. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/pairs.cc:35:7: style:inconclusive: Technically the member function 'Pair::getDeg' can be const. [functionConst]
polybori-0.8.3/PyPolyBoRi/pairs.cc:112:12: style: Same expression on both sides of '<'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/pairs.cc:113:12: style: Same expression on both sides of '>'. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/pairs.cc:114:12: style: Same expression on both sides of '<='. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/pairs.cc:115:12: style: Same expression on both sides of '>='. [duplicateExpression]
polybori-0.8.3/PyPolyBoRi/strategy_wrapper.cc:154:5: error: syntax error [syntaxError]
polybori-0.8.3/Cudd/obj/cuddObj.cc:1110:7: warning: 'operator=' should check for assignment to self to avoid problems with dynamic memory. [operatorEqToSelf]
polybori-0.8.3/Cudd/obj/cuddObj.hh:654:9: performance:inconclusive: Technically the member function 'Cudd::ApaNumberOfDigits' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2799:7: note: Technically the member function 'Cudd::ApaNumberOfDigits' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:654:9: note: Technically the member function 'Cudd::ApaNumberOfDigits' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:655:17: performance:inconclusive: Technically the member function 'Cudd::NewApaNumber' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2808:7: note: Technically the member function 'Cudd::NewApaNumber' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:655:17: note: Technically the member function 'Cudd::NewApaNumber' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:656:10: performance:inconclusive: Technically the member function 'Cudd::ApaCopy' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2817:7: note: Technically the member function 'Cudd::ApaCopy' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:656:10: note: Technically the member function 'Cudd::ApaCopy' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:657:16: performance:inconclusive: Technically the member function 'Cudd::ApaAdd' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2828:7: note: Technically the member function 'Cudd::ApaAdd' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:657:16: note: Technically the member function 'Cudd::ApaAdd' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:659:16: performance:inconclusive: Technically the member function 'Cudd::ApaSubtract' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2840:7: note: Technically the member function 'Cudd::ApaSubtract' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:659:16: note: Technically the member function 'Cudd::ApaSubtract' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:661:16: performance:inconclusive: Technically the member function 'Cudd::ApaShortDivision' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2852:7: note: Technically the member function 'Cudd::ApaShortDivision' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:661:16: note: Technically the member function 'Cudd::ApaShortDivision' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:663:10: performance:inconclusive: Technically the member function 'Cudd::ApaShiftRight' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2864:7: note: Technically the member function 'Cudd::ApaShiftRight' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:663:10: note: Technically the member function 'Cudd::ApaShiftRight' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:665:10: performance:inconclusive: Technically the member function 'Cudd::ApaSetToLiteral' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2876:7: note: Technically the member function 'Cudd::ApaSetToLiteral' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:665:10: note: Technically the member function 'Cudd::ApaSetToLiteral' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:667:10: performance:inconclusive: Technically the member function 'Cudd::ApaPowerOfTwo' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:2887:7: note: Technically the member function 'Cudd::ApaPowerOfTwo' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:667:10: note: Technically the member function 'Cudd::ApaPowerOfTwo' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:690:18: performance:inconclusive: Technically the member function 'Cudd::Prime' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:4851:7: note: Technically the member function 'Cudd::Prime' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:690:18: note: Technically the member function 'Cudd::Prime' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:698:10: performance:inconclusive: Technically the member function 'Cudd::PrintVersion' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5300:7: note: Technically the member function 'Cudd::PrintVersion' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:698:10: note: Technically the member function 'Cudd::PrintVersion' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:700:10: performance:inconclusive: Technically the member function 'Cudd::Random' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5318:7: note: Technically the member function 'Cudd::Random' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:700:10: note: Technically the member function 'Cudd::Random' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:701:10: performance:inconclusive: Technically the member function 'Cudd::Srandom' can be static (but you may consider moving to unnamed namespace). [functionStatic]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5326:7: note: Technically the member function 'Cudd::Srandom' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.hh:701:10: note: Technically the member function 'Cudd::Srandom' can be static (but you may consider moving to unnamed namespace).
polybori-0.8.3/Cudd/obj/cuddObj.cc:1083:5: warning: Value of pointer 'p', which points to allocated memory, is copied in copy constructor instead of allocating new memory. [copyCtorPointerCopying]
polybori-0.8.3/PyPolyBoRi/test_util.cc:47:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/PyPolyBoRi/test_util.cc:61:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5030:50: warning:inconclusive: Either the condition 'support' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5031:9: note: Assuming that condition 'support' is not redundant
polybori-0.8.3/Cudd/obj/cuddObj.cc:5030:50: note: Null pointer addition
polybori-0.8.3/Cudd/obj/cuddObj.cc:5051:50: warning:inconclusive: Either the condition 'support' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5052:9: note: Assuming that condition 'support' is not redundant
polybori-0.8.3/Cudd/obj/cuddObj.cc:5051:50: note: Null pointer addition
polybori-0.8.3/Cudd/obj/cuddObj.cc:3989:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/cuddObj.cc:4019:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/cuddObj.cc:4721:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5187:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Cudd/obj/cuddObj.cc:5249:22: style: C-style pointer casting [cstyleCast]
pb.mod:39:2: error: syntax error [syntaxError]
polybori-0.8.3/Cudd/obj/cuddObj.cc:261:42: style:inconclusive: Function 'ABDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'. [funcArgNamesDifferent]
polybori-0.8.3/Cudd/obj/cuddObj.hh:167:40: note: Function 'ABDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:261:42: note: Function 'ABDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:323:40: style:inconclusive: Function 'BDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'. [funcArgNamesDifferent]
polybori-0.8.3/Cudd/obj/cuddObj.hh:214:39: note: Function 'BDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:323:40: note: Function 'BDD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:584:40: style:inconclusive: Function 'ADD' argument 2 names different: declaration 'ddNode' definition 'bddNode'. [funcArgNamesDifferent]
polybori-0.8.3/Cudd/obj/cuddObj.hh:350:39: note: Function 'ADD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:584:40: note: Function 'ADD' argument 2 names different: declaration 'ddNode' definition 'bddNode'.
polybori-0.8.3/Cudd/obj/cuddObj.cc:1385:10: performance: Function parameter 'message' should be passed by const reference. [passedByValue]
polybori-0.8.3/Singular/pb_if.cc:579:26: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:426:5: style: Class 'FGLMNoLinearCombinationException' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:600:24: style: Local variable 'divisors' shadows outer variable [shadowVariable]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:597:20: note: Shadowed declaration
polybori-0.8.3/groebner/src/FGLMStrategy.cc:600:24: note: Shadow variable
polybori-0.8.3/groebner/src/FGLMStrategy.cc:115:10: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:180:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:232:13: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:320:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:396:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:413:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/FGLMStrategy.cc:791:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/Singular/pb_if.cc:85:3: style: Class 'PsicoDummy' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:144:3: style: Class 'Psico' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:282:3: style: Class 'PsicoString' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:308:3: style: Class 'PsicoObject' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:332:3: style: Class 'PsicoImport__' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:342:3: style: Class 'PsicoImport' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:355:3: style: Class 'PsicoEval' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:379:3: style: Class 'PsicoExec' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:440:3: style: Class 'PsicoTuple' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:458:3: style: Class 'PsicoTupleN' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:491:3: style: Class 'PsicoList' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:518:3: style: Class 'PsicoInt' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:534:3: style: Class 'PsicoFromSingular' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:616:3: style: Class 'SingularLikeIterator < leftv , Psico >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
polybori-0.8.3/Singular/pb_if.cc:175:45: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:187:64: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:199:64: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:211:45: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:236:49: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:265:34: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:407:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:544:26: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:546:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:560:25: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:583:26: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:585:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:965:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:967:35: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:968:35: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:992:21: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1055:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1068:22: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1102:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1108:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1175:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1207:26: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1264:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1276:16: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1324:25: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1346:26: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1357:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1359:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1361:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1362:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1363:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1365:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1367:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1368:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1370:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1372:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1374:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1377:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pb_if.cc:1379:52: style: C-style pointer casting [cstyleCast]
polybori-0.8.3/Singular/pbwrapper.h:39:9: style: The scope of the variable 'i' can be reduced. [variableScope]
polybori-0.8.3/Singular/pbwrapper.h:142:7: style: The scope of the variable 'fe_c' can be reduced. [variableScope]
polybori-0.8.3/Singular/pb_if.cc:657:25: style:inconclusive: Function 'operator()' argument 1 names different: declaration 'args' definition 'rhs'. [funcArgNamesDifferent]
polybori-0.8.3/Singular/pb_if.cc:238:34: note: Function 'operator()' argument 1 names different: declaration 'args' definition 'rhs'.
polybori-0.8.3/Singular/pb_if.cc:657:25: note: Function 'operator()' argument 1 names different: declaration 'args' definition 'rhs'.
polybori-0.8.3/Singular/pb_if.cc:1230:34: style:inconclusive: Function 'mod_lex_boolean_gb' argument 1 names different: declaration 'res' definition '__res'. [funcArgNamesDifferent]
polybori-0.8.3/Singular/pb_if.cc:28:34: note: Function 'mod_lex_boolean_gb' argument 1 names different: declaration 'res' definition '__res'.
polybori-0.8.3/Singular/pb_if.cc:1230:34: note: Function 'mod_lex_boolean_gb' argument 1 names different: declaration 'res' definition '__res'.
polybori-0.8.3/Singular/pb_if.cc:1230:47: style:inconclusive: Function 'mod_lex_boolean_gb' argument 2 names different: declaration 'h' definition '__h'. [funcArgNamesDifferent]
polybori-0.8.3/Singular/pb_if.cc:28:45: note: Function 'mod_lex_boolean_gb' argument 2 names different: declaration 'h' definition '__h'.
polybori-0.8.3/Singular/pb_if.cc:1230:47: note: Function 'mod_lex_boolean_gb' argument 2 names different: declaration 'h' definition '__h'.
polybori-0.8.3/Singular/pb_if.cc:669:13: style: Unused variable: pName [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:669:21: style: Unused variable: pModule [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:669:31: style: Unused variable: pFunc [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:820:47: style: Unused variable: pValue [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:820:56: style: Unused variable: pClass [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:820:77: style: Unused variable: pArgs [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:864:47: style: Unused variable: pValue [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:864:56: style: Unused variable: pClass [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:910:47: style: Unused variable: pValue [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:910:56: style: Unused variable: pClass [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:995:47: style: Unused variable: pValue [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:995:56: style: Unused variable: pClass [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:995:65: style: Unused variable: pInstance [unusedVariable]
polybori-0.8.3/Singular/pb_if.cc:1169:17: style: Variable 'None' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/Singular/pbwrapper.h:46:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/LiteralFactorizationIterator.cc:40:3: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polybori-0.8.3/groebner/src/ReductionStrategy.cc:94:3: error: syntax error [syntaxError]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:603:13: warning: Return value of function log() is not used. [ignoredReturnValue]
polybori-0.8.3/groebner/src/LiteralFactorization.cc:314:5: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/LiteralFactorization.cc:337:5: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/LiteralFactorization.cc:356:5: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/LiteralFactorization.cc:436:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/LiteralFactorization.cc:442:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:569:7: style: The scope of the variable 'way' can be reduced. [variableScope]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:569:10: style: Variable 'way' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:576:11: style: Variable 'way' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:579:10: style: Variable 'way' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:581:12: style: Variable 'way' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:584:15: style: Variable 'way' is assigned a value that is never used. [unreadVariable]
polybori-0.8.3/groebner/src/GroebnerStrategy.cc:335:5: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
polybori-0.8.3/groebner/src/groebner_alg.cc:36:1: error: There is an unknown macro here somewhere. Configuration is required. If BEGIN_NAMESPACE_PBORIGB is a macro then please configure it. [unknownMacro]
polybori-0.8.3/groebner/src/interpolate.cc:41:1: style: Parameter 'bit_gen' can be declared as reference to const [constParameter]
polybori-0.8.3/groebner/src/nf.cc:780:5: error: syntax error [syntaxError]
polybori-0.8.3/groebner/src/randomset.cc:23:100: style: Parameter 'bit_gen' can be declared as reference to const [constParameter]
polybori-0.8.3/libpolybori/src/BooleMonomial.cc:81:3: error: syntax error [syntaxError]
polybori-0.8.3/libpolybori/src/BoolePolynomial.cc:184:3: error: syntax error [syntaxError]
polybori-0.8.3/libpolybori/src/BooleSet.cc:137:3: error: syntax error [syntaxError]
polybori-0.8.3/libpolybori/src/CErrorInfo.cc:50:3: error: syntax error [syntaxError]
polybori-0.8.3/testsuite/src/BlockDegLexOrderTest.cc:46:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BlockDegRevLexAscOrderTest.cc:48:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BooleConstantTest.cc:32:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BooleMonomialTest.cc:57:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BooleExponentTest.cc:49:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BoolePolyRingTest.cc:44:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BoolePolynomialTest.cc:75:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BooleSetTest.cc:53:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/BooleVariableTest.cc:48:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/CFactoryBaseTest.cc:53:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/CStringLiteralTest.cc:23:1: error: There is an unknown macro here somewhere. Configuration is required. If USING_NAMESPACE_PBORI is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/CCuddDDFacadeTest.cc:67:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/DegLexOrderTest.cc:47:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/DegRevLexAscOrderTest.cc:46:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/FGLMStrategyTest.cc:50:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/GroebnerStrategyTest.cc:39:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/LexOrderTest.cc:47:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/MonomialFactoryTest.cc:52:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/PBoRiErrorTest.cc:31:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/PolynomialFactoryTest.cc:56:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/PseudoLongProductTest.cc:40:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/SetFactoryTest.cc:49:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/VariableFactoryTest.cc:49:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/embedTest.cc:33:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/spolyTest.cc:40:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/term_accumulateTest.cc:41:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/testsuite/src/weak_pointersTest.cc:48:1: error: There is an unknown macro here somewhere. Configuration is required. If BOOST_FIXTURE_TEST_SUITE is a macro then please configure it. [unknownMacro]
polybori-0.8.3/Cudd/nanotrav/main.c:1086:16: style: Condition 'c!=' '' is always true [knownConditionTrueFalse]
polybori-0.8.3/Cudd/nanotrav/main.c:290:12: style: Variable 'result' is reassigned a value before the old one has been used. [redundantAssignment]
polybori-0.8.3/Cudd/nanotrav/main.c:285:9: note: result is assigned
polybori-0.8.3/Cudd/nanotrav/main.c:290:12: note: result is overwritten
diff:
head polybori-0.8.3/Cudd/nanotrav/bnet.c:1607:9: style: Parameter 'support' can be declared as pointer to const [constParameter]
2.8 polybori-0.8.3/Cudd/nanotrav/bnet.c:1607:9: style: Parameter 'support' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/nanotrav/ntr.c:2829:9: style: Parameter 'ptrX' can be declared as pointer to const [constParameter]
2.8 polybori-0.8.3/Cudd/nanotrav/ntr.c:2829:9: style: Parameter 'ptrX' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/nanotrav/ntr.c:2830:9: style: Parameter 'ptrY' can be declared as pointer to const [constParameter]
2.8 polybori-0.8.3/Cudd/nanotrav/ntr.c:2830:9: style: Parameter 'ptrY' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/nanotrav/ntr.c:2883:9: style: Parameter 'ptrX' can be declared as pointer to const [constParameter]
2.8 polybori-0.8.3/Cudd/nanotrav/ntr.c:2883:9: style: Parameter 'ptrX' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/nanotrav/ntr.c:2884:9: style: Parameter 'ptrY' can be declared as pointer to const [constParameter]
2.8 polybori-0.8.3/Cudd/nanotrav/ntr.c:2884:9: style: Parameter 'ptrY' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/obj/cuddObj.hh:503:5: style: Class 'Cudd' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
head polybori-0.8.3/Cudd/obj/testobj.cc:139:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/Cudd/obj/testobj.cc:139:9: style: Parameter 'mgr' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/obj/testobj.cc:188:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/Cudd/obj/testobj.cc:188:9: style: Parameter 'mgr' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/obj/testobj.cc:238:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/Cudd/obj/testobj.cc:238:9: style: Parameter 'mgr' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/obj/testobj.cc:283:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/Cudd/obj/testobj.cc:283:9: style: Parameter 'mgr' can be declared with const [constParameter]
head polybori-0.8.3/Cudd/obj/testobj.cc:370:9: style: Parameter 'mgr' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/Cudd/obj/testobj.cc:370:9: style: Parameter 'mgr' can be declared with const [constParameter]
head polybori-0.8.3/Singular/pb_if.cc:491:3: style: Class 'PsicoList' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
head polybori-0.8.3/Singular/pb_if.cc:85:3: style: Class 'PsicoDummy' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
head polybori-0.8.3/groebner/src/interpolate.cc:41:1: style: Parameter 'bit_gen' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/groebner/src/interpolate.cc:41:1: style: Parameter 'bit_gen' can be declared with const [constParameter]
head polybori-0.8.3/groebner/src/randomset.cc:23:100: style: Parameter 'bit_gen' can be declared as reference to const [constParameter]
2.8 polybori-0.8.3/groebner/src/randomset.cc:23:100: style: Parameter 'bit_gen' can be declared with const [constParameter]


DONE