tests/openpgp: Reimplement tests in Scheme.
[gnupg.git] / tests / openpgp / clearsig.scm
1 #!/usr/bin/env gpgscm
2
3 ;; Copyright (C) 2016 g10 Code GmbH
4 ;;
5 ;; This file is part of GnuPG.
6 ;;
7 ;; GnuPG is free software; you can redistribute it and/or modify
8 ;; it under the terms of the GNU General Public License as published by
9 ;; the Free Software Foundation; either version 3 of the License, or
10 ;; (at your option) any later version.
11 ;;
12 ;; GnuPG is distributed in the hope that it will be useful,
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 ;; GNU General Public License for more details.
16 ;;
17 ;; You should have received a copy of the GNU General Public License
18 ;; along with this program; if not, see <http://www.gnu.org/licenses/>.
19
20 (load (with-path "defs.scm"))
21
22 (define (check-signing args input)
23   (lambda (source sink)
24     (lettmp (signed)
25             (call-popen `(,@GPG --output ,signed --yes
26                                 ,@args ,source) input)
27             (call-popen `(,@GPG --output ,sink --yes ,signed) ""))))
28
29 (for-each-p
30  "Checking signing and verifying plain text messages"
31  (lambda (source)
32    ((if (equal? "plain-3" source)
33         ;; plain-3 does not end in a newline, and gpg will add one.
34         ;; Therefore, we merely check that the verification is ok.
35         check-execution
36         ;; Otherwise, we do check that we recover the original file.
37         check-identity)
38     source
39     (check-signing '(--passphrase-fd "0" --clearsign) usrpass1)))
40  (append plain-files '("plain-large")))
41
42 ;; The test vectors are lists of length three, containing
43 ;; - a string to be signed,
44 ;; - a flag indicating whether we verify that the exact message is
45 ;;   reconstructed (whitespace at the end is normalized for plain text
46 ;;   messages),
47 ;; - and a list of arguments to add to gpg when encoding
48 ;;   the string.
49
50 (define :string car)
51 (define :check-equality cadr)
52 (define :options caddr)
53
54 (define
55   vectors
56   '(;; one with long lines
57     ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxyx
58
59 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
60 " #t ())
61
62     ;; one with only one long line
63     ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxyx
64 " #t ())
65
66     ;; and one with an empty body
67     ("" #f ())
68
69     ;; and one with one empty line at the end
70     ("line 1
71 line 2
72 line 3
73 there is a blank line after this
74
75 " #t ())
76
77     ;; I think this file will be constructed wrong (gpg 0.9.3) but it
78     ;; should verify okay anyway.
79     ("this is a sig test
80  " #f ())
81
82     ;; check our special diff mode
83     ("--- mainproc.c    Tue Jun 27 09:28:11 2000
84 +++ mainproc.c~ Thu Jun  8 22:50:25 2000
85 @@ -1190,16 +1190,13 @@
86                 md_enable( c->mfx.md, n1->pkt->pkt.signature->digest_algo);
87             }
88             /* ask for file and hash it */
89 -           if( c->sigs_only ) {
90 +           if( c->sigs_only )
91                 rc = hash_datafiles( c->mfx.md, NULL,
92                                      c->signed_data, c->sigfilename,
93                         n1? (n1->pkt->pkt.onepass_sig->sig_class == 0x01):0 );
94 " #t (--not-dash-escaped))))
95
96 (let ((counter (make-counter)))
97   (for-each-p'
98    "Checking signing and verifying test vectors"
99    (lambda (vec)
100      (lettmp (tmp)
101        (with-output-to-file tmp (lambda () (display (:string vec))))
102        ((if (:check-equality vec) check-identity check-execution)
103         tmp
104         (check-signing `(--passphrase-fd "0" --clearsign ,@(:options vec))
105                        usrpass1))))
106    (lambda (vec) (counter))
107    vectors))