index on develop: 651d409 fixed a null pointer exception
On develop: Type checking
implemented a basic type checker for calls of the form a.foo() where a is tainted. The call graph can only give us all possible targets of the call, but if we know that a is of type A, we only need to consider callees that are compatible with type A.