<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><br></div><div>Take a look at </div><div><br></div><div> <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.3070">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.3070</a></div><div><br></div><div>It basically gives you a PLAI/EOPL style function for creating the graph as a rational value (shared graph). You will need to figure out a few extra features. </div><div><br></div><div><br></div><br><div><div>On Jun 16, 2014, at 8:27 PM, Neil Van Dyke wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<div bgcolor="#FFFFFF" text="#000000">
These graphs (not graphics) are mathematical abstractions. You will
hear about some of these graphs when you study compilers.<br>
<br>
(Separately, there can also be diagrams (or graphics) to visualize
these graphs. But that's probably not what you're looking for.)<br>
<br>
I think your code security analysis project will be easier and more
likely to succeed once you take a step back and learn more of the
relevant CS background material. At least some of the basics of
compilers. Or, if you don't want to learn more CS, the other option
I see is to partner with a CS person within your university or
company.<br>
<br>
Many software projects are done by IT people plugging together
off-the-shelf components that they don't understand, but it didn't
sound to me like that approach would work for what you are trying to
do.<br>
<br>
<br>
<div class="moz-cite-prefix">Mansour Alqattan wrote at 06/16/2014
07:41 PM:<br>
</div>
<blockquote cite="mid:CAK469gnZ4aDOzHEdh5DdAK9rE2-Rdt6VKoN89aD_B=z07JBAEA@mail.gmail.com" type="cite">
<div dir="ltr">Dear
<div><br>
</div>
<div>What do we use the following <span style="font-family:arial,sans-serif;font-size:13px">graphics
for ?? such as Program Dependence Graph (PDG) and (CFG)
Control Flow Graph and System Dependence Graph (SDG) and
Data Flow Graphic (</span><span style="font-family:arial,sans-serif;font-size:13px">DFG) and
Abstract Syntax Trees (</span><span style="font-family:arial,sans-serif;font-size:13px">ASTs)
and </span><span style="font-family:arial,sans-serif;font-size:13px">Path
Analysis.</span></div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">- How
do I use these graphics for semantic or syntax?. is there
program/software which can generate these graphics
automatically? for any programming language ??</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">Thanks</div>
<div><br>
</div>
<br>
</div>
</blockquote>
<br>
</div>
____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br></blockquote></div><br></body></html>