Click here to Skip to main content
15,867,453 members

The Insider News

   

The Insider News is for breaking IT and Software development news. Post your news, your alerts and your inside scoops. This is an IT news-only forum - all off-topic, non-news posts will be removed. If you wish to ask a programming question please post it here.

Get The Daily Insider direct to your mailbox every day. Subscribe now!

 
NewsWatch tiny electromechanical robots that are faster than cheetahs for their size Pin
Kent Sharkey11-Aug-22 10:46
staffKent Sharkey11-Aug-22 10:46 
GeneralRe: Watch tiny electromechanical robots that are faster than cheetahs for their size Pin
Marc Clifton12-Aug-22 0:59
mvaMarc Clifton12-Aug-22 0:59 
NewsNo, you cannot trust third party code without reading it first Pin
Kent Sharkey11-Aug-22 10:46
staffKent Sharkey11-Aug-22 10:46 
GeneralRe: No, you cannot trust third party code without reading it first Pin
jeron111-Aug-22 10:58
jeron111-Aug-22 10:58 
GeneralRe: No, you cannot trust third party code without reading it first Pin
Daniel Pfeffer11-Aug-22 21:23
professionalDaniel Pfeffer11-Aug-22 21:23 
GeneralRe: No, you cannot trust third party code without reading it first Pin
trønderen12-Aug-22 3:56
trønderen12-Aug-22 3:56 
GeneralRe: No, you cannot trust third party code without reading it first Pin
Daniel Pfeffer13-Aug-22 8:08
professionalDaniel Pfeffer13-Aug-22 8:08 
GeneralRe: No, you cannot trust third party code without reading it first Pin
trønderen13-Aug-22 10:42
trønderen13-Aug-22 10:42 
Daniel Pfeffer wrote:
As for bounds-checking and validation, C is naturally sparse in this matter. If you write your code properly, the validation is performed at the input stage, and all other code gets sanitized data. This may be checked using asserts at the entrance to each function. If you do this, validation of each array access is superfluous.
Any optimizing compiler doing proper flow analysis should identify cases where indexes are guaranteed to be within bounds, and suppress index checks when unnecessary. A compiler that doesn't detect that there is no way for an index to be out-of-bounds, but still generates code to check the index, cannot by any measures be called 'optimizing'.

If flow analysis shows that there is a possibility for out-of-bounds access, then the compiler should generate checks. A compiler that doesn't detect thatthat an array index could possibly be out-of-bounds, but goes on to generate code for a possibly faulty array access without any check, without any warning, is faulty.

Unfortunately, this is incompatible with a major part of C(++) code (and its formal language definition).

That is also why all of my coding is incompatible with C(++) semantics.
JokeRe: No, you cannot trust third party code without reading it first Pin
Daniel Pfeffer11-Aug-22 21:23
professionalDaniel Pfeffer11-Aug-22 21:23 
NewsIT leaders struggle with application modernization, survey finds Pin
Kent Sharkey11-Aug-22 10:46
staffKent Sharkey11-Aug-22 10:46 
GeneralRe: IT leaders struggle with application modernization, survey finds Pin
Nelek12-Aug-22 12:05
protectorNelek12-Aug-22 12:05 
NewsMicrosoft urges Windows users to run patch for DogWalk zero-day exploit Pin
Kent Sharkey11-Aug-22 10:31
staffKent Sharkey11-Aug-22 10:31 
NewsC# 11: Preview of features for .NET 7 Pin
Kent Sharkey11-Aug-22 10:31
staffKent Sharkey11-Aug-22 10:31 
NewsIntel shares 48 benchmarks to show its Arc A750 can compete with an RTX 3060 Pin
Kent Sharkey11-Aug-22 8:31
staffKent Sharkey11-Aug-22 8:31 
NewsVulnerabilities allowed researchers to remotely lock and unlock doors Pin
Kent Sharkey11-Aug-22 8:31
staffKent Sharkey11-Aug-22 8:31 
GeneralRe: Vulnerabilities allowed researchers to remotely lock and unlock doors Pin
obermd12-Aug-22 3:43
obermd12-Aug-22 3:43 
GeneralRe: Vulnerabilities allowed researchers to remotely lock and unlock doors Pin
Nelek12-Aug-22 11:50
protectorNelek12-Aug-22 11:50 
NewsWhy does thinking hard make me so tired? Pin
Kent Sharkey11-Aug-22 8:31
staffKent Sharkey11-Aug-22 8:31 
GeneralRe: Why does thinking hard make me so tired? Pin
Dan Neely12-Aug-22 3:26
Dan Neely12-Aug-22 3:26 
GeneralRe: Why does thinking hard make me so tired? Pin
obermd12-Aug-22 3:45
obermd12-Aug-22 3:45 
NewsTop 25 emerging technologies: Which ones will live up to the hype? Pin
Kent Sharkey11-Aug-22 8:31
staffKent Sharkey11-Aug-22 8:31 
GeneralRe: Top 25 emerging technologies: Which ones will live up to the hype? Pin
David O'Neil11-Aug-22 15:14
professionalDavid O'Neil11-Aug-22 15:14 
GeneralRe: Top 25 emerging technologies: Which ones will live up to the hype? Pin
trønderen12-Aug-22 4:08
trønderen12-Aug-22 4:08 
GeneralRe: Top 25 emerging technologies: Which ones will live up to the hype? Pin
Nelek12-Aug-22 11:47
protectorNelek12-Aug-22 11:47 
NewsChoosing a .NET Memory Profiler in Visual Studio – part 1 Pin
Kent Sharkey11-Aug-22 8:16
staffKent Sharkey11-Aug-22 8:16 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.