1. Java Pathfinder. https://github.com/javapathfinder
2. Java Symbolic Execution. https://docs.angr.io/advanced-topics/java_support (2019)
3. Lecture Notes in Computer Science;S Cristalli,2018
4. Dahse, J., Krein, N., Holz, T.: Code reuse attacks in PHP: automated pop chain generation. In: Proceedings of the ACM Conference on Computer and Communications Security, vol. 11, pp. 42–53 (2014)
5. Dietrich, J., Jezek, K., Rasheed, S., Tahir, A., Potanin, A.: Evil pickles: dos attacks based on object-graph engineering. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017)