Changes compared to 1.90:
- New bug hunting mode which givesa more "Soundy" analysis with a higher chance at finding bugs, at the cost of more possible false positives.
- New check to detect division by zero
- Option to use clang parser isntead of internal one in case the internal one has to much problems parsing your code
- check for "expression % 1" expressions always resulting in 0
New dependency needed: Z3 library (mainly to find more bug in "Bug Hunting" mode)