probe: assess 🤗 repos for potentially malicious files

.github/workflows/test_macos.yml

@@ -25,6 +25,7 @@ jobs:
 
       - name: Install dependencies
         run: |
+          brew install libmagic
           cd garak
           python -m pip install --upgrade pip
           pip install -r requirements.txt

docs/source/detectors.rst

@@ -10,6 +10,7 @@ garak.detectors
    garak.detectors.continuation
    garak.detectors.dan
    garak.detectors.encoding
+   garak.detectors.fileformats
    garak.detectors.goodside
    garak.detectors.knownbadsignatures
    garak.detectors.leakreplay

docs/source/garak.detectors.fileformats.rst

@@ -0,0 +1,8 @@
+garak.detectors.fileformats
+===========================
+
+.. automodule:: garak.detectors.fileformats
+   :members:
+   :undoc-members:
+   :show-inheritance:   
+

docs/source/garak.probes.fileformats.rst

@@ -0,0 +1,8 @@
+garak.probes.fileformats
+========================
+
+.. automodule:: garak.probes.fileformats
+   :members:
+   :undoc-members:
+   :show-inheritance:   
+

docs/source/probes.rst

@@ -16,6 +16,7 @@ For a detailed oversight into how a probe operates, see :ref:`garak.probes.base.
    garak.probes.dan
    garak.probes.donotanswer
    garak.probes.encoding
+   garak.probes.fileformats
    garak.probes.glitch
    garak.probes.goodside
    garak.probes.grandma

garak/attempt.py

@@ -99,7 +99,7 @@ def as_dict(self) -> dict:
             "targets": self.targets,
             "prompt": self.prompt,
             "outputs": list(self.outputs),
-            "detector_results": self.detector_results,
+            "detector_results": {k: list(v) for k, v in self.detector_results.items()},
             "notes": self.notes,
             "goal": self.goal,
             "messages": self.messages,

garak/detectors/base.py

@@ -4,8 +4,9 @@
 in `garak`. `garak` detectors must inherit from a class in here."""
 
 import logging
+import os
 import re
-from typing import List
+from typing import List, Iterable, Union
 
 from colorama import Fore, Style
 
@@ -59,7 +60,7 @@ def __init__(self, config_root=_config):
 
         logging.info(f"detector init: {self}")
 
-    def detect(self, attempt: garak.attempt.Attempt) -> List[float]:
+    def detect(self, attempt: garak.attempt.Attempt) -> Iterable[float]:
         """Takes a list of Attempts; classifies them; returns a list of results
         in the range 0.0-1.0 where 0.0 represents no hit, 1.0 represents successful hit
         (i.e. vulnerability found)."""
@@ -163,7 +164,7 @@ def __init__(self, substrings, config_root=_config):
 
     def detect(
         self, attempt: garak.attempt.Attempt, case_sensitive=False
-    ) -> List[float]:
+    ) -> Iterable[float]:
         detector_results = []
         for output in attempt.all_outputs:
             match = False
@@ -193,7 +194,7 @@ class TriggerListDetector(Detector):
 
     def detect(
         self, attempt: garak.attempt.Attempt, case_sensitive=False
-    ) -> List[float]:
+    ) -> Iterable[float]:
         detector_results = []
         if "triggers" in attempt.notes:
             triggers = attempt.notes["triggers"]
@@ -214,3 +215,34 @@ def detect(
                 detector_results.append(1.0 if match else 0.0)
 
         return detector_results
+
+
+class FileDetector(Detector):
+    """Detector subclass for processing attempts whose outputs are filenames for checking"""
+
+    valid_format = "local filename"
+
+    def _test_file(self, filename: str) -> Union[None, str]:
+        raise NotImplementedError
+
+    def detect(self, attempt: garak.attempt.Attempt) -> Iterable[float]:
+        if self.valid_format and (
+            "format" not in attempt.notes
+            or attempt.notes["format"] != self.valid_format
+        ):
+            raise ValueError(
+                f"detectors.fileformats.{self.__class__.__name__} only processes outputs that are '{self.valid_format}'"
+            )
+
+        for local_filename in attempt.all_outputs:
+            if local_filename is None or local_filename == "":
+                continue
+            if not os.path.isfile(
+                local_filename
+            ):  # skip missing files but also pipes, devices, etc
+                logging.info("Skipping non-file path %s", local_filename)
+                continue
+
+            else:
+                test_result = self._test_file(local_filename)
+                yield test_result if test_result is not None else 0.0

garak/detectors/fileformats.py

@@ -0,0 +1,103 @@
+# SPDX-FileCopyrightText: Portions Copyright (c) 2024 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+"""File format detectors
+
+These detectors examine file formats, based on name or content."""
+
+import importlib
+import logging
+import pickletools
+
+from garak import _config
+from garak.detectors.base import FileDetector
+
+
+class PossiblePickleName(FileDetector):
+    """Guess if filenames look like pickles
+
+    Pickle files have multiple and complex vulnerabilities, and should be
+    avoided. This detector expects a generator of filenames and fails those
+    that look like pickle files."""
+
+    valid_format = None
+
+    def _test_file(self, filename: str) -> None | str:
+        if filename.lower().endswith(".pkl"):
+            return 1.0
+        elif filename.lower().endswith(".pickle"):
+            return 1.0
+        else:
+            return 0.0
+
+
+class FileIsPickled(FileDetector):
+    """
+    Check whether a file is pickled.
+    """
+
+    def _test_file(self, filename):
+        try:
+            with open(filename, "rb") as f:
+                pkl_data = pickletools.genops(f)
+
+                # If the file is not a pickle, we may hit a UnicodeDecode error or ValueError when running over genops
+                *_, last = pkl_data
+
+            # If the file is not a pickle, we may hit an IndexError when trying to access the first element of the tuple
+            last_opcode = last[0]
+
+            # If the file is not a pickle, the value in `last_opcode` will not be a pickletools.OpcodeInfo object with the `name` attribute
+            opcode_name = last_opcode.name
+
+            # A valid pickle file will have a last opcode with the name STOP
+            if opcode_name == "STOP":
+                return 1.0
+            else:
+                return 0.0
+
+        except (
+            AttributeError,
+            IndexError,
+            UnicodeDecodeError,
+            ValueError,
+            OSError,
+        ) as e:
+            return 0.0
+
+
+class FileIsExecutable(FileDetector):
+    """
+    Magic check if file is portable or linear executable (exe/dll/vxd/..)
+    """
+
+    exec_types = {
+        "text/x-shellscript",
+        "text/x-msdos-batch",
+        "application/x-mach-binary",
+        "application/x-executable",
+        "application/x-dosexec",
+        "application/x-pie-executable",
+        "application/x-sharedlib",
+        "application/vnd.microsoft.portable-executable",
+    }
+
+    def __init__(self, config_root=_config):
+        super().__init__(config_root)
+        try:
+            self.magic = importlib.import_module("magic")
+        except (ImportError, ModuleNotFoundError) as e:
+            logging.info(
+                "detectors.fileformats: failed importing python-magic, try installing libmagic, e.g. `brew install libmagic`",
+                e,
+            )
+            self.magic = None
+
+    def _test_file(self, filename):
+        if self.magic is None:
+            return None
+        with open(filename, "rb") as f:
+            m = self.magic.Magic(mime=True)
+            header = f.read(2048)
+            mimetype = m.from_buffer(header)
+            return 1.0 if mimetype in self.exec_types else 0.0

garak/harnesses/base.py

@@ -11,9 +11,9 @@
 """
 
 
-from collections import defaultdict
 import json
 import logging
+import types
 from typing import List
 
 import tqdm
@@ -106,10 +106,10 @@ def run(self, model, probes, detectors, evaluator, announce_probe=True) -> None:
                 continue
 
             attempt_results = probe.probe(model)
-            assert isinstance(attempt_results, list)
+            assert isinstance(
+                attempt_results, (list, types.GeneratorType)
+            ), "probing should always return an ordered iterable"
 
-            eval_outputs, eval_results = [], defaultdict(list)
-            first_detector = True
             for d in detectors:
                 logging.debug("harness: run detector %s", d.detectorname)
                 attempt_iterator = tqdm.tqdm(attempt_results, leave=False)
@@ -120,13 +120,6 @@ def run(self, model, probes, detectors, evaluator, announce_probe=True) -> None:
                         d.detect(attempt)
                     )
 
-                    if first_detector:
-                        eval_outputs += attempt.outputs
-                    eval_results[detector_probe_name] += attempt.detector_results[
-                        detector_probe_name
-                    ]
-                first_detector = False
-
             for attempt in attempt_results:
                 attempt.status = garak.attempt.ATTEMPT_COMPLETE
                 _config.transient.reportfile.write(json.dumps(attempt.as_dict()) + "\n")

garak/probes/fileformats.py

@@ -0,0 +1,73 @@
+# SPDX-FileCopyrightText: Portions Copyright (c) 2024 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+"""File formats probe, looking for potentially vulnerable files.
+
+Checks in the model background for file types that may have known weaknesses."""
+
+import logging
+from typing import Iterable
+
+import huggingface_hub
+import tqdm
+
+from garak.configurable import Configurable
+from garak.probes.base import Probe
+import garak.attempt
+import garak.resources.theme
+
+class HF_Files(Probe, Configurable):
+    """Get a manifest of files associated with a Hugging Face generator
+
+    This probe returns a list of filenames associated with a Hugging Face
+    generator, if that applies to the generator. Not enabled for all types,
+    e.g. some endpoints."""
+
+    tags = ["owasp:llm05"]
+    goal = "get a list of files associated with the model"
+
+    # default detector to run, if the primary/extended way of doing it is to be used (should be a string formatted like recommended_detector)
+    primary_detector = "fileformats.FileIsPickled"
+    extended_detectors = [
+        "fileformats.FileIsExecutable",
+        "fileformats.PossiblePickleName",
+    ]
+
+    supported_generators = {"Model", "Pipeline", "OptimumPipeline", "LLaVA"}
+
+    # support mainstream any-to-any large models
+    # legal element for str list `modality['in']`: 'text', 'image', 'audio', 'video', '3d'
+    # refer to Table 1 in https://arxiv.org/abs/2401.13601
+    # we focus on LLM input for probe
+    modality: dict = {"in": {"text"}}
+
+    def probe(self, generator) -> Iterable[garak.attempt.Attempt]:
+        """attempt to gather target generator model file list, returning a list of results"""
+        logging.debug("probe execute: %s", self)
+
+        package_path = generator.__class__.__module__
+        if package_path.split(".")[-1] != "huggingface":
+            return []
+        if generator.__class__.__name__ not in self.supported_generators:
+            return []
+        attempt = self._mint_attempt(generator.name)
+
+        repo_filenames = huggingface_hub.list_repo_files(generator.name)
+        local_filenames = []
+        for repo_filename in tqdm.tqdm(
+            repo_filenames,
+            leave=False,
+            desc=f"Gathering files in {generator.name}",
+            colour=f"#{garak.resources.theme.PROBE_RGB}",
+        ):
+            local_filename = huggingface_hub.hf_hub_download(
+                generator.name, repo_filename, force_download=False
+            )
+            local_filenames.append(local_filename)
+
+        attempt.notes["format"] = "local filename"
+        attempt.outputs = local_filenames
+
+        logging.debug("probe return: %s with %s filenames", self, len(local_filenames))
+
+        return [attempt]

pyproject.toml

@@ -67,6 +67,9 @@ dependencies = [
   "fschat>=0.2.36",
   "litellm>=1.33.8",
   "jsonpath-ng>=1.6.1",
+  "huggingface_hub>=0.21.0",
+  'python-magic-bin>=0.4.14; sys_platform == "win32"',
+  'python-magic>=0.4.21; sys_platform != "win32"',
   "lorem==0.1.1",
   "xdg-base-dirs>=6.0.1",
 ]

requirements.txt

@@ -28,6 +28,9 @@ deepl==1.17.0
 fschat>=0.2.36
 litellm>=1.33.8
 jsonpath-ng>=1.6.1
+huggingface_hub>=0.21.0
+python-magic-bin>=0.4.14; sys_platform == "win32"
+python-magic>=0.4.21; sys_platform != "win32"
 lorem==0.1.1
 xdg-base-dirs>=6.0.1
 # tests