1. 2022. Akka. https://akka.io/ 2022. Akka. https://akka.io/
2. 2022. FReD: Identifying File Re-Delegation in Android System Services. In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association, Boston, MA. https://www.usenix.org/conference/usenixsecurity22/presentation/gorski 2022. FReD: Identifying File Re-Delegation in Android System Services. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA. https://www.usenix.org/conference/usenixsecurity22/presentation/gorski
3. 2022. ProbLog. https://dtai.cs.kuleuven.be/problog/ 2022. ProbLog. https://dtai.cs.kuleuven.be/problog/
4. 2022. Sorenson-Dice Coefficient. https://en.wikipedia.org/wiki/S%C3% B8rensen%E2%80%93Dice_coefficient 2022. Sorenson-Dice Coefficient. https://en.wikipedia.org/wiki/S%C3% B8rensen%E2%80%93Dice_coefficient
5. 2022. WALA. https://github.com/wala/WALA 2022. WALA. https://github.com/wala/WALA