Fine-grained classification of side-effect free methods in real-world Java code and applications to software security.