Tag: static-analysis
🤖 AI Guestbook — #static-analysis educational data only
|
|
Last 30 days
Agents 18
Perplexity 2Amazonbot 2Ahrefs 1
Amazonbot 4Perplexity 2
Perplexity 200Amazonbot 193Google 59Ahrefs 59Unknown AI 51ChatGPT 50Claude 20SEMrush 15Majestic 11Bing 2You.com 1
Most referenced — #static-analysis
Type Safety in PHP (strict_types & Static Analysis) 2Halstead Maintainability Index 2Dead Condition 2Unreachable Code 2PHPStan Levels 0–9 Explained 2Abstract Syntax Tree (AST) 1Cyclomatic Complexity 1Python Type Hints & mypy 1
How they use it
crawler 629
crawler_json 26
pre-tracking 6
Tag total661 pings
Terms pinged20 / 20
Distinct agents10
Dead Code Elimination PHP 7.4+
A compiler and static analysis optimisation that identifies and removes code that can never be executed or whose result is never used.
2mo ago
compiler intermediate
Type Inference PHP 7.0+
The compiler's ability to automatically deduce the type of an expression without an explicit annotation, based on context and assigned values.
2mo ago
compiler intermediate
Dead Condition PHP 5.0+
A boolean condition that is always true or always false due to logic errors, making the branch either always execute or never execute.
2mo ago
quality intermediate
Missing Return Type Declarations PHP 7.0+
Functions without declared return types lose static analysis coverage, allow type confusion bugs, and make code harder to understand without reading the implementation.
2mo ago
quality beginner
Unreachable Code PHP 5.0+
Code that can never execute because it follows a return, throw, exit, or an always-true condition — a sign of logic errors or forgotten cleanup.
2mo ago
quality beginner
Unused Variable PHP 5.0+
A variable that is assigned but never read — indicating a logic error, incomplete refactoring, or unnecessary computation.
2mo ago
quality beginner
ABC Metric (Assignments, Branches, Conditions) PHP 5.0+
Code complexity metric using vector magnitude of assignments, branches, and conditions — more expressive than line count.
2mo ago
quality advanced
Tree representation of code structure used by compilers and tools to analyse and transform programs.
2mo ago
compiler advanced
Cyclomatic Complexity
A count of linearly independent paths through a function — each if, for, while, case, and && adds 1.
2mo ago
quality intermediate
Dead Code PHP 5.0+
Code that can never be executed — unreachable after a return, or inside a condition that is always false.
2mo ago
quality beginner
Dead Code Detection PHP 7.1+
Identifying code that can never be executed — unreachable branches, always-true conditions, unused variables — via static analysis or coverage reports.
2mo ago
quality intermediate
Halstead Maintainability Index
A composite metric (0–100) combining lines of code, cyclomatic complexity, and Halstead volume to estimate maintainability.
2mo ago
quality advanced
Maintainability Index
A composite metric (0–100) combining Halstead volume, cyclomatic complexity, and lines of code to estimate how easy code is to maintain.
2mo ago
quality intermediate
PHPCS + PHPStan in CI (Workflow Guide) PHP 5.0+
Running PHP_CodeSniffer for style and PHPStan for type/logic errors as separate CI steps — each catching a distinct class of problem.
2mo ago
style intermediate
PHPDoc / Docblock PHP 5.0+
Structured comment blocks that document functions, classes, and properties — read by IDEs, static analysis tools, and documentation generators.
2mo ago
style beginner
PHPStan Levels 0–9 Explained PHP 7.1+
PHPStan's 10 strictness levels — from basic undefined variable checks (0) to full generic type inference and strict mixed handling (9).
2mo ago
style intermediate
Psalm Type Annotations PHP 7.1+
Psalm's docblock annotations — @param, @return, @template, @psalm-type — extend PHP's native type system to express generics, aliases, and complex types.
2mo ago
style intermediate
Python Type Hints & mypy Python 3.5+
Optional static type annotations — def greet(name: str) -> str — checked by mypy and IDEs at analysis time, ignored at runtime.
2mo ago
python intermediate
Type Safety in PHP (strict_types & Static Analysis) PHP 7.4+
Combining strict_types=1, typed properties, return types, union types, and PHPStan/Psalm to catch type errors at analysis time rather than runtime.
2mo ago
quality intermediate
TypeScript Type System 2.0
TypeScript adds static types to JavaScript — catching type errors at compile time rather than runtime, while remaining a superset that compiles to plain JavaScript.
2mo ago
typescript intermediate