<!DOCTYPE html> <html> <head> <title>Scope & Data-flow browsing</title> <meta http-equiv = "refresh" content = "0; url=/fc-plugins/scope.html" /> <link rel="canonical" href="https://www.frama-c.com/fc-plugins/scope.html" /> <meta description = "Allows the user to navigate the dataflow of the program, from definition to use or from use to definition." /> </head> <body> <p>Redirect to <a href="https://www.frama-c.com/fc-plugins/scope.html">Scope</a></p> </body> </html>