MinghuaWang

Panic on invalid input to jpeg_decoder::Decoder::decode

2

### Describe the bug Panic could be triggered when passing `jpeg_decoder::Decoder::decode` with invalid input. Panic info is shown below: `thread 'main' panicked at /home/test/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/jpeg-decoder-0.3.1/src/decoder/lossless.rs:112:40: attempt to subtract with overflow` Full...

Loop Contract Issue: Check some_var is assignable

1

I tried this code: ```rust #![feature(stmt_expr_attributes)] #![feature(proc_macro_hygiene)] fn func(x: usize) { let mut j = 0; const CHUNK_SIZE: usize = 32; #[kani::loop_invariant(j Instead, this happened: ``` ** 3 of 235...

## Describe the bug Panic could be triggered when passing `pdf::file::FileOptions::load` with invalid input. Panic info is shown below: ``` thread 'main' panicked at pdf/src/crypt.rs:156:18: range end index 16 out...