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

Support for NASA's Ikos static analyzer #1583

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

Support for NASA's Ikos static analyzer #1583

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

Ikos is an advanced static analyzer for C/C++ source code based on the theory of Abstract Interpretation. It would be helpful to have null-ls support for Ikos.

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