Skip to content

No labels!

There aren’t any labels for this repository quite yet.

14 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug/unsoundness
bug/unsoundness
The analysis is unsound, i.e., missing points-to facts
1
bug
bug
Something isn't working
1
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
5
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
infrastructure
infrastructure
5
invalid
invalid
This doesn't seem right
performance
performance
precision
precision
Having to do with possibly improving analysis precision
1
question
question
Further information is requested
refactor
refactor
1
wontfix
wontfix
This will not be worked on