Fine-grained classification of side-effect free methods in real-world Java code and applications to software security. - Arran Stewart; Rachel Cardell-Oliver; Rowan Davies (ACSW, 2016)