import "math"
rule test_1 {
condition:
for any i in (0..filesize) : ( int32(i) == 0 )
}
rule test_2 {
condition:
for any i in (0..filesize-1) : ( int32(i) == 0 )
}
rule test_3 {
condition:
for any i in (0..math.max(filesize, 0)) : ( int32(i) == 0 )
}
rule test_4 {
strings:
$a = "foo"
condition:
for any i in (0..#a) : ( uint32(i) != 0 )
}
// No warning
rule test_5 {
condition:
for any i in (filesize-10..filesize) : ( int32(i) == 0 )
}
rule test_6 {
condition:
for any i in (0..math.min(filesize, 1000)) : ( int32(i) == 0 )
}