Comment by stevenhuang
10 hours ago
There is nothing ironic in letting an llm have a pass at identifying potential UB and other correctness issues in C code.
I say this as an experienced C developer.
10 hours ago
There is nothing ironic in letting an llm have a pass at identifying potential UB and other correctness issues in C code.
I say this as an experienced C developer.
It is ironic because the behaviour of an LLM itself is UB. Guaranteed.