Tracing offensive values from exceptions

In debugging, techniques for tracing back offending values are extremely useful. In [1] Raphael Finkel presents us with an easily implemented and fairly useful technique. As was pointed out in [1] there has been other work in this area. In this note I would like to present a short taxonomy of the various techniques, and attempt to place Finkel's technique in its place in the hierarchy.