1. CodeQL. https://codeql.github.com/. Accessed: 2022-09-14
2. DataFlowSanitizer design document. https://clang.llvm.org/docs/DataFlowSanitizerDesign.html. Accessed: 2022-08-12
3. GrammaTech CodeSonar. https://resources.grammatech.com/youtube-all-videos/tainted-data-analysis-in-codesonar. Accessed: 2022-09-14
4. How Meta and the security industry collaborate to secure the internet. https://engineering.fb.com/2022/07/20/security/how-meta-and-the-security-industry-collaborate-to-secure-the-internet/. Accessed: 2022-09-15
5. Open-sourcing Mariana Trench: Analyzing Android and Java app security in depth. https://engineering.fb.com/2021/09/29/security/mariana-trench/. Accessed: 2022-09-15