[racket] Static Analysis and Graphics

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jun 16 22:37:18 EDT 2014


Take a look at 

 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.3070

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. 



On Jun 16, 2014, at 8:27 PM, Neil Van Dyke wrote:

> These graphs (not graphics) are mathematical abstractions.  You will hear about some of these graphs when you study compilers.
> 
> (Separately, there can also be diagrams (or graphics) to visualize these graphs.  But that's probably not what you're looking for.)
> 
> 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.
> 
> 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.
> 
> 
> Mansour Alqattan wrote at 06/16/2014 07:41 PM:
>> 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
>> 
>> 
> 
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140616/3d6636f5/attachment.html>

Posted on the users mailing list.