* checked C (clang) vs musl? @ 2016-06-16 15:35 Jens Staal 2016-06-16 15:48 ` Szabolcs Nagy 0 siblings, 1 reply; 3+ messages in thread From: Jens Staal @ 2016-06-16 15:35 UTC (permalink / raw) To: musl Hi I just saw a news item about "Checked C" from Microsoft http://www.theregister.co.uk/2016/06/16/ microsoft_releases_open_source_bugbomb_in_the_rambling_house_of_c/ and apparently they have made a modified llvm/clang for checked C. https://github.com/Microsoft/checkedc-clang anyone tested this vs musl? ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: checked C (clang) vs musl? 2016-06-16 15:35 checked C (clang) vs musl? Jens Staal @ 2016-06-16 15:48 ` Szabolcs Nagy 2016-06-16 16:04 ` Jens Staal 0 siblings, 1 reply; 3+ messages in thread From: Szabolcs Nagy @ 2016-06-16 15:48 UTC (permalink / raw) To: musl * Jens Staal <staal1978@gmail.com> [2016-06-16 17:35:07 +0200]: > and apparently they have made a modified llvm/clang for checked C. > https://github.com/Microsoft/checkedc-clang > > anyone tested this vs musl? i thought it would need a lot of annotations to be useful. ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: checked C (clang) vs musl? 2016-06-16 15:48 ` Szabolcs Nagy @ 2016-06-16 16:04 ` Jens Staal 0 siblings, 0 replies; 3+ messages in thread From: Jens Staal @ 2016-06-16 16:04 UTC (permalink / raw) To: musl On torsdag 16 juni 2016 kl. 17:48:47 CEST Szabolcs Nagy wrote: > * Jens Staal <staal1978@gmail.com> [2016-06-16 17:35:07 +0200]: > > and apparently they have made a modified llvm/clang for checked C. > > https://github.com/Microsoft/checkedc-clang > > > > anyone tested this vs musl? > > i thought it would need a lot of annotations to be useful. It introduces some new types etc, but I thought it also analyzed existing vanilla C code for unsafe behaviour. I just saw the news so I have not really read up on it, but was curious to know if someone had. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-06-16 16:04 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2016-06-16 15:35 checked C (clang) vs musl? Jens Staal 2016-06-16 15:48 ` Szabolcs Nagy 2016-06-16 16:04 ` Jens Staal
Code repositories for project(s) associated with this public inbox https://git.vuxu.org/mirror/musl/ This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).