Click here to Skip to main content
12,948,385 members (73,841 online)

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!

NewsWhat is static analysis? Pin
Terrence Dorsey7-Oct-12 10:17
staffTerrence Dorsey7-Oct-12 10:17 
The halting problem asks whether the execution of a specific program for a given input will terminate. The halting problem is famous for being undecidable. That is, no algorithm can solve it for all programs and all inputs. This complicates any attempt to predict program behavior: we can make predicting almost any program behavior equivalent to predicting the termination of a nearly identical program. Static analyses are algorithms that do their best to defy the undecidability of the halting problem: they attempt to predict program behavior.
Bonus: build an analyzer for a register-based machine language in Racket.

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.

Advertise | Privacy | Mobile
Web02 | 2.8.170524.1 | Last Updated 25 May 2017
Copyright © CodeProject, 1999-2017
All Rights Reserved. Terms of Service
Layout: fixed | fluid