https://1library.org/document/y8k081ry-techniques-facilitate-probabilistic-software-analysis-real-world-programs.html