🦀 Kani пытается формально доказать корректность Rust-кода математически. Что умеет: * доказывать отсутствие panic, overflow и нарушений memory safety * проверять, что `unsafe`-код действительно безопасен * гонять 16 000+ harness’ов на каждый commit в Rust standard library * находить баги, которые раньше не видели в...