This plugin is still in development. The latest version can be found in GitHub Releases.
A pragma can be used to enable symbolic execution analysis for a function. This is necessary for calling convention verification and the tracing sidebar to work.
The symbolic execution analysis is detailed more here.
The idea and original plugin are thanks to Codetector.
Contributors: