| *** persia has quit IRC | 07:30 | |
| *** persia has joined #trustable | 07:33 | |
| *** ctbruce has joined #trustable | 07:38 | |
| *** laurenceurhegyi has joined #trustable | 08:05 | |
| *** fay_ has joined #trustable | 09:10 | |
| laurenceurhegyi | Order placed for MISRA C | 09:17 |
|---|---|---|
| laurenceurhegyi | I imagine they'll send the PDF in an email to us, so I'll ping that to you ChrisPolin whenever I get it | 09:17 |
| ChrisPolin | Excellent. The pdf should be downloadable? | 09:17 |
| ChrisPolin | Good stuff, keep me posted. | 09:17 |
| laurenceurhegyi | However they provide it, I'll keep you posted. | 09:21 |
| laurenceurhegyi | May well be too large for an email, thinking on. | 09:21 |
| ChrisPolin | the 2004 version is 1.1 mb, so it should be grand. | 09:24 |
| laurenceurhegyi | So CERT-C is available freely and openly, ChrisPolin? | 09:52 |
| laurenceurhegyi | Is that as a result of the discussion on the Trustable Software mailing list? | 09:53 |
| ChrisPolin | I'm just reading into it here, apparently so. | 09:54 |
| ChrisPolin | I'm not entirely up on copyright language, which is why I'm slightly reluctant to put in the PR until I'm sure/get express permission from Robert on the mailing list. | 09:55 |
| ChrisPolin | http://www.sei.cmu.edu/downloads/sei-cert-c-coding-standard-2016-v01.pdf | 09:56 |
| paulsherwood | Internal use:* Permission to reproduce this material and to prepare derivative works from this material for in- ternal use is granted, provided the copyright and “No Warranty” statements are included with all reproductions and derivative works. | 09:57 |
| paulsherwood | External use:* This material may be reproduced in its entirety, without modification, and freely distributed in written or electronic form without requesting formal permission. Permission is required for any other external and/or commercial use. Requests for permission should be directed to the Software Engineering Institute at permission@sei.cmu.edu. | 09:57 |
| ChrisPolin | Was just about to post that. I asked on the mailing list but didn't hear anything back, so I'll ping an email off to them directly. | 09:58 |
| ChrisPolin | I guess our application is for both internal and external use. | 09:59 |
| persia | Given those licensing conditions, the interesting question becomes: is there an intent to modify the material? If not, going with the external use licensing, and publishing it somewhere for reference is probably easiest. | 10:02 |
| ChrisPolin | It's not a modification *as such*. | 10:03 |
| ChrisPolin | It's simply a listing of the controls as stated. It's effectively the contents page. | 10:03 |
| jmacs | It's a derivative work | 10:04 |
| jmacs | Those conditions don't mention derivative works, so you'd have to ask for permission. | 10:04 |
| ChrisPolin | I have done at any rate, so best to be belt-and-braces about it. | 10:05 |
| *** leeming has quit IRC | 12:00 | |
| *** leeming has joined #trustable | 12:01 | |
| ChrisPolin | Just got that email Laurence, and promptly emailed the PDF to you instead of me. | 12:50 |
| ChrisPolin | Got it now lol. | 12:50 |
| ChrisPolin | Cheers. | 12:50 |
| laurenceurhegyi | Cool. It's a 'single-user' PDF. | 12:51 |
| laurenceurhegyi | Not entirely sure what that means. | 12:51 |
| ChrisPolin | Well, I'll get it into the YAML format for OpenControl and make comparisons to CERT-C now, while I'm waiting on permission from MISRA. | 12:52 |
| laurenceurhegyi | OK, cheers. | 12:54 |
| *** laurenceurhegyi has quit IRC | 13:07 | |
| *** laurenceurhegyi has joined #trustable | 13:26 | |
| laurenceurhegyi | We have been invited to suggest topics for the Open Control Symposium tomorrow | 14:39 |
| laurenceurhegyi | Here: | 14:39 |
| laurenceurhegyi | https://docs.google.com/document/d/1DVadZKF2SERPULteyc_jEXvjq65oFYbF-JRZd-zY090/edit# | 14:39 |
| laurenceurhegyi | For the afternoon session | 14:39 |
| laurenceurhegyi | Which will be starting 7/8pm UK time... | 14:40 |
| laurenceurhegyi | Oh no, lunch break ends at 1pm EST. So 6pm here. | 14:41 |
| laurenceurhegyi | We can still put forward ideas, whether we attend the session or not, as they may or may not vote for them, by the looks of things. | 14:43 |
| *** fay_ has quit IRC | 16:04 | |
| *** ctbruce has quit IRC | 16:15 | |
| *** locallycompact has joined #trustable | 16:19 | |
| locallycompact | https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ | 16:20 |
| *** locallycompact has quit IRC | 17:15 | |
Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!