Prusti Analysis — prusti-20260323-121434-7d1dded3b.db
Total:
3379
| Success:
429
| Fail:
2930
| Timeout:
20
Failure categories
Category
Count
unsupported: enum types in indirect predicate encoder
1028
unsupported: constant scalars that are not primitives
693
unsupported: unsizing with unsupported types (no crash)
267
unsupported: function shapes containing alias types (pcg)
197
unsupported: recursive struct types
138
bug: const ptr offset overflow
98
unsupported: invalid uninitialized bytes in constants
86
unsupported: constant pointer-to-pointers
80
bug: ReVar from outer InferCtxt in try_normalize
58
unsupported (pcg): dereferencing unsafe pointers
47
unsupported: passing functions into other functions
28
unsupported: coroutine types
22
unsupported: &raw mut/const rvalue might be reached (no crash)
22
unsupported: c string literals
21
bug: verification error could not be backtranslated (no crash)
20
unsupported: indirect constant values
16
bug: local variable not found in consistency check (no crash)
14
unsupported (pcg): call with unsafe ptr with nested lifetime
13
unsupported: binary operation with one operand of pointer type
11
unsupported: closure rvalue might be reached (no crash)
10
not yet implemented: cast kind PtrToPtr
9
bug: duplicate identifier in consistency check (no crash)
7
unsupported: bitwise operations
7
unsupported: implicit mut-to-const pointer coercions
5
not yet implemented
4
not yet implemented: cast kind PointerCoercion(ClosureFnPointer(Safe), Implicit)
4
bug: index out of bounds in GenericParams::map_index
3
not yet implemented: cast kind PointerExposeProvenance
3
cannot unfold array type without index
3
bug: invalid identifier in consistency check (no crash)
2
not yet implemented: cast kind PointerCoercion(ReifyFnPointer, Implicit)
2
internal error: entered unreachable code
2
not yet implemented: const too generic
2
success
2
unsupported (pcg): move unsafe ptr with nested lifetime
2
not yet implemented: cast kind PointerCoercion(ReifyFnPointer, AsCast)
2
expected structlike or enumlike type
1
not yet implemented: cast kind FloatToInt
1
not yet implemented: cast kind PointerWithExposedProvenance
1
Box<dyn Any>
1