RANDOMBLOGShttps://devblogy.k47.cz/random/tag/blog-regehr-org.html Looking for Missed Alarm Bugs in a Formal Verification Toolhttps://blog.regehr.org/archives/2124Wed, 4 Sep 2024 18:29:03 +0200blog.regehr.org Dataflow Analyses and Compiler Optimizations that Use Them, for Freehttps://blog.regehr.org/archives/2578Sat, 20 Apr 2024 21:55:33 +0200blog.regehr.org Why Do Peephole Optimizations Work?https://blog.regehr.org/archives/2485Wed, 1 Nov 2023 16:23:20 +0100blog.regehr.org Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backendhttps://blog.regehr.org/archives/2265Mon, 6 Jun 2022 16:58:02 +0200blog.regehr.org High-Throughput, Formal-Methods-Assisted Fuzzing for LLVMhttps://blog.regehr.org/archives/2148Tue, 31 May 2022 16:56:41 +0200blog.regehr.org A Close Look at a Spinlockhttps://blog.regehr.org/archives/2173Sat, 6 Nov 2021 20:57:06 +0100blog.regehr.org llvm-reducehttps://blog.regehr.org/archives/2109Thu, 13 May 2021 18:58:00 +0200blog.regehr.org Responsible and Effective Bugfindinghttps://blog.regehr.org/archives/2037Mon, 17 Aug 2020 20:36:43 +0200blog.regehr.org Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVMhttps://blog.regehr.org/archives/1837Fri, 31 Jul 2020 22:33:05 +0200blog.regehr.org The Gods Pocket Peak Trailhttps://blog.regehr.org/archives/1832Thu, 23 Jul 2020 17:41:01 +0200blog.regehr.org