Mikhail Shcherbakov

[Java] Taint tracking and virtual calls

2

Hi Infer devs! I tried to use Infer for implementation custom taint analysis and faced with some issues of virtual call handling. Could you clarify the current status of the...

I've fixed member lookup in resolver for static context case. For details see unit test InstanceMethodCallInStaticContext in Resolver/MemberLookupTests.cs. Also I've made minor fixes initial buildable of projects (changed OutputPath and...