[Soot-list] IFDS Analysis of Fields

[Marc-Andre Laverdiere-Papineau]

Hello all,

I am working on an info flow analysis that keeps taint in fields.

So far, it is not working :( The taint gets set, but any access to the 
field doesn't have that new fact propagated.

Anybody had to deal with that kind of problem?

I am attaching my minimal working example (without the JEE libs - that 
makes the attachment too big).

-- 
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mwe3-nolibs.zip
Type: application/zip
Size: 10384 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130311/793e841e/attachment.zip