В тему проверки программ: ccured

>http://manju.cs.berkeley.edu/ccured/ - если кто-нибудь пользовался, расскажите о впечатлениях.

Хотел вот совсем недавно попробовать что за зверь, но "с коробки" не собрался, а на этапе ковыряния начальство решило, что я не тем занимаюсь - пришлось бросить;)

Но если кто юзал, самому интересно.

В доках по Cyclone ( http://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf ) говорится :

Like Cyclone, they usually require restricted coding idioms or additional annotations, but unlike Cyclone, they offer no soundness guarantees.

[...]

The primary advantage of these systems is that they [Safe-C & CCured] require (almost) no changes to the C code, unlike Cyclone. However, they do not preserve the same data representations and lifetimes for objects. Furthermore, memory errors are caught at run time instead of compile time. For instance, when an object is freed under CCured, the (entire) storage is not immediately reclaimed, but rather marked as inaccessible. Subsequent accesses check the mark and signal an error when the object is dereferenced.

Я читал все материалы по Cyclone, до которых смог добраться. К сожалению, Cyclone мертв.

> However, they do not preserve the same data representations and lifetimes for objects.

Отлючается прагмами.

> К сожалению, Cyclone мертв.

Это к чему было сказано?

Факты о подходах инвариантны относительно их популярности.