<!DOCTYPE html>
<html lang="en" data-content_root="../../">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
<title>rv — The Linux Kernel documentation</title>
<link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=fa44fd50" />
<link rel="stylesheet" type="text/css" href="../../_static/alabaster.css?v=3918102e" />
<script src="../../_static/documentation_options.js?v=5929fcd5"></script>
<script src="../../_static/doctools.js?v=9bcbadda"></script>
<script src="../../_static/sphinx_highlight.js?v=dc90522c"></script>
<link rel="index" title="Index" href="../../genindex.html" />
<link rel="search" title="Search" href="../../search.html" />
<link rel="next" title="rv-list" href="rv-list.html" />
<link rel="prev" title="Runtime verification (rv) tool" href="index.html" />
<link rel="stylesheet" href="../../_static/custom.css" type="text/css" />
</head><body>
<div class="document">
<div class="sphinxsidebar" role="navigation" aria-label="Main">
<div class="sphinxsidebarwrapper">
<p class="logo"><a href="../../index.html">
<img class="logo" src="../../_static/logo.svg" alt="Logo of The Linux Kernel"/>
</a></p>
<h1 class="logo"><a href="../../index.html">The Linux Kernel</a></h1>
<p class="blurb">6.18.50</p>
<search id="searchbox" style="display: none" role="search">
<h3 id="searchlabel">Quick search</h3>
<div class="searchformwrapper">
<form class="search" action="../../search.html" method="get">
<input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
<input type="submit" value="Go" />
</form>
</div>
</search>
<script>document.getElementById('searchbox').style.display = "block"</script>
<p>
<h3 class="kernel-toc-contents">Contents</h3>
<input type="checkbox" class="kernel-toc-toggle" id = "kernel-toc-toggle" checked>
<label class="kernel-toc-title" for="kernel-toc-toggle"></label>
<div class="kerneltoc" id="kerneltoc">
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../process/development-process.html">Development process</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../process/submitting-patches.html">Submitting patches</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../process/code-of-conduct.html">Code of conduct</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../maintainer/index.html">Maintainer handbook</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../process/index.html">All development-process docs</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../core-api/index.html">Core API</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../driver-api/index.html">Driver APIs</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../subsystem-apis.html">Subsystems</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../locking/index.html">Locking</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../process/license-rules.html">Licensing rules</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../doc-guide/index.html">Writing documentation</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../dev-tools/index.html">Development tools</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../dev-tools/testing-overview.html">Testing guide</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../kernel-hacking/index.html">Hacking guide</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../trace/index.html">Tracing</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../fault-injection/index.html">Fault injection</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../livepatch/index.html">Livepatching</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../rust/index.html">Rust</a></li>
</ul>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="../../admin-guide/index.html">Administration</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../kbuild/index.html">Build system</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../admin-guide/reporting-issues.html">Reporting issues</a></li>
<li class="toctree-l1 current"><a class="reference internal" href="../index.html">Userspace tools</a><ul class="current">
<li class="toctree-l2"><a class="reference internal" href="../rtla/index.html">The realtime Linux analysis tool</a></li>
<li class="toctree-l2 current"><a class="reference internal" href="index.html">Runtime verification (rv) tool</a><ul class="current">
<li class="toctree-l3 current"><a class="current reference internal" href="#">rv</a></li>
<li class="toctree-l3"><a class="reference internal" href="rv-list.html">rv-list</a></li>
<li class="toctree-l3"><a class="reference internal" href="rv-mon.html">rv-mon</a></li>
<li class="toctree-l3"><a class="reference internal" href="rv-mon-wip.html">rv-mon-wip</a></li>
<li class="toctree-l3"><a class="reference internal" href="rv-mon-wwnr.html">rv-mon-wwnr</a></li>
<li class="toctree-l3"><a class="reference internal" href="rv-mon-sched.html">rv-mon-sched</a></li>
</ul>
</li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="../../userspace-api/index.html">Userspace API</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../firmware-guide/index.html">Firmware</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../devicetree/index.html">Firmware and Devicetree</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../arch/index.html">CPU architectures</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../staging/index.html">Unsorted documentation</a></li>
</ul>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../translations/index.html">Translations</a></li>
</ul>
</div>
<script type="text/javascript"> <!--
var sbar = document.getElementsByClassName("sphinxsidebar")[0];
let currents = document.getElementsByClassName("current")
if (currents.length) {
sbar.scrollTop = currents[currents.length - 1].offsetTop;
}
--> </script>
<div role="note" aria-label="source link">
<h3>This Page</h3>
<ul class="this-page-menu">
<li><a href="../../_sources/tools/rv/rv.rst.txt"
rel="nofollow">Show Source</a></li>
</ul>
</div>
</div>
</div>
<div class="documentwrapper">
<div class="bodywrapper">
<div class="body" role="main">
<section id="rv">
<h1>rv<a class="headerlink" href="#rv" title="Link to this heading">¶</a></h1>
<section id="runtime-verification">
<h2>Runtime Verification<a class="headerlink" href="#runtime-verification" title="Link to this heading">¶</a></h2>
<dl class="field-list simple">
<dt class="field-odd">Manual section<span class="colon">:</span></dt>
<dd class="field-odd"><p>1</p>
</dd>
</dl>
<section id="synopsis">
<h3>SYNOPSIS<a class="headerlink" href="#synopsis" title="Link to this heading">¶</a></h3>
<p><strong>rv</strong> <em>COMMAND</em> [<em>OPTIONS</em>]</p>
</section>
<section id="description">
<h3>DESCRIPTION<a class="headerlink" href="#description" title="Link to this heading">¶</a></h3>
<p>Runtime Verification (<strong>RV</strong>) is a lightweight (yet rigorous) method
for formal verification with a practical approach for complex systems.
Instead of relying on a fine-grained model of a system (e.g., a
re-implementation a instruction level), RV works by analyzing the trace
of the system’s actual execution, comparing it against a formal
specification of the system behavior.</p>
<p>The <strong>rv</strong> tool provides the interface for a collection of runtime
verification (rv) monitors.</p>
</section>
<section id="commands">
<h3>COMMANDS<a class="headerlink" href="#commands" title="Link to this heading">¶</a></h3>
<p><strong>list</strong></p>
<blockquote>
<div><p>List all available monitors.</p>
</div></blockquote>
<p><strong>mon</strong></p>
<blockquote>
<div><p>Run monitor.</p>
</div></blockquote>
</section>
<section id="options">
<h3>OPTIONS<a class="headerlink" href="#options" title="Link to this heading">¶</a></h3>
<p><strong>-h</strong>, <strong>--help</strong></p>
<blockquote>
<div><p>Display the help text.</p>
</div></blockquote>
<p>For other options, see the man page for the corresponding command.</p>
</section>
<section id="see-also">
<h3>SEE ALSO<a class="headerlink" href="#see-also" title="Link to this heading">¶</a></h3>
<p><strong>rv-list</strong>(1), <strong>rv-mon</strong>(1)</p>
<p>Linux kernel <em>RV</em> documentation:
<<a class="reference external" href="https://www.kernel.org/doc/html/latest/trace/rv/index.html">https://www.kernel.org/doc/html/latest/trace/rv/index.html</a>></p>
</section>
<section id="author">
<h3>AUTHOR<a class="headerlink" href="#author" title="Link to this heading">¶</a></h3>
<p>Daniel Bristot de Oliveira <<a class="reference external" href="mailto:bristot%40kernel.org">bristot<span>@</span>kernel<span>.</span>org</a>></p>
</section>
<section id="reporting-bugs">
<h3>REPORTING BUGS<a class="headerlink" href="#reporting-bugs" title="Link to this heading">¶</a></h3>
<p>Report bugs to <<a class="reference external" href="mailto:linux-kernel%40vger.kernel.org">linux-kernel<span>@</span>vger<span>.</span>kernel<span>.</span>org</a>>
and <<a class="reference external" href="mailto:linux-trace-devel%40vger.kernel.org">linux-trace-devel<span>@</span>vger<span>.</span>kernel<span>.</span>org</a>></p>
</section>
<section id="license">
<h3>LICENSE<a class="headerlink" href="#license" title="Link to this heading">¶</a></h3>
<p><strong>rv</strong> is Free Software licensed under the GNU GPLv2</p>
</section>
<section id="copying">
<h3>COPYING<a class="headerlink" href="#copying" title="Link to this heading">¶</a></h3>
<p>Copyright (C) 2022 Red Hat, Inc. Free use of this software is granted under
the terms of the GNU Public License (GPL).</p>
</section>
</section>
</section>
</div>
</div>
</div>
<div class="clearer"></div>
</div>
<div class="footer">
©The kernel development community.
|
Powered by <a href="https://www.sphinx-doc.org/">Sphinx 8.1.3</a>
& <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
|
<a href="../../_sources/tools/rv/rv.rst.txt"
rel="nofollow">Page source</a>
</div>
</body>
</html>