Skip to content
Snippets Groups Projects
Commit cfdbccb5 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Redirect plugins

parent 2fedea2d
No related branches found
No related tags found
1 merge request!96Add redirections for old urls
Pipeline #30982 passed
---
layout: plugin
title: E-ACSL
description: Runtime Verification Tool
description: Runtime Verification Tool.
key: main
priority: 1
manual_pdf: /download/e-acsl/e-acsl-manual.pdf
......
---
layout: plugin
title: Jessie
description: A deductive verification plug-in
description: A deductive verification plug-in.
key: main
distrib_mode: obsolete
---
......
---
layout: plugin
title: PathCrawler
description: White-box test cases generator
description: White-box test cases generator.
key: main
distrib_mode: proprietary
manual_pdf: /download/frama-c-pathcrawler.pdf
......
---
layout: plugin
title: RTE
description: Generates annotations for possible runtime errors and other properties
description: Generates annotations for possible runtime errors and other properties.
key: specifications
distrib_mode: main
manual_pdf: /download/rte-manual.pdf
......
<!DOCTYPE html>
<html>
<head>
<title>Aoraï</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/aorai.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/aorai.html" />
<meta description = "Verify specifications expressed as LTL (Linear Temporal Logic) formulas." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/aorai.html">Aoraï</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Semantic constant folding</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/semantic-constant-folding.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html" />
<meta description = "Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their values." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html">Semantic Constant Folding</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>E-ACSL</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/e-acsl.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/e-acsl.html" />
<meta description = "Runtime Verification Tool." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/e-acsl.html">E-ACSL</a></p>
</body>
</html>
\ No newline at end of file
eva.html 0 → 100644
<!DOCTYPE html>
<html>
<head>
<title>EVA, an Evolved Value Analysis</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/eva.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/eva.html" />
<meta description = "Automatically computes variation domains for the variables of the program." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/eva.html">EVA</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Frama-Clang</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/frama-clang.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/frama-clang.html" />
<meta description = "C++ front-end to Frama-C, based on the clang compiler." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/frama-clang.html">Frama-Clang</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Impact analysis</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/impact.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/impact.html" />
<meta description = "Highlights the locations in the source code that are impacted by a modification." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/impact.html">Impact</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Jessie</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/jessie.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/jessie.html" />
<meta description = "A deductive verification plug-in." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/jessie.html">Jessie</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Metrics calculation</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/metrics-calculation.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/metrics-calculation.html" />
<meta description = "Allows the user to compute various metrics from the source code." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/metrics-calculation.html">Metrics calculation</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Mthread</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/mthread.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/mthread.html" />
<meta description = "Analyzes concurrent C programs, taking into account all possible thread interactions. Provides precise information about shared variables, which mutex protects a part of the code, etc." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/mthread.html">Mthread</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Occurrence analysis</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/occurrence.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/occurrence.html" />
<meta description = "Allows the user to reach the statements where a given variable is used. Also provided as a simple example for new plug-in development." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/occurrence.html">Occurrence analysis</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>PathCrawler</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/pathcrawler.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/pathcrawler.html" />
<meta description = "White-box test cases generator." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/pathcrawler.html">PathCrawler</a></p>
</body>
</html>
\ No newline at end of file
rte.html 0 → 100644
<!DOCTYPE html>
<html>
<head>
<title>RTE</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/rte.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/rte.html" />
<meta description = "Generates annotations for possible runtime errors and other properties." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/rte.html">RTE</a></p>
</body>
</html>
\ No newline at end of file
<!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>
\ No newline at end of file
<!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>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Spare code</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/spare-code.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/spare-code.html" />
<meta description = "Removes spare code, code that does not contribute to the final results of the program." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/spare-code.html">Spare code</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>EVA, an Evolved Value Analysis</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/eva.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/eva.html" />
<meta description = "Automatically computes variation domains for the variables of the program." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/eva.html">EVA</a></p>
</body>
</html>
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment