[racket] static analysis for finding vulnerabilities on non-executable and untyped language

Hello

i am working on untyped intermediate programming language and this language
is not meant to be for executing so it is non-executable.

and it has already AST (Abstract Syntax Tree).

I want only to find a method for doing static analysis on the coding to
find the potential vulnerabilities i mean any vulnerabilities even if it is
simple

actually i am just learning about the static analysis, i would be grateful
if you could help me with this

thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140604/38cef942/attachment.html>