[racket] Transformation Rules

Dear

is there way to define a set of transformations which can be applied to the
program before testing for vulnerabilities (also: can the test for the
vulnerability be more sophisticated than a simple pattern match. For
example, using data low analysis).

I would like to apply a set of transformations in order to find many
slightly different variations of the same vulnerability can be detected
since they will be transformed
to the same code.

can you please suggest some idea or books or journal papers to find.

I would like you to prove it theoretically and formally based on
mathematical with algorithm

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