[racket] Transformation Rules

From: Mansour Alqattan (mansour.alqattan at gmail.com)
Date: Sun Nov 16 09:03:22 EST 2014


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

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

Posted on the users mailing list.