1. A method implemented at least in part by a computing device, the method comprising: (a) receiving source code to be remediated in light of a regulation set affecting logic of the source code, wherein the source code is of a programming language; (b) generating a plurality of language-independent annotations for the source code to be remediated, wherein the language-independent annotations are of a format having a grammar that forms an executable language and wherein the executable language comprises at least one change function and one or more parameters for the change function, wherein the annotations comprise: an indication of a token representing a constant or a variable name appearing in the source code; parameters comprising an indication of a change type associated with the token, an indication of a statement type associated with the token, and an indication of an impact location associated with the token; and an indication of a new value associated with the token; (c) based on the language-independent annotations, outputting a language-independent analysis tree comprising breaking down the annotations into a set of patterns and sequentially arranging the patterns for translation, wherein the analysis tree comprises nodes specifying the indication of the token and the parameters; and (d) generating a remediated version of the source code, wherein generating the remediated version comprises translating the annotations, wherein the translating comprises consuming the parameters of the analysis tree, and applying the parameters from the annotations to the change function indicated in the annotations, wherein the change function generates source code comprising the new value associated with the token complying with the regulation set in the programming language of the source code and outputting lines of remediated source code in the programming language of the source code according to the plurality of language-independent annotations, wherein the remediated version complies with the regulation set.
9. The method of claim 1 further comprising: identifying, via a token search pattern, an impact point at a location in the source code at which a program variable or constant affected by the regulation set appears in the source code; and wherein generating the plurality of language-independent annotations comprises generating a language-independent annotation for the impact point.