The precision of ModuloSolver has been improved.
Experimental analyses for checking the size of
local variables and integer overflows were added.
A preview release of a shell to run and debug
analysis is also available as a patch (RDB).
The framework now supports the concept of flow insensitive analysis. This version adds an analysis that automatically computes the size of call parameters. Some documentation improvements and bugfixes were made.
This version is mostly a bugfix release. Many
important bugs that affected the correctness of
the analysis were fixed. The analysis as a whole
is now cleaner and easier to understand. Integer
overflows aside, this version of the analysis is
believed to be safe. (The last few versions were
definitely not.)
The main improvement of this version is that the
framework now supports widening and narrowing. The
linear solver has been converted to use the new
interface. Also, a few modules have been cleaned
up and some bugs were fixed.