https://gerteck.github.io/blog/blog/posts/SQLancer/