search

metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

Avoid FreeBSD-SA-20:14.sctp #17

Closed master-q closed 3 years ago

master-q commented 4 years ago

It causes use-after-free on sctp_sharedkey_t value in struct sctp_keyhead list. ATS and VeriFast may avoid this.

master-q commented 4 years ago

Verify FreeBSD-SA-20:14.sctp with VeriFast b97a277947c669d097d25b3c61dd01dcdba1f537

master-q commented 4 years ago

Asked about ATS2 on mailing list: https://groups.google.com/g/ats-lang-users/c/kWGzkgfCWYI