facebook/mariana-trench

Issues

• False negative with taint propagated via class attribute

  #174 opened a month ago by draftyfrog
  1

• False positive with taint propagated via class attribute

  #173 opened a month ago by draftyfrog
  1

• Inconsistent results in loop

  #172 opened a month ago by draftyfrog
  1

• How to define taint propagation with lists

  #171 opened 3 months ago by draftyfrog
  2

• Inconsistent behaviour with unreachable code

  #169 opened 3 months ago by draftyfrog
  2

• [MLH] Pass options via a json file instead of command line arguments

  #164 opened 5 months ago by arthaud
  0

• get "KeyError: 'name'" when using sapp

  #166 opened 5 months ago by mwmarry
  2

• Possible Documentation Error

  #103 opened 5 months ago by serrapa
  1

• Tainted data does not flow through a reflected class.

  #156 opened 9 months ago by adityavardhanpadala
  1

• Error to complie JsonReaderWriter.cpp by build_static_binary.py

  #155 opened 9 months ago by Securee
  2

• [Feature Request] - Improving Helper to list custom and built-in definitions

  #117 opened 2 years ago by serrapa
  5

• Sanitizer does not work, or something wrong

  #148 opened a year ago by inkEllize
  0

• Flow analysis in a method.

  #147 opened a year ago by adityavardhanpadala
  0

• ImportError when using sapp

  #145 opened a year ago by Royalton
  3

• Default model generators missing from PyPI release

  #146 opened a year ago by goldenkirbi
  2

• "No such file " log in sapp

  #132 opened a year ago by DavidZhang-7
  3

• verifying propagations applied to the functions.

  #142 opened a year ago by adityavardhanpadala
  2

• Error building mariana-trench

  #141 opened a year ago by adityavardhanpadala
  1

• Release app with proguard

  #138 opened a year ago by koftnt
  1

• Request for Features Description

  #133 opened a year ago by DavidZhang-7
  3

• Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT

  #137 opened a year ago by zamazan4ik
  4

• Example code does not work

  #124 opened 2 years ago by tosiara
  3

• Old macOS 10.15.7 failed to execute analysis

  #128 opened 2 years ago by codingman-aiwass
  4

• Tainted data not flowing through custom propagations

  #129 opened 2 years ago by adityavardhanpadala
  14

• Build from source fails.

  #126 opened 2 years ago by 2Dai
  1

• Stuck creating generators: Found 0 issues

  #127 opened 2 years ago by serrapa
  0

• Does not compile with latest fmt 9.1 due to lack of formatter for types

  #119 opened 2 years ago by rickmark
  1

• Taint not flowing into a sink in Runnable

  #125 opened 2 years ago by adityavardhanpadala
  0

• Model generator(s) join_override_generator do not exist.

  #105 opened 2 years ago by saksham95sj
  1

• The latest version compiles, cannot be used, and various parameters are missing. MarianaTrench mariana_trench_error: the option '--output-directory' is required but missing???

  #121 opened 2 years ago by gm-lwhh
  0

• [Question] Difference between attach_to_sources and features keys.

  #118 opened 2 years ago by serrapa
  4

• How to check argument value with regex?

  #120 opened 2 years ago by IgorInk
  1

• get "KeyError: 'caller_port'" when using sapp

  #92 opened 2 years ago by xiaoxiongwang
  6

• Getting "KeyError: 'port'" when using sapp

  #102 opened 2 years ago by 90-MobileSafety
  3

• Some functions will get stuck when running to `fixpoint.run(AnalysisEnvironment::initial());`

  #116 opened 2 years ago by houugen
  3

• Tainted data flow across components

  #107 opened 2 years ago by kyuen001
  0

• Should `<>` be escape?

  #106 opened 2 years ago by evilpan
  0

• Support Smali trace info when source-code path not exists

  #104 opened 2 years ago by koftnt
  0

• MT misses finding sinks of "Launching Components"

  #98 opened 2 years ago by serrapa
  0

• [Shim + Lifecycle] Cannot propagate in different lifecycle functions of fragment

  #97 opened 2 years ago by houugen
  4

• attach_to_sources did not work for my intended flow

  #96 opened 2 years ago by jalee0606
  0

• Imperfect description in contribution document

  #95 opened 3 years ago by N1rv0us
  0

• Customize Sources and Sinks

  #94 opened 3 years ago by koftnt
  0

• via-value does not seemed to work

  #93 opened 3 years ago by jalee0606
  0

• Error to build mariana-trench by source

  #89 opened 3 years ago by mrupdate
  2

• False Negative when a taint propagation to static field

  #91 opened 3 years ago by N1rv0us
  0

• [FR] Support multiple source code directories

  #90 opened 3 years ago by gian2dchris
  0

• Need help to create new sources / sinks

  #87 opened 3 years ago by serrapa
  2

• cannot find issue

  #88 opened 3 years ago by nkbai
  0

• Question: public repo with custom sources and sinks generators

  #86 opened 3 years ago by serrapa
  0