https://github.com/richasavant/frama-c-2022

Frama-C is a suite of tools for analyzing C code, verifying correctness, and detecting issues. This repository includes folders for programming exercises and code analysis, covering basic programs, arrays, and loops.
https://github.com/richasavant/frama-c-2022

c c-programming c-programming-language debugger debugging debugging-tool frama-c

Last synced: about 10 hours ago
JSON representation

Frama-C is a suite of tools for analyzing C code, verifying correctness, and detecting issues. This repository includes folders for programming exercises and code analysis, covering basic programs, arrays, and loops.

• Host: GitHub
• URL: https://github.com/richasavant/frama-c-2022
• Owner: RichaSavant
• Created: 2024-07-01T18:04:05.000Z (3 months ago)
• Default Branch: main
• Last Pushed: 2024-07-15T15:20:33.000Z (2 months ago)
• Last Synced: 2024-09-24T21:17:32.802Z (about 15 hours ago)
• Topics: c, c-programming, c-programming-language, debugger, debugging, debugging-tool, frama-c
• Language: C
• Homepage:
• Size: 3.65 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Frama-C is a suite of tools dedicated to the analysis of C code, providing a framework for verifying the correctness of programs and detecting potential issues such as bugs and vulnerabilities.

This repository contains various folders and files related to programming exercises and code analysis. It includes directories for basic programs, arrays and loops.