testing soundness of analyses - Githubissues

0xalpharush / static-analysis-and-compilers

Eclectic notes on static analysis and compilers

47 stars 7 forks source link

testing soundness of analyses #6

Open 0xalpharush opened 1 year ago

0xalpharush commented 1 year ago

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