annotatedCodeLocation.taintKind?

Did we decide to approve the removal of annotatedCodeLocation.taintKind? It’s the only “semantic” property remaining on annotatedCodeLocation, once we remove kind, values, targetLocation, and targetKey.

 

I’m going to merge the changes as approved, meaning that taintKind is gone (because there’s no amendment in the meeting minutes about this). We can bring it back if necessary.

 

Thanks,

Larry