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
____________________ Racket Users list: http://lists.racket-lang.org/users
