UNO 2.13

UNO is a simple tool for source code analysis of C programs. It has been very effective at finding bugs in my C code … er, not that my C code ever has bugs.

SRPMS

uno-2.13-2.src.rpm

The UNO spec file can be built --with debug if you plan to investigate UNO's inner workings. Ordinary users will not want to specify that option.

Patch Descriptions

uno-2.13-unused.patch

Marks unused parameters using GCC's attribute notation to quiet warnings.

uno-2.9-printf.patch

Changes some debug prints to handle pointers properly. This patch makes no difference if you do not compile --with debug.

uno-2.13-varargs.patch

va_start(v,l) doesn't count as an initialization of v and neither va_arg(v,l) nor va_end(v) counts as a use of v, leading to lots of Uno warnings in programs using varargs. This patch fixes both problems.

uno-2.9-system.patch

GCC warns about use of system() without checking its return value. This patch quiets the warning.

uno-2.13-ungetc.patch

GCC warns about use of ungetc() without checking its return value. This patch quiets the warning.

uno-2.13-makefile.patch

Parallel makes don't work with the distributed makefile, due to some missing and incorrect dependencies, and also due to the fact that make treats x y: z as two separate rules (one for x, one for y). This patch fixes the dependencies so that parallel builds work.

uno-2.11-select.patch

This is an experimental patch that implements nonempty strings as the first argument of select, and also implements the refine and unselect functions for Uno property scripts. This makes several of the example scripts that ship with Uno work.

uno-2.10-props.patch

This patches the sample property files to account for the previous patch.

uno-2.13-buf_recur.patch

Provide a prototype for the buf_recur function in one place that calls it.

uno-2.13-switch.patch

Change an if-switch sequence with a trivial if condition into just a switch.

Back to the RPMS