A proof of concept for CVE-2018-1207.
In order to run, you will need to install the sh4-linux-gnu-gcc-9 package.
For Ubuntu 20.04:
apt install build-essential
wget http://security.ubuntu.com/ubuntu/pool/universe/g/gcc-9-cross-ports/gcc-9-sh4-linux-gnu_9.4.0-1ubuntu1~20.04cross1_amd64.deb
dpkg -i gcc-9-sh4-linux-gnu_9.4.0-1ubuntu1-20.04cross1_amd64.debgit clone https://github.com/un4gi/CVE-2018-1207.git
cd CVE-2018-1207
go build ../CVE-2018-1207 -t <target> -p <port>https://www.youtube.com/watch?v=mosERjbrgdo
https://www.immunityinc.com/downloads/The-Unbearable-Lightness-of-BMC-wp.pdf
https://i.blackhat.com/us-18/Wed-August-8/us-18-Waisman-Soler-The-Unbearable-Lightness-of-BMC.pdf