From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps