From 6a91ad4097a3647e6631cd8d37d258a0a787856c Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Mon, 14 May 2018 22:50:46 -0700 Subject: [PATCH] [infer][eradicate] model `android.net.Uri.parse(...)` as not accepting null parameter Summary: According to the documentation, https://developer.android.com/reference/android/net/Uri#parse, this method will crash when passing null. Reviewed By: sblackshear Differential Revision: D7998605 fbshipit-source-id: a57ec82 --- infer/src/eradicate/modelTables.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/src/eradicate/modelTables.ml b/infer/src/eradicate/modelTables.ml index bb19a6f2f..6c9b7cd8c 100644 --- a/infer/src/eradicate/modelTables.ml +++ b/infer/src/eradicate/modelTables.ml @@ -183,6 +183,7 @@ let annotated_list_nullable = , "android.text.SpannableString.valueOf(java.lang.CharSequence):android.text.SpannableString" ) ; (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void") + ; (o1, "android.net.Uri.parse(java.lang.String):android.net.Uri") ; (n1, "android.os.Parcel.writeList(java.util.List):void") ; (n2, "android.os.Parcel.writeParcelable(android.os.Parcelable,int):void") ; (n1, "android.os.Parcel.writeString(java.lang.String):void")