Live briefing
Everything about Unreachable code
Section of code in a program that can never be executed
In computer programming, unreachable code is part of the source code of a program which can never be executed because there exists no control flow path to the code from the rest of the program. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Unreachable codeA 5-minute orientation
- Pick up a classic book: Mathematical structures for computer scienceThe most-reprinted book on the subject
- Read the landmark paper: Using unreachable code analysis in static analysis tool for finding defects in source codeCited 5 times
- Go sideways: Dead codeA closely related topic
- Go sideways: Lint (software)A closely related topic
đź“– Definitions
Noun Code that can never be reached during program execution because no part of the program calls it or branches to it.
🏆 Landmark papers (most cited)
đź“š Books worth reading
Mathematical structures for computer scienceJudith L. Gersting · 1982
Why programs failAndreas Zeller · 2005
TCP/IP IllustratedW. Richard Stevens, Kevin R. Fall · 1993
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Dead code The term dead code has multiple definitions. Some use the term to refer to code (i.e. instructions in memory) which can never be executed at run-time.…
- Lint (software) Lint is a Unix utility that performs static program analysis on C language source code. The software gives its name to modern computing tools responsible…
- Dead-code elimination In compiler theory, dead-code elimination (DCE, dead-code removal, dead-code stripping, or dead-code strip) is a compiler optimization to remove dead code…
- C++ input/output library In the C++ programming language, input/output library refers to a family of class templates and supporting functions in the C++ Standard Library that implement…
- Re2c re2c is a free and open-source lexer generator for C, C++, D, Go, Haskell, Java, JavaScript, OCaml, Python, Rust, V and Zig. It compiles declarative regular…
- Program analysis In computer science, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness…
- Assertion (software development) In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state…
- Switch statement In computer programming, a switch statement is a selection control flow mechanism that changes execution control based on the value of an expression (i…