GitHub / 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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RichaSavant%2FFrama-C-2022
PURL: pkg:github/RichaSavant/Frama-C-2022
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: C
Size: 3.65 MB
Dependencies parsed at: Pending
Created at: about 1 year ago
Updated at: about 1 year ago
Pushed at: about 1 year ago
Last synced at: 6 months ago
Topics: c, c-programming, c-programming-language, debugger, debugging, debugging-tool, frama-c