--- Day changed Sun Oct 14 2018
16:38 < andytoshi> holy shit look at this thing https://github.com/dwrensha/seer
16:38 < andytoshi> it can decode base64 given only an encoder written in rust
16:40 < gmaxwell> ah, it's like klee but for rust.
16:44 < andytoshi> yep. and rust MIR has a lot more semantic information than LLVM IR so i think this could be more powerful
16:46 < andytoshi> i was asking on #rust-internals about extracting state machine diagrams from the rust code in Liquid and they got very excited and to please PR my "symbolic execution for MIRI" patches .. i told them i didn't really have time to take on such a research project, that i was just planning to hack in analysis for some specific simple data structures
16:46 < andytoshi> but they pointed me at this, and said to keep them posted nonetheless