sdf-cons has –injections feature to avoid constructor generation for injections. This is implemented in a horrible way: The module prod-cons in asfix-tools has strategy ‘is-injection’ that only succeeds if the –injections config is set, which only happens in sdf-cons. Needless to say that this results in very surprising behaviour, rendering prodcons useless for other tools.

In general, we need a more clear and well-documented library for sdf analyses. There is a start for this in sdf-tools, but it’s far from complete. All SDF tools should use that library.

Submitted on 14 May 2005 at 21:47