[cfe-dev] I have different test cases on the way with regards to taint propagation

[Jong-Ju Park via cfe-dev]

Dear Peter:

Please ignore the previous two test cases that I had sent.
They do not capture the problem that I was after.


I wonder if this is an intended design of the framework,
but something strange seems to happen with label propagation
if type casts are utilized on the original data source;
I will have test cases on the way to illustrate shortly.


Sincerely,

JongJu Park