|
|
|
|
|
|
by pascal_cuoq
4012 days ago
|
|
|
A better link for tis-interpreter is http://trust-in-soft.com/tis-interpreter/ I was going to advertise it more at some point, but I just announced it here and already we are saturated with new OpenSSL tests that the interpreter cannot digest yet: https://www.mail-archive.com/openssl-dev@openssl.org/msg3930... My personal trajectory would make no sense if tis-interpreter ended up as an advertisement. It may end up helping convince the general population that it's possible to detect all practical undefined behavior in a useful C program, by giving everyone access to a piece of software that does it along one execution. Then TrustInSoft will only be asking its more dubitative prospects that its other products can do it for all possible input vectors, instead of just one. I'm not even claiming this is an unintended consequence. But tis-interpreter will be a self-contained, useful product for the largest number. You have my word. |
|
|