3 ms·
Hrm, I had assumed that A was providing a safe API, in which case I think A would be considered "at fault".
by aw1621107 14d ago
Hrm, I had assumed that A was providing a safe API, in which case I think A would be considered "at fault".
- toast0 14d agoSure, A is at fault, but it only broke when B changed behavior.
- aw1621107 13d agoFair. I suppose that even in such a scenario you shouldn't need truly global analysis to prove safety - in principle an analysis of A should reveal the soundness precondition on a safe API - though that's probably easier said than done.