Do you know tis interpreter? It was made to analyze C code and find undefined behaviours. https://trust-in-soft.com/tis-interpreter/ …
-
-
-
kcc (part of RV-Match: https://runtimeverification.com/match/ ) also detects UB dynamically and is used by NASA. Boeing, Toyota and DENSO. See https://runtimeverification.com/blog/?p=307 for a comparison with tis-interpreter and https://runtimeverification.com/match/1.0/docs/benchmark/ … for comparisons with other tools.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.