1. The KLEE symbolic virtual machine,
http://klee.llvm.org
2. The LLVM compiler infrastructure,
http://llvm.org
3. SAT competitions,
http://www.satcompetition.org
4. Agosta, G., Barenghi, A., Pelosi, G.: A code morphing methodology to automate power analysis countermeasures. In: Design Automation Conference, DAC 2012, pp. 77–82 (2012)
5. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers – Principles, Techniques, & Tools. Pearson (2006)