;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015, 2016, 2019 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix 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 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix 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 GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-cve)
  #:use-module (guix cve)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-19)
  #:use-module (srfi srfi-64))

(define %sample
  (search-path %load-path "tests/cve-sample.json"))

(define (vulnerability id packages)
  (make-struct/no-tail (@@ (guix cve) <vulnerability>) id packages))

(define %expected-vulnerabilities
  ;; What we should get when reading %SAMPLE.
  (list
   (vulnerability "CVE-2019-0001"
                  ;; Only the "a" CPE configurations are kept; the "o"
                  ;; configurations are discarded.
                  '(("junos" (or "18.21-s4" (or "18.21-s3" "18.2")))))
   (vulnerability "CVE-2019-0005"
                  '(("junos" (or "18.11" "18.1"))))
   ;; CVE-2019-0005 has no "a" configurations.
   (vulnerability "CVE-2019-14811"
                  '(("ghostscript" (< "9.28"))))
   (vulnerability "CVE-2019-17365"
                  '(("nix" (<= "2.3"))))
   (vulnerability "CVE-2019-1010180"
                  '(("gdb" _)))                   ;any version
   (vulnerability "CVE-2019-1010204"
                  '(("binutils" (and (>= "2.21") (<= "2.31.1")))
                    ("binutils_gold" (and (>= "1.11") (<= "1.16")))))
   ;; CVE-2019-18192 has no associated configurations.
   ))


(test-begin "cve")

(test-equal "json->cve-items"
  '("CVE-2019-0001"
    "CVE-2019-0005"
    "CVE-2019-14811"
    "CVE-2019-17365"
    "CVE-2019-1010180"
    "CVE-2019-1010204"
    "CVE-2019-18192")
  (map (compose cve-id cve-item-cve)
       (call-with-input-file %sample json->cve-items)))

(test-equal "cve-item-published-date"
  '(2019)
  (delete-duplicates
   (map (compose date-year cve-item-published-date)
        (call-with-input-file %sample json->cve-items))))

(test-equal "json->vulnerabilities"
  %expected-vulnerabilities
  (call-with-input-file %sample json->vulnerabilities))

(test-equal "vulnerabilities->lookup-proc"
  (list (list (third %expected-vulnerabilities))  ;ghostscript
        (list (third %expected-vulnerabilities))
        '()

        (list (fifth %expected-vulnerabilities))  ;gdb
        (list (fifth %expected-vulnerabilities))

        (list (fourth %expected-vulnerabilities)) ;nix
        '()

        (list (sixth %expected-vulnerabilities))  ;binutils
        '()
        (list (sixth %expected-vulnerabilities))
        '())
  (let* ((vulns  (call-with-input-file %sample json->vulnerabilities))
         (lookup (vulnerabilities->lookup-proc vulns)))
    (list (lookup "ghostscript")
          (lookup "ghostscript" "9.27")
          (lookup "ghostscript" "9.28")
          (lookup "gdb")
          (lookup "gdb" "42.0")
          (lookup "nix")
          (lookup "nix" "2.4")
          (lookup "binutils" "2.31.1")
          (lookup "binutils" "2.10")
          (lookup "binutils_gold" "1.11")
          (lookup "binutils" "2.32"))))

(test-end "cve")
tr>
<tr><td><span title='2016-03-02 21:41:41 +0100'>2016-03-02</span></td><td><a href='/guix/commit/tests/ui.scm?id=1b846da8c372bee78851439fd9e72b2499115e5a'>utils: Use '@' for separating package names and version numbers.</a><span class='msg-avail'>...</span></td><td>Mathieu Lirzin</td></tr>
<tr><td><span title='2015-09-24 22:04:51 +0200'>2015-09-24</span></td><td><a href='/guix/commit/tests/ui.scm?id=08d7e3592faa93f508cd7f0c30199fe53c87892b'>ui: Gracefully handle Unicode description strings.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-09-18 21:42:06 +0300'>2015-09-18</span></td><td><a href='/guix/commit/tests/ui.scm?id=88981dd3e2b5bb3ae1ad7e54648c038226282a61'>Add (guix scripts).</a><span class='msg-avail'>...</span></td><td>Alex Kost</td></tr>
<tr><td><span title='2015-02-26 00:04:36 +0100'>2015-02-26</span></td><td><a href='/guix/commit/tests/ui.scm?id=cf6ce3e6ef96abc36a40293b2d9f732d462d2a94'>ui: Honor --no-* options passed via $GUIX_BUILD_OPTIONS.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-26 00:04:36 +0100'>2015-02-26</span></td><td><a href='/guix/commit/tests/ui.scm?id=b3f213893b67620840597213b8f46af1ddfb4934'>ui: Factorize command-line + env. var. option parsing.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-08 19:00:39 +0100'>2015-02-08</span></td><td><a href='/guix/commit/tests/ui.scm?id=77ee4a96f4a128d2a139a1908f7b8c5d0d97d9a8'>ui: Simplify 'show-manifest-transaction' test.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2014-10-10 00:06:35 +0200'>2014-10-10</span></td><td><a href='/guix/commit/tests/ui.scm?id=5d7a8584f5c6aeed720c1115b8d46aa5a8d3157b'>ui: Move 'show-manifest-transaction' from (guix profiles).</a><span class='msg-avail'>...</span></td><td>Alex Kost</td></tr>
<tr><td><span title='2014-10-03 18:03:09 +0200'>2014-10-03</span></td><td><a href='/guix/commit/tests/ui.scm?id=4a44d7bbc68ff3e363e6c166a588474cbd6c20f8'>ui: Recognize the same size units as Coreutils.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>