|
Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. Unnecessary? Check.
|
|
|
|
|
Kent Sharkey wrote: Unnecessary? Check.
Unfortunately many software errors are directly related to the lack of bounds checking within the C/C++ language. I personally think the checked C library is a great addition to the toolbox.
CWE - 2019 CWE Top 25 Most Dangerous Software Errors[^]
Best Wishes,
-David Delaune
|
|
|
|
|
True - I was struggling with that one, but finally dumped that one as it fit the blurb I wanted.
They could always go with Rust though, and have a better community (this seems to be little more than someone's thesis project)
TTFN - Kent
|
|
|
|
|
Kent Sharkey wrote: They could always go with Rust though
Presumably, the idea is that they're not going to rewrite millions of lines of C code anytime soon but it's worth having tools to fortify it.
Microsoft are also now investing big-time in Rust - along with Google and AWS.
Kevin
|
|
|
|
|
Fair enough. I admit that I didn't look at their samples before posting, and assumed that it would involve changing the code more than they do. It looks like (albeit for the simple samples) it's just:
- Change some headers to 'checked' versions
- Add a PRAGMA
So, yeah, much easier to bring it online than converting to Rust (or other safer dialects). I admit again that 'Unnecessary' was unnecessarily harsh. I'll try harder to hit the thesaurus next time.
Nasty, nasty thesaurus.
TTFN - Kent
|
|
|
|
|
No worries. Checked C been around for a few years though hasn't it?
Learning Rust at the moment while "resting," being a contractor and all that. Been a long time since I've done any C/C++ type stuff though. Rust looks nice from what I've seen so far. Working through Microsoft's learning path. Also did some of the official docs as well.
Kevin
|
|
|
|
|
So, like: Developing with Rust on Windows | Microsoft Docs[^] ? (I was thinking of posting that on Monday's newsletter, but having it here will be 'good enough'
Checked C has been around for a while. I saw that I had posted about it in 2018 and 2016 when Research first announced it. I just like to be redundantly repetitive at times (or, you know - old and forgetful  )
TTFN - Kent
|
|
|
|
|
There used to be a package (Bounds Checker?) that when linked with your program ran it in 80286 protected mode. Each allocation was a separate segment, and any overruns were caught at the hardware level.
The 80386 could do the same for segments up to 1MB in size, but the industry went in the direction of a flat memory model (for obvious reasons).
Freedom is the freedom to say that two plus two make four. If that is granted, all else follows.
-- 6079 Smith W.
|
|
|
|
|
I'll go with Checkered C, because I want to skip every other step when possible. Time is money, baby!
|
|
|
|
|
|
A researcher was able to "bitsquat" Microsoft's windows.com domain by cybersquatting variations of windows.com. Hacking via cosmic rays
|
|
|
|
|
In a surprising new paper, scientists say they’ve nailed down a physical model for a warp drive, which flies in the face of what we’ve long thought about the crazy concept of warp speed travel: that it requires exotic, negative forces. "Engage"
"Where the existing paradigm uses negative energy—exotic matter that doesn’t exist and can’t be generated within our current understanding of the universe—this new concept uses floating bubbles of spacetime rather than floating ships in spacetime." Well all-righty then. We'll just take that 'Seriously' off of the headline, shall we?
|
|
|
|
|
They be smoken some i cons!
|
|
|
|
|
The techniques that taught AI to translate speech are being applied to visual tasks Apparently the watchmen will watch themselves
|
|
|
|
|
Google Fonts now supports open source icons, starting with the Material Design icon set If everyone else changes their icons, will you do as well?
I told you today would be iconic.
I wonder if Oracle is doing anything in this space?
|
|
|
|
|
Microsoft CEO Satya Nadella is not the type of executive to boast and put down rivals. How about changing the icons?
Not that he named any of his predecessors by name or anything...
|
|
|
|
|
You have to put down your own team too!
Everyone sucks, all credit goes to you.
Also, his comments on bringing clarity and un-constraining constrained situations were said on opposite day and taken out of context here.
When you bring confusion and constrain situations, everyone will be too busy working, and you'll have more time blaming it on others.
You get bonus points for not having any skill or knowledge in the field that you're leading in.
Every good leader knows this!
Believe me, I've seen enough leaders to know what I'm talking about 
|
|
|
|
|
i mean when everyone sleeps from home and just polishes the icons what can go wrong ?
Caveat Emptor.
"Progress doesn't come from early risers – progress is made by lazy men looking for easier ways to do things." Lazarus Long
|
|
|
|
|
.NET Interactive now ships with T-SQL support in addition to C#, F#, PowerShell, JavaScript, and HTML. SELECT * FROM features WHERE reason='???'
OK, it does save me from Data Studio, but other than that, I don't get it. Someone save me from my stupidity.
|
|
|
|
|
A bigger Windows design push is coming later this year I feel complete now
Today's news brought to you by icons!
|
|
|
|
|
I con do'it, mon! (Funky Reggae music playing in background, with a cloud of stuff we will pretend is just smoke, and Nadella bravely leading the charge...)
|
|
|
|
|
A study found that Java developers backtracked every 6 minutes, meaning they reverted their code to a previous state "Oh, I believe in yesterday"
I've been debating including this one for a few weeks now (so it's not technically new). Apologies if it offends.
|
|
|
|
|
Because they are Java programmers.
Kent Sharkey wrote: Apologies if it offends.
Yeah, what Kent said. 
|
|
|
|
|
Quote: Because they are Java programmers
When you say that stranger, you better smile! 
Get me coffee and no one gets hurt!
|
|
|
|
|
It's an open-source IT world out there, and these days we're all living there. Breaking News: Open source company finds open source software popular
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
