Maxime Arthaud

This is most likely a bug in ikos related to the analysis of C++. Unfortunately I won't have time to investigate this. In general, ikos is not very mature on...

Maybe handling the special case of argument 1 being the 0 constant would be fine for now since that seems like a common use case.

This should be fixed by https://github.com/facebook/sapp/commit/c74c443d8bef22b06be3decc791bb6c077742499 We just need to push a new version of fb-sapp but we are having issues building the UI on master.

Leaving this open until we push a new version.

Unfortunately I don't think we have anything like that. Mariana Trench is built to analyze debug builds of apps, with the associated (unobfuscated) source code.

Build from source instructions are here: https://mariana-tren.ch/docs/contribution/ If the build still fail, could you please send use your logs?

Hi @wangzery, Most likely, Mariana Trench doesn't have the source for `AsyncTask.execute` so it has no way to know that it calls `doInBackground`. Even if it had the code, I'm...

Hi @koftnt, Unfortunately, this UI is currently under maintained. I believe "Missing Trace Frame" is a problem with the tool itself producing the results (here I believe this is Mariana...

We don't plan on open sourcing our internal UI because it relies on a lot of internal services.

I'm pretty sure you are using the pip fb-sapp and not fb-sapp built from master, since I see `mariana_trench_parser_v2.py` in the python stack trace. This won't work. You should either...