frama-c.com/2020/04/02/creduce.html

Preview meta tags from the frama-c.com website.

Linked Hostnames

3

  • General Meta Tags

    3
    • title
      Debugging Frama-C analyses: better privacy with C-Reduce
    • charset
      UTF-8
    • viewport
      width=device-width,initial-scale=1,maximum-scale=1,user-scalable=no

  • Link Tags

    9
    • alternate
      /feed/everything.xml
    • alternate
      /feed/news.xml
    • alternate
      /feed/blogs.xml
    • shortcut icon
      /assets/img/favicon.ico
    • stylesheet
      /assets/css/main.css

Links

81