facebook/mariana-trench
A security focused static analysis tool for Android and Java applications.
C++MIT
Issues
- 1
- 1
- 2
Inconsistent results in loop
#172 opened - 2
How to define taint propagation with lists
#171 opened - 2
Inconsistent behaviour with unreachable code
#169 opened - 2
get "KeyError: 'name'" when using sapp
#166 opened - 0
- 1
- 2
- 0
Sanitizer does not work, or something wrong
#148 opened - 0
Flow analysis in a method.
#147 opened - 2
- 3
ImportError when using sapp
#145 opened - 2
verifying propagations applied to the functions.
#142 opened - 1
Error building mariana-trench
#141 opened - 1
Release app with proguard
#138 opened - 4
- 3
Request for Features Description
#133 opened - 3
"No such file " log in sapp
#132 opened - 14
- 4
Old macOS 10.15.7 failed to execute analysis
#128 opened - 0
Stuck creating generators: Found 0 issues
#127 opened - 1
Build from source fails.
#126 opened - 0
Taint not flowing into a sink in Runnable
#125 opened - 3
Example code does not work
#124 opened - 0
- 1
How to check argument value with regex?
#120 opened - 1
- 4
- 5
- 3
Some functions will get stuck when running to `fixpoint.run(AnalysisEnvironment::initial());`
#116 opened - 0
Tainted data flow across components
#107 opened - 0
Should `<>` be escape?
#106 opened - 1
- 0
- 1
Possible Documentation Error
#103 opened - 3
Getting "KeyError: 'port'" when using sapp
#102 opened - 0
- 4
- 0
- 0
- 0
Customize Sources and Sinks
#94 opened - 0
via-value does not seemed to work
#93 opened - 6
- 0
- 0
- 2
Error to build mariana-trench by source
#89 opened - 0
cannot find issue
#88 opened - 2
Need help to create new sources / sinks
#87 opened - 0