static-analysis-and-compilers icon indicating copy to clipboard operation
static-analysis-and-compilers copied to clipboard
verified publisher icon 0xalpharush

testing soundness of analyses

Open 0xalpharush opened this issue 3 years ago • 0 comments

alive2 https://www.cs.utah.edu/~regehr/alive2-pldi21.pdf python jit https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html

0xalpharush avatar Jan 16 '23 04:01 0xalpharush