facebook/mariana-trench issues and pull requests

#171 - How to define taint propagation with lists

Issue - State: closed - Opened by draftyfrog 2 months ago - 2 comments

#170 - Validate the life cycle method graph

Pull Request - State: closed - Opened by ZeyadTarekk 3 months ago - 4 comments
Labels: cla signed, Merged

#169 - Inconsistent behaviour with unreachable code

Issue - State: closed - Opened by draftyfrog 3 months ago - 2 comments

#168 - Repeating life cycles

Pull Request - State: closed - Opened by ZeyadTarekk 3 months ago - 3 comments
Labels: cla signed, Merged

#167 - Pass options via a json file instead of command line arguments

Pull Request - State: closed - Opened by ZeyadTarekk 4 months ago - 2 comments
Labels: cla signed, Merged

#166 - get "KeyError: 'name'" when using sapp

Issue - State: open - Opened by mwmarry 4 months ago - 2 comments

#165 - Fix documentation for add_features_to_arguments

Pull Request - State: closed - Opened by ZeyadTarekk 4 months ago - 4 comments
Labels: cla signed, Merged

#164 - [MLH] Pass options via a json file instead of command line arguments

Issue - State: closed - Opened by arthaud 5 months ago

#163 - Implement option to print unresolved methods to file

Pull Request - State: open - Opened by phreppo 5 months ago - 3 comments
Labels: cla signed

#162 - Fix open source build

Pull Request - State: closed - Opened by arthaud 6 months ago - 2 comments
Labels: cla signed, Merged

#161 - Configurable heuristics parameters

Pull Request - State: closed - Opened by phreppo 6 months ago - 4 comments
Labels: cla signed, Merged

#160 - Fix grammar in documentation

Pull Request - State: closed - Opened by parof 7 months ago - 5 comments
Labels: cla signed, Merged

#159 - Fix cmake sanitizer typo

Pull Request - State: closed - Opened by pkesseli 7 months ago - 2 comments
Labels: cla signed, Merged

#158 - Sanitizers option

Pull Request - State: closed - Opened by pkesseli 8 months ago - 2 comments
Labels: cla signed, Merged

#157 - Parallel D8 build

Pull Request - State: closed - Opened by pkesseli 8 months ago - 2 comments
Labels: cla signed, Merged

#156 - Tainted data does not flow through a reflected class.

Issue - State: open - Opened by adityavardhanpadala 8 months ago - 1 comment

#155 - Error to complie JsonReaderWriter.cpp by build_static_binary.py

Issue - State: closed - Opened by Securee 8 months ago - 2 comments

#154 - feat(COD-2657): Implement `filled-new-array`

Pull Request - State: closed - Opened by pkesseli 9 months ago - 2 comments
Labels: cla signed, Merged

#153 - Migrate google java format from 1.7 -> 1.19.2

Pull Request - State: closed - Opened by j-bahr 10 months ago - 4 comments
Labels: cla signed, Merged, fb-exported

#152 - Switch back to JFrog

Pull Request - State: closed - Opened by pkesseli 10 months ago - 2 comments
Labels: cla signed, Merged

#151 - Fix Mariana Trench linker error

Pull Request - State: closed - Opened by pkesseli 10 months ago - 2 comments
Labels: cla signed, Merged

#150 - Boost download URL

Pull Request - State: closed - Opened by pkesseli 10 months ago - 2 comments
Labels: cla signed, Merged

#149 - Fix path to str conversion in JsonValidation

Pull Request - State: closed - Opened by sergiogiro 11 months ago - 1 comment
Labels: cla signed

#148 - Sanitizer does not work, or something wrong

Issue - State: open - Opened by inkEllize about 1 year ago

#147 - Flow analysis in a method.

Issue - State: open - Opened by adityavardhanpadala about 1 year ago

#146 - Default model generators missing from PyPI release

Issue - State: closed - Opened by goldenkirbi about 1 year ago - 2 comments

#145 - ImportError when using sapp

Issue - State: open - Opened by Royalton about 1 year ago - 3 comments

#144 - Feature labels and annotation values

Pull Request - State: closed - Opened by pkesseli about 1 year ago - 6 comments
Labels: cla signed, Merged

#143 - Propagate taints via object arguments

Pull Request - State: closed - Opened by pkesseli about 1 year ago - 10 comments
Labels: cla signed, Merged

#142 - verifying propagations applied to the functions.

Issue - State: open - Opened by adityavardhanpadala about 1 year ago - 2 comments

#141 - Error building mariana-trench

Issue - State: closed - Opened by adityavardhanpadala about 1 year ago - 1 comment

#140 - chore(COD-1378): Update library_classes

Pull Request - State: closed - Opened by pkesseli about 1 year ago - 3 comments
Labels: cla signed, Merged

#139 - Regular expression models for literals

Pull Request - State: closed - Opened by pkesseli over 1 year ago - 6 comments
Labels: cla signed, Merged

#138 - Release app with proguard

Issue - State: open - Opened by koftnt over 1 year ago - 1 comment

#137 - Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT

Issue - State: open - Opened by zamazan4ik over 1 year ago - 4 comments

#136 - [Question] Add test for a call guarded by a constant

Pull Request - State: open - Opened by sergiogiro over 1 year ago
Labels: cla signed

#135 - [Question] Add test for a call guarded by a constant

Pull Request - State: closed - Opened by sergiogiro over 1 year ago
Labels: cla signed

#134 - [Test][FP] TaintTransform on Args

Pull Request - State: closed - Opened by the-storm over 1 year ago - 1 comment
Labels: cla signed

#133 - Request for Features Description

Issue - State: closed - Opened by DavidZhang-7 over 1 year ago - 3 comments

#132 - "No such file " log in sapp

Issue - State: open - Opened by DavidZhang-7 over 1 year ago - 3 comments

#131 - Add minimal FP test

Pull Request - State: closed - Opened by the-storm over 1 year ago - 13 comments
Labels: cla signed

#130 - [MT] Add `AnyParam` method constraint

Pull Request - State: closed - Opened by the-storm over 1 year ago - 6 comments
Labels: cla signed, Merged

#129 - Tainted data not flowing through custom propagations

Issue - State: open - Opened by adityavardhanpadala over 1 year ago - 14 comments

#128 - Old macOS 10.15.7 failed to execute analysis

Issue - State: open - Opened by codingman-aiwass over 1 year ago - 4 comments

#127 - Stuck creating generators: Found 0 issues

Issue - State: open - Opened by serrapa over 1 year ago

#126 - Build from source fails.

Issue - State: open - Opened by 2Dai over 1 year ago - 1 comment

#125 - Taint not flowing into a sink in Runnable

Issue - State: open - Opened by adityavardhanpadala over 1 year ago

#124 - Example code does not work

Issue - State: open - Opened by tosiara over 1 year ago - 3 comments

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

Issue - State: closed - Opened by gm-lwhh over 1 year ago

#120 - How to check argument value with regex?

Issue - State: open - Opened by IgorInk over 1 year ago - 1 comment

#119 - Does not compile with latest fmt 9.1 due to lack of formatter for types

Issue - State: open - Opened by rickmark over 1 year ago - 1 comment

#118 - [Question] Difference between attach_to_sources and features keys.

Issue - State: closed - Opened by serrapa over 1 year ago - 4 comments
Labels: question

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

Issue - State: open - Opened by serrapa almost 2 years ago - 5 comments