Klever

{

    "Linux kernel": {

      "source": "linux-4.11.4.tar.gz",

      "configuration": "allmodconfig",

      "modules": ["drivers/misc/lkdtm.ko"]

    },

    "LKVOG strategy": {"name": "separate modules"},

    "maximum verification object size": 30000,

    "rule specifications DB": "rule specs.json",

    "specifications set": "Linux 4.6.7",

    "rule specifications": ["generic:memory"],

    "VTG strategy": {

      "name": "rule specification bugs",

      "verifier": {

        "name": "CPAchecker",

        "version": "bf6d3cb"

    },

    "merge source files": true

  }

}