A blog post that shows some of the good things done by split (among the things it does, it supports the @only@ attribute that is the "unique" Bartosz talks about):
http://ulissesaraujo.wordpress.com/2009/05/03/splint-the-static-c-code-checker/


One of the attributes supported by Split suggests me something like:

void foo(string s) outer out x {
	x = s.length;
}

After "outer" there's the list of the names of the enclosing namespace that are used inside foo(). In this "outer out x" means that foo() overwrites x.

Knowing/stating what globals (or the outer scope) a function/method uses sounds good.

-----------------------

>JavaFX lets you bind, or link, attributes so that when one attribute changes, all attributes bound to it will automatically change as well.<:
http://jfx.wikia.com/wiki/Introduction_to_Binding_in_JavaFX


In Python "Cellulose" is vaguely similar (but this isn't a built-in features of the language, it's a module):
>Cellulose provides a mechanism for maintaining consistency between inter-dependant values with caching and lazy evaluation. You can think of it like a spreadsheet program -- Many cells are are calculated from the values of other cells. When one cell changes, all of the dependant cells get updated with new values. However, cellulose goes quite a ways beyond this. It guarantees that when a value is read, it is consistant with all the values it depends on. It also is lazy (read: efficient.) Calculating a value is put off till the very last possible moment, and only recalculated when absolutely needed. Dependency discovery and cache invalidation are fully transparent and automatic.<
http://pypi.python.org/pypi/Cellulose/

Bye,
bearophile