1. 15
    tis-interpreter: an interpreter of C for detecting undefined behavior c ml github.com
    dwc avatar via dwc 2 years ago | cached | 2 comments

  1.  

  2. 2
    muk avatar muk 2 years ago | link

    Would love to see some details on the types of errors it detects. Seems interesting.

    1. 6
      sanxiyn avatar sanxiyn 2 years ago | link

      http://blog.regehr.org/archives/1292 is the result of applying tis-interpreter to SQLite.