[racket] How to do binding analysis? Distinguishing identifiers: one that creates a binding, the other being bound to it

Hi, all:

What's the best way to analyze a fully-expanded syntax object so that I can work out identifier bindings and their dependencies? I have in mind what the syncheck tool does: it shows dependencies (through arrows) of a variable from where it is used to where it is bound.

However, looking through collects/drracket/private/syncheck/gui.rkt reveals very little how it works out those dependencies. At the very least, I want to be able to distinguish when an identifier is doing the binding and when an identifier is being used.

I also played around with syntax/id-table and syntax/boundmap, but they don't seem to reveal dependencies. (Unless I used them wrong.)

Can anyone help? 
Thank you.

--- Helena
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20110425/e4c08601/attachment.html>