Re: [abc-users] tracematches on local variables

From: Eric Bodden <eric.bodden_at_mail.mcgill.ca>
Date: Sun, 23 Nov 2008 10:21:11 -0500

Hi Kazunori.

> call(Data DataFactory.makeData(String)) && call(* *.markAsTainted(..));

This pointcut matches nowhere because you cannot have two different
calls at the same joinpoint. I guess that you want pull call(*
*.markAsTainted(..)) into it's own symbol (and change the regular
expression accordingly), don't you?

Eric

-- 
Eric Bodden
Sable Research Group, McGill University, Montréal, Canada
Got an interesting job offer? http://www.bodden.de/hire-me/
Received on Sun Nov 23 2008 - 15:21:15 GMT

This archive was generated by hypermail 2.2.0 : Sun Nov 23 2008 - 16:10:11 GMT