GitHub - TrustInSoft/tis-interpreter: An interpreter for finding subtle bugs in programs written in standard C - discu.eu

Hacker News

Tis-interpreter: An interpreter for detecting undefined behavior in standard C https://github.com/TrustInSoft/tis-interpreter 21 comments 18/2/2018

Tis-interpreter – find subtle bugs in programs written in standard C https://github.com/TrustInSoft/tis-interpreter 37 comments 7/4/2016

Lobsters

tis-interpreter: an interpreter of C for detecting undefined behavior https://github.com/TrustInSoft/tis-interpreter 2 comments 11/4/2016 c , ml

Linking pages

GitHub - ocaml-community/awesome-ocaml: A curated collection of awesome OCaml tools, frameworks, libraries and articles. https://github.com/rizo/awesome-ocaml#books 28 comments

Linked pages

TIS-interpreter progress report - TrustInSoft, exhaustive static analysis tools for software security and safety http://trust-in-soft.com/tis-interpreter 2 comments

Would you like to stay up to date with C & C++? Checkout C & C++ Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - TrustInSoft/tis-interpreter: An interpreter for finding subtle bugs in programs written in standard C

See how to search.

Submit link to: