[racket] Static Analysis and Graphics

Dear

What do we use the following graphics for ?? such as Program Dependence
Graph (PDG) and (CFG) Control Flow Graph and System Dependence Graph (SDG)
and Data Flow Graphic (DFG) and Abstract Syntax Trees (ASTs) and Path
Analysis.

- How do I use these graphics for semantic or syntax?. is there
program/software which can generate these graphics automatically? for any
programming language ??

Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140617/948510e9/attachment.html>