Closed rakhimov closed 8 years ago
I think Lizard should aim at "no crashes and no dead loops" for incorrect & incomplete code. But doesn't need to provide warning or error message for incorrect & incomplete code. And I should try to achieve "nearly linear correlation" to the completeness of the code. So that potentially lizard can work at the background of an editor in real time.
What do you think?
That's an interesting goal I didn't consider. Let me think.
I think I went to far requiring the behavior to be undefined. In case of real time processing, I think your idea of soft guarantees on best effort is better. I should also note that "undefined behavior" and Python tool doesn't sound good :)
This note documents some limitations of Lizard and provides some contract for developers to keep Lizard's code simpler.