[racket] Specification Language

Hello

The untyped intermediate language that I am working on is kind of
specification language and it is provide the AST and procedure/function
graphics and also provide transformation techniques for simplifying the
code but I am trying to find a pattern or technique that can formalise the
potential vulnerabilities on the source code.

Is there some way that I can do with "Prolog" or "Pattern Matching IMHO" or
"Pseudo-code" or "AST" or any other techniques

As far as I know "Pseudo-code" is for making algorithms and flowchart but
how to analyse in term of vulnerabilities (I mean any vulnerabilities)
Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140607/35bc639f/attachment.html>