Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
readme.txt | 2014-03-03 | 876 Bytes | |
cppcheck-1.64.zip | 2014-03-03 | 1.7 MB | |
cppcheck-1.64.tar.gz | 2014-03-03 | 1.5 MB | |
cppcheck-1.64.tar.bz2 | 2014-03-03 | 1.2 MB | |
cppcheck-1.64-x86-Setup.msi | 2014-03-03 | 6.4 MB | |
Totals: 5 Items | 10.7 MB | 0 |
Value Flow =================== A new value flow analysis has been added. It is generic so the same analysis can be reused by various checkers - previously many checkers have had their own value flow and control flow analysis. The new value flow analysis performs context sensitive cross-function analysis. All checkers that uses this will automatically have cross-function context sensitive value flow analysis. The new analysis is gradually introduced in the checkers - the old analysis in a checker is kept until it is redundant. The new value flow analysis is so far used to detect: * division by zero * null pointer dereference * array index out of bounds * invalid function argument Other Improvements =================== * Improved configurations for gtk, posix, sdl, std, windows * Warn when using negative allocation size * Check 2nd parameter for memset