Automated Reasoning About LLVM Optimizations and Undefined Behavior – Embedded in Academia - discu.eu

Linking pages

Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments

Related searches:

Search whole site: site:blog.regehr.org

Search title: Automated Reasoning About LLVM Optimizations and Undefined Behavior – Embedded in Academia

See how to search.

Submit link to: