From 86599ed529857cefb99bd395083f5a8e6886e116 Mon Sep 17 00:00:00 2001 From: Kanak Das Date: Thu, 25 Jul 2024 04:10:14 -0700 Subject: [PATCH] refine cookie and session extra specs --- .../cs/riple/taint/ucrtainting/stubs/general.astub | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub b/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub index 80085791..bd2f0d9f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub +++ b/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub @@ -32,18 +32,6 @@ public class ServletResponse { } package javax.servlet.http; -public class HttpSession { - public void setAttribute(@RUntainted String name, @RUntainted Object value); - public void putValue(String name, Object value); -} - -public class Cookie { - public void setPath(@RUntainted String uri); - public void setDomain(@RUntainted String domain); - public void setComment(@RUntainted String purpose); - public void setValue(@RUntainted String newValue); -} - public class HttpServletResponse { public void setDateHeader(@RUntainted String name, long date); public void setHeader(@RUntainted String name, String value);