Open-sourcing Facebook Infer: Identify bugs before you ship

Re:Open-sourcing Facebook Infer: Identify bugs before you ship by defen on Thursday June 11, 2015 @06:00PM (#9702723)

I clicked through to the description of separation logic - http://fbinfer.com/docs/separation-logic-and-bi-abduction.ht... - and I'm having a hell of a time understanding the first couple paragraphs. Is there a typo in there? How is z↦y∗y↦x "x points to y and separately y points to x"

[ Parent | on HN ]

Re:Open-sourcing Facebook Infer: Identify bugs before you ship by _shb on Thursday June 11, 2015 @06:19PM (#9702820)

There was indeed a typo in the description; it has been fixed. Sorry for the confusion!

[ Parent | on HN ]

Re:Open-sourcing Facebook Infer: Identify bugs before you ship by defen on Thursday June 11, 2015 @06:26PM (#9702858)

Thanks! Was worried I was losing it.

[ Parent | on HN ]