Maxime Arthaud

Hi @houugen, In theory, Mariana Trench should always converge during its analysis. If it does not terminate, there is a bug in the analysis. How long has it been stuck...

Did you build mariana trench from source or installed it with pip? The pip package might be broken on MacOS.

That sounds like a good idea. +1

Unfortunately this is not a high priority for our team, and we have other work that comes first. If someone writes a pull request for this I will happily review...

cc @dkgi since you implemented that UI

If you just want to assume `taint-in-taint-out` and `taint-in-taint-this` for that function and skip its analysis, you can use a model: ``` { "find": "methods", "where": [ { "constraint": "signature_match",...

Mariana Trench won't resolve calls using reflection, since the name can be anything at runtime. In this specific example, we could detect that the argument is always "setImei" and call...

Hi @koftnt, Could you point us to actual code, with path and line numbers? Querying all issues is a bad idea for big codebases. We should always add limits to...

I'm not sure what's the problem. It seems like this should be pretty fast since this only query issues with a specific id. With the right index in the database,...

Sure, PGO and LLVM BOLT are great. We could try LTO as well. Some feedback for your issue and your repository: * It could helpful if you could give directly...