<!DOCTYPE html> <html> <head> <title>Slicing</title> <meta http-equiv = "refresh" content = "0; url=/fc-plugins/slicing.html" /> <link rel="canonical" href="https://www.frama-c.com/fc-plugins/slicing.html" /> <meta description = "Slices the code according to user-provided criteria." /> </head> <body> <p>Redirect to <a href="https://www.frama-c.com/fc-plugins/slicing.html">Slicing</a></p> </body> </html>