<!DOCTYPE html>
<html>
<head>
<title>Features - Frama-C</title>
<meta http-equiv = "refresh" content = "0; url=/html/kernel-plugin.html" />
<link rel="canonical" href="https://www.frama-c.com/html/kernel-plugin.html" />
<meta description = "Overview of all the analyzers of the Frama-C analysis platform with access to summaries, quick examples, user manuals and links to other resources." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/kernel-plugin.html">Kernel and plugins page</a></p>
</body>
</html>