Skip to content
This repository has been archived by the owner on Aug 12, 2023. It is now read-only.

Support Frama-C static analysis tool #1580

Open
1 task done
krishnakumarg1984 opened this issue May 28, 2023 · 0 comments
Open
1 task done

Support Frama-C static analysis tool #1580

krishnakumarg1984 opened this issue May 28, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@krishnakumarg1984
Copy link

Issues

  • I have checked existing issues and there are no existing ones with the same request.

Feature description

Frama-C is a comprehensive static analysis tool developed by Inria labs for the C programming language. Please consider supporting this through null-ls.

Help

Yes, but I don't know how to start. I would need guidance

Implementation help

No response
@krishnakumarg1984 krishnakumarg1984 added the enhancement New feature or request label May 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@krishnakumarg1984