Author here. Functional languages indeed avoid many code defects from its own design, and it is also easier to locate the problematic code. That's why we origin

Author here. Functional languages indeed avoid many code defects from its own design, and it is also easier to locate the problematic code. That's why we originally chose Rust rather than C++ to develop the TiKV project in PingCAP. It's hard to implement a bot to do auto-debugging. The purpose of this Hackathon project was to develop a tool to improve debugging efficiency. Check out our progress on https://github.com/fuzzdebugplatform/fuzz_debug_platform https://github.com/fuzzdebugplatform/fuzz_debug_platform.