panacekcz checker-framework issues

panacekcz / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Infer MinLen(1) after checking !isEmpty()

#27 panacekcz closed 6 years ago
1
LtLengthOf and GTENegativeOne implies SubstringIndexFor

#26 panacekcz closed 6 years ago
1
0 is a valid SubstringIndexFor if the argument is not longer than receiver

#25 panacekcz closed 6 years ago
1
-1 is always a valid SubstringIndexFor

#24 panacekcz closed 6 years ago
1
SubstringIndexFor does not help when adding a length of a prefix of the found string

#23 panacekcz opened 6 years ago
1
SubstringIndexFor does not help when adding a constant less than or equal to the length of the found string

#22 panacekcz opened 6 years ago
2
Known suffix can guard against index out of bounds when skipping characters

#21 panacekcz opened 6 years ago
0
Math.max should preserve IndexFor

#20 panacekcz closed 6 years ago
3
If !a.endsWith(c), then a.indexOf(c)<a.length-1

#19 panacekcz closed 6 years ago
1
Length refinement after a.indexOf(s)!=-1

#18 panacekcz opened 6 years ago
2
startsWith or endsWith in a helper method

#17 panacekcz closed 6 years ago
1
@Minlen(1) on StringTokenizer.nextToken

#16 panacekcz closed 6 years ago
2
Inferring MinLen by loop bound condition

#15 panacekcz closed 6 years ago
1
Lower bounds for non-optional group in java.util.regex.Matcher

#14 panacekcz opened 6 years ago
0
Upper bounds for java.util.regex.Matcher

#13 panacekcz opened 6 years ago
1
Refinement of upper bound by !=

#12 panacekcz closed 6 years ago
0
Inequalities of sequence lengths

#11 panacekcz closed 6 years ago
3
indexOf!=-1 means subsequent calls will succeed too

#10 panacekcz opened 6 years ago
0
Length refinement by startsWith, endsWith with a static final variable

#9 panacekcz closed 6 years ago
1
Missing or weak lower bound annotations on Matcher

#8 panacekcz closed 6 years ago
0
Case study on Daikon

#7 panacekcz opened 6 years ago
0
Refine minimum string length after startsWith and endsWith

#6 panacekcz closed 6 years ago
3
How to write index annotations on index ranges?

#5 panacekcz opened 7 years ago
1
Test CheckAgainstNegativeOne fails when string index annotations enabled

#4 panacekcz closed 6 years ago
7
Index checker support for CharSequence

#3 panacekcz closed 6 years ago
1
Casts in Value checker

#2 panacekcz opened 7 years ago
0
Arrays of type char[] and byte[] with constant initializer are not compatible with ArrayLen annotation

#1 panacekcz opened 7 years ago
0