aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAdam Chlipala <adamc@csail.mit.edu>2018-05-29 09:49:22 -0400
committerAdam Chlipala <adamc@csail.mit.edu>2018-05-29 09:49:22 -0400
commit1c493e9ec47f4754dd7237078e8c4f3300925ce3 (patch)
tree136d31607eea0e0d173babbe92b9d30724bf5ed1
parent373cb403871c0c77f26cb76213adde3aeb278240 (diff)
Remove insecure crypto function (closes #114)
-rw-r--r--include/urweb/urweb_cpp.h2
-rw-r--r--lib/ur/basis.urs5
-rw-r--r--src/c/urweb.c5
3 files changed, 0 insertions, 12 deletions
diff --git a/include/urweb/urweb_cpp.h b/include/urweb/urweb_cpp.h
index 0d5f5e0e..2c60a781 100644
--- a/include/urweb/urweb_cpp.h
+++ b/include/urweb/urweb_cpp.h
@@ -358,8 +358,6 @@ uw_Basis_string uw_Basis_timef(struct uw_context *, const char *fmt, uw_Basis_ti
uw_Basis_time uw_Basis_stringToTimef(struct uw_context *, const char *fmt, uw_Basis_string);
uw_Basis_time uw_Basis_stringToTimef_error(struct uw_context *, const char *fmt, uw_Basis_string);
-uw_Basis_string uw_Basis_crypt(struct uw_context *, uw_Basis_string key, uw_Basis_string salt);
-
uw_Basis_bool uw_Basis_eq_time(struct uw_context *, uw_Basis_time, uw_Basis_time);
uw_Basis_bool uw_Basis_lt_time(struct uw_context *, uw_Basis_time, uw_Basis_time);
uw_Basis_bool uw_Basis_le_time(struct uw_context *, uw_Basis_time, uw_Basis_time);
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c354d784..dc1b9b76 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -192,11 +192,6 @@ val datetimeSecond : time -> int
val datetimeDayOfWeek : time -> int
-(** * Encryption *)
-
-val crypt : string -> string -> string
-
-
(** HTTP operations *)
con http_cookie :: Type -> Type
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 504597ef..283efcdd 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -4490,11 +4490,6 @@ failure_kind uw_runCallback(uw_context ctx, void (*callback)(uw_context)) {
return r;
}
-uw_Basis_string uw_Basis_crypt(uw_context ctx, uw_Basis_string key, uw_Basis_string salt) {
- char buf[14];
- return uw_strdup(ctx, DES_fcrypt(key, salt, buf));
-}
-
uw_Basis_bool uw_Basis_eq_time(uw_context ctx, uw_Basis_time t1, uw_Basis_time t2) {
(void)ctx;
return !!(t1.seconds == t2.seconds && t1.microseconds == t2.microseconds);