This is the (user-space) runtime verification tool named rv. This tool aims to be the interface for in-kernel rv monitors, as well as the home for user-space controlled monitors. The tool receives a command as the first argument, the current commands are: list - list all available monitors mon - run a given monitor Each monitor is an independent piece of software inside the tool and can have their own arguments. Changes from v1: - typos and format - fixed __ikm_read_enable() value check in ikm_read_enable() - adjust patch 2 log - improved function comments (mainly those /**). Daniel Bristot de Oliveira (3): rv: Add rv tool tools/rv: Add in-kernel monitor interface Documentation/rv: Add verification/rv man pages Documentation/tools/index.rst | 1 + Documentation/tools/rv/Makefile | 52 ++ Documentation/tools/rv/common_appendix.rst | 16 + Documentation/tools/rv/common_ikm.rst | 21 + Documentation/tools/rv/index.rst | 24 + Documentation/tools/rv/rv-list.rst | 43 ++ Documentation/tools/rv/rv-mon-wip.rst | 44 ++ Documentation/tools/rv/rv-mon-wwnr.rst | 43 ++ Documentation/tools/rv/rv-mon.rst | 55 ++ Documentation/tools/rv/rv.rst | 63 ++ tools/verification/rv/Makefile | 141 +++++ tools/verification/rv/README.txt | 38 ++ tools/verification/rv/include/in_kernel.h | 3 + tools/verification/rv/include/rv.h | 12 + tools/verification/rv/include/trace.h | 16 + tools/verification/rv/include/utils.h | 8 + tools/verification/rv/src/in_kernel.c | 698 +++++++++++++++++++++ tools/verification/rv/src/rv.c | 188 ++++++ tools/verification/rv/src/trace.c | 133 ++++ tools/verification/rv/src/utils.c | 47 ++ 20 files changed, 1646 insertions(+) create mode 100644 Documentation/tools/rv/Makefile create mode 100644 Documentation/tools/rv/common_appendix.rst create mode 100644 Documentation/tools/rv/common_ikm.rst create mode 100644 Documentation/tools/rv/index.rst create mode 100644 Documentation/tools/rv/rv-list.rst create mode 100644 Documentation/tools/rv/rv-mon-wip.rst create mode 100644 Documentation/tools/rv/rv-mon-wwnr.rst create mode 100644 Documentation/tools/rv/rv-mon.rst create mode 100644 Documentation/tools/rv/rv.rst create mode 100644 tools/verification/rv/Makefile create mode 100644 tools/verification/rv/README.txt create mode 100644 tools/verification/rv/include/in_kernel.h create mode 100644 tools/verification/rv/include/rv.h create mode 100644 tools/verification/rv/include/trace.h create mode 100644 tools/verification/rv/include/utils.h create mode 100644 tools/verification/rv/src/in_kernel.c create mode 100644 tools/verification/rv/src/rv.c create mode 100644 tools/verification/rv/src/trace.c create mode 100644 tools/verification/rv/src/utils.c -- 2.37.3
|