1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170
|
(***********************************************************************)
(* mRindex.ml - Code for generating machine-readable index *)
(* *)
(* Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, *)
(* 2011, 2012, 2013 Yaron Minsky and Contributors *)
(* *)
(* This file is part of SKS. SKS is free software; you can *)
(* redistribute it and/or modify it under the terms of the GNU General *)
(* Public License as published by the Free Software Foundation; either *)
(* version 2 of the License, or (at your option) any later version. *)
(* *)
(* This program is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU General Public License *)
(* along with this program; if not, write to the Free Software *)
(* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 *)
(* USA or see <http://www.gnu.org/licenses/>. *)
(***********************************************************************)
open StdLabels
open MoreLabels
open Printf
open Common
open Packet
let mr_version = 1
(** Does escaping of uid strings *)
let escape_uid_string string =
let buf = Buffer.create (String.length string) in
for i = 0 to String.length string - 1 do
if string.[i] = '%' then (
Buffer.add_char buf '%';
Buffer.add_char buf string.[i]
)
else if int_of_char string.[i] >= 128 || string.[i] = ':' then
let v = int_of_char string.[i] in
Buffer.add_string buf (sprintf "%%%X" v)
else
Buffer.add_char buf string.[i]
done;
Buffer.contents buf
let get_signature_keyid sign =
match sign with
| V3sig s -> Some s.v3s_keyid
| V4sig s ->
let issuer_subpackets =
List.filter ~f:(fun ssp -> ssp.ssp_type = 16)
(s.v4s_hashed_subpackets @ s.v4s_unhashed_subpackets)
in
match issuer_subpackets with
| [ssp] ->
if String.length ssp.ssp_body = 8
then Some ssp.ssp_body else None
| _ -> None
let get_sigtype sign = match sign with
V3sig sign -> sign.v3s_sigtype | V4sig sign -> sign.v4s_sigtype
let get_self_sigs keyid sigs =
let sigs = List.map ~f:ParsePGP.parse_signature sigs in
List.filter
~f:(fun sign ->
(match int_to_sigtype (get_sigtype sign) with
| Generic_certification_of_a_User_ID_and_Public_Key_packet
| Persona_certification_of_a_User_ID_and_Public_Key_packet
| Casual_certification_of_a_User_ID_and_Public_Key_packet
| Positive_certification_of_a_User_ID_and_Public_Key_packet
-> true
| _ -> false) &&
(match get_signature_keyid sign with
| Some sig_keyid -> sig_keyid = keyid
| None -> false)
)
sigs
let time_to_string time = match time with
| None -> ""
| Some x -> sprintf "%Ld" x
let uid_to_line keyid uid_packet sigs =
let uid_string = escape_uid_string uid_packet.packet_body in
let sigs = get_self_sigs keyid sigs in
let times = List.map ~f:ParsePGP.get_times sigs in
let (ctime,exptime) =
List.fold_left ~init:(None,None) ~f:max times
in
sprintf "uid:%s:%s:%s:"
uid_string (time_to_string ctime) (time_to_string exptime)
let get_latest_exp_time l =
List.fold_left ~init:(None,None) ~f:(fun (cmax,emax) (cr,ex) ->
if cr > cmax then (cr, ex) else (cmax, emax)) l
let get_key_expiration_from_uid keyid sigs =
let sigs = get_self_sigs keyid sigs in
let times = List.map ~f:ParsePGP.get_key_exptimes sigs in
let (ctime,exptime) =
get_latest_exp_time times in
(ctime,exptime)
let key_expiration_from_uids keyid pk_ctime uids =
let expir = List.map ~f:(fun (uid,sigs) ->
match uid.packet_type with
User_ID_Packet -> get_key_expiration_from_uid keyid sigs
| _ -> (None, None)
) uids in
let (ctime, exptime) =
get_latest_exp_time expir
in
match exptime with
| Some x -> Int64.add x pk_ctime
| None -> Int64.zero
(** number of seconds in a day *)
let daysecs = Int64.of_int (60 * 60 * 24)
let key_to_lines key =
let full_keyid = Fingerprint.keyid_from_key ~short:false key in
let keyid = Fingerprint.keyid_to_string ~short:false full_keyid in
let fpr = Utils.hexstring (Fingerprint.fp_from_key key) in
let pkey = KeyMerge.key_to_pkey key in
let key_packet = pkey.KeyMerge.key in
let pki = ParsePGP.parse_pubkey_info key_packet in
let uids = pkey.KeyMerge.uids in
let exp_string = match pki.pk_expiration with
| None -> ""
| Some 0 -> "-"
| Some days -> sprintf "%Ld"
(Int64.add pki.pk_ctime (Int64.mul daysecs (Int64.of_int days)))
in
let key_expiry = key_expiration_from_uids full_keyid pki.pk_ctime uids in
let key_expiry_string = if Int64.to_int key_expiry = 0
then exp_string else sprintf "%Ld" key_expiry
in
let key_line = sprintf "pub:%s:%d:%d:%Ld:%s:%s"
(* Since it is not possible to calculate the key ID from a V3 fingerprint, *)
(* return the 16-digit key ID for V3 keys. *)
(match String.length fpr with
| 32 -> keyid
| _ -> fpr )
pki.pk_alg
pki.pk_keylen
pki.pk_ctime
key_expiry_string
(if (Index.is_revoked key) then "r" else "")
in
let uid_lines =
List.map ~f:(fun (uid,sigs) ->
match uid.packet_type with
User_ID_Packet -> uid_to_line full_keyid uid sigs
| User_Attribute_Packet -> "uat::::"
| _ -> "???::::"
) uids
in
key_line::uid_lines
let keys_to_lines keys =
let first = sprintf "info:%d:%d" mr_version (List.length keys) in
let keylines = List.concat (List.map ~f:key_to_lines keys) in
first::keylines
let keys_to_index keys =
(String.concat ~sep:"\n" (keys_to_lines keys)) ^ "\n"
|