Mariana Trench: Security-Focused Static Analysis for Android and Java

Interesting tool. This looks like the Java equivalent of Facebook's Python taint analysis tool Pysa: https://pyre-check.org/docs/pysa-basics/.

From what I can tell by the documentation, it looks like Mariana's requires you to bring your own sources/sinks/sanitizers, so expect a lot of up front cost to integrate this into your toolchain. This as opposed to including commonly used rules or heuristics. Not a huge deal since users can write and share there own rules, but this looks like a framework for sophisticated static analysis and not a batteries included solution.

How does this differ from Facebook's Infer's "Quandary" checker, which also does taint analysis for Java? Only in that it supports Dalvik instead of JVM bytecode? https://fbinfer.com/docs/checker-quandary

_Security-Focused Static Analysis for Android and Java Applications_

But it seems it's not for the JVM, only for Android APKs.

Edit: https://mariana-tren.ch/docs/configuration#command-line-opti...

Indeed, only APK.