Have you tried using tis-interpreter [0] (an interpreter of C for detecting undefined behavior written in OCaml) written by Pascal Cuoq [1]. [0] https://github

Have you tried using tis-interpreter [0] (an interpreter of C for detecting undefined behavior written in OCaml) written by Pascal Cuoq [1]. [0] https://github.com/TrustInSoft/tis-interpreter https://github.com/TrustInSoft/tis-interpreter [1] http://stackoverflow.com/users/139746/pascal-cuoq http://stackoverflow.com/users/139746/pascal-cuoq