5 ms·
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 bytecod
by arxanas 5y ago
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 https://fbinfer.com/docs/checker-quandary
- derpderpderpd 5y agoContributor here: conceptually they are similar but Quandary is no longer under active development whereas Mariana Trench will be supported long term.