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. 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 | 13 + Documentation/tools/rv/common_ikm.rst | 21 + Documentation/tools/rv/index.rst | 24 + Documentation/tools/rv/rv-list.rst | 39 ++ Documentation/tools/rv/rv-mon-wip.rst | 40 ++ Documentation/tools/rv/rv-mon-wwnr.rst | 39 ++ Documentation/tools/rv/rv-mon.rst | 51 ++ Documentation/tools/rv/rv.rst | 57 ++ 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 | 177 ++++++ tools/verification/rv/src/trace.c | 128 ++++ tools/verification/rv/src/utils.c | 46 ++ 20 files changed, 1604 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
