Re: [abc-users] tracematches on local variables

Hi,

Thank you for your quick response.

As Pavel pointed, I had used abc's compile option "-ext abc.tm". I achieve a
desired result after I replaced the option with "-ext abc.ja.tm".

Finally, I apologize for the mistake with my sample code in the previous mail.
Pavel Avgustinov's message:
> Now, I assume you either meant disjunction ("||" rather than "&&"), or
That is my intention. I mean, I want to recognize return values of
"makeData(String)" OR "markAsTainted(..)" as tainted values.

Thanks,

Kazunori Kawauchi
Received on Mon Nov 24 2008 - 10:22:15 GMT