Inheritance aware taint analysis, extended collections support

[formanek]

Another evolution of the taint analysis closes #98, closes #99 and fixes #106.

[h3xstream]

I didn't had the chance to review fully the commits. But it seems good as the refactoring support all the previous tests and add new one.

High level review:

• Not sure what this assert is doing. Probably to avoid empty catch ?
• With the high number of configuration, it would be nice to add tests to check the sanity of the configuration (method summaries).

[formanek]

I am using assert false to indicate that something never happens (if I'm not mistaken). In this case, every implementation of Java platform is required to support UTF-8, so UnsupportedEncodingException should never be thrown. I am thinking of assert commands as inner documentation better than comments, because we are warned if the assertion doesn't hold (when running with -ea parameter), so I'm using these quite often.

Well, adding tests would be always nice, but just extending the configuration was quite time consuming and testing everything would be even worse. It's probably faster just to review them. I will rather implement new detectors and features...

[h3xstream]

Perfect.
Just throwing an idea for the sanity test.