3 ms·
What is the underlying theory behind Coverity? Is it based on separation logic as well?
by xjia 11y ago
What is the underlying theory behind Coverity? Is it based on separation logic as well?
- buttproblem 11y agoI'd be interested in this as well; all I could find on their site is that it is uses "patened techniques." Considering the first seperation logic paper was published in 2001 [1] and Coverity founded in 2002 [2], they probably did not (at least originally) use the same techniques. I'm guessing their site is designed to sell to people and not have the details. [1] http://fbinfer.com/docs/separation-logic-and-bi-abduction.html#biabduction http://fbinfer.com/docs/separation-logic-and-bi-abduction.ht... [2] https://en.wikipedia.org/wiki/Coverity https://en.wikipedia.org/wiki/Coverity