Automated Code Analysis

cppcheck analysis of polybori_0.5~rc1-2.1.dsc

• ./Cudd/cudd/cuddLCache.c:894 [possible error] - Array 'key[1]' index 1 out of bounds
• ./Cudd/cudd/cuddLCache.c:1005 [possible error] - Array 'key[1]' index 1 out of bounds
• ./Cudd/cudd/cuddLCache.c:1006 [possible error] - Array 'key[1]' index 2 out of bounds
• ./Cudd/obj/cuddObj.hh:99 [error] - Class DD which is inherited by class ABDD does not have a virtual destructor
• ./Cudd/obj/cuddObj.hh:99 [error] - Class DD which is inherited by class ZDD does not have a virtual destructor
• ./Cudd/util/safe_mem.c:64 [error] - Memory leak: p
• ./Cudd/util/safe_mem.c:85 [error] - Memory leak: p
• ./Singular/pb.cc:113 [error] - Resource leak: fp
• ./Singular/pb.cc:200 [possible error] - Resource leak: binfp
• ./Singular/pb.cc:199 [error] - Uninitialized variable: binfp
• ./testsuite/src/boolepoly.cc:432 [error] - Division by zero

---