Re: [abc-users] tracematches on local variables

From: Kazunori Kawauchi <>
Date: Mon, 24 Nov 2008 19:21:46 +0900


Thank you for your quick response.

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

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.


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

This archive was generated by hypermail 2.2.0 : Sun Nov 30 2008 - 23:50:11 GMT