{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-static-analysis",
  "id": "static-analysis",
  "kind": "mechanism",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-computation-core",
    "json": "https://banes-lab.com/json/records/layer/computation-core",
    "label": "Computation Core",
    "markdown": "https://banes-lab.com/records/layer/computation-core.md",
    "ref": "layer:computation-core"
  },
  "name": "Static Analysis",
  "ref": "architecture:static-analysis",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ruleset",
          "json": "https://banes-lab.com/json/records/lexicon/ruleset",
          "label": "Ruleset",
          "markdown": "https://banes-lab.com/records/lexicon/ruleset.md",
          "ref": "lexicon:ruleset"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-type-safety",
          "json": "https://banes-lab.com/json/records/architecture/type-safety",
          "label": "Type Safety",
          "markdown": "https://banes-lab.com/records/architecture/type-safety.md",
          "ref": "architecture:type-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-security",
          "json": "https://banes-lab.com/json/records/lexicon/security",
          "label": "Security",
          "markdown": "https://banes-lab.com/records/lexicon/security.md",
          "ref": "lexicon:security"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-architecture-compliance",
          "json": "https://banes-lab.com/json/records/lexicon/architecture-compliance",
          "label": "Architecture Compliance",
          "markdown": "https://banes-lab.com/records/lexicon/architecture-compliance.md",
          "ref": "lexicon:architecture-compliance"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-automated-enforcement",
          "json": "https://banes-lab.com/json/records/lexicon/automated-enforcement",
          "label": "Automated Enforcement",
          "markdown": "https://banes-lab.com/records/lexicon/automated-enforcement.md",
          "ref": "lexicon:automated-enforcement"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unchecked-dynamic-code",
          "json": "https://banes-lab.com/json/records/lexicon/unchecked-dynamic-code",
          "label": "Unchecked Dynamic Code",
          "markdown": "https://banes-lab.com/records/lexicon/unchecked-dynamic-code.md",
          "ref": "lexicon:unchecked-dynamic-code"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-false-positives",
          "json": "https://banes-lab.com/json/records/lexicon/false-positives",
          "label": "False Positives",
          "markdown": "https://banes-lab.com/records/lexicon/false-positives.md",
          "ref": "lexicon:false-positives"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-runtime-discovery",
          "json": "https://banes-lab.com/json/records/architecture/runtime-discovery",
          "label": "Runtime Discovery",
          "markdown": "https://banes-lab.com/records/architecture/runtime-discovery.md",
          "ref": "architecture:runtime-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-metaprogramming",
          "json": "https://banes-lab.com/json/records/architecture/metaprogramming",
          "label": "Metaprogramming",
          "markdown": "https://banes-lab.com/records/architecture/metaprogramming.md",
          "ref": "architecture:metaprogramming"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-reflection",
          "json": "https://banes-lab.com/json/records/architecture/reflection",
          "label": "Reflection",
          "markdown": "https://banes-lab.com/records/architecture/reflection.md",
          "ref": "architecture:reflection"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-plugin-architecture",
          "json": "https://banes-lab.com/json/records/architecture/plugin-architecture",
          "label": "Plugin Architecture",
          "markdown": "https://banes-lab.com/records/architecture/plugin-architecture.md",
          "ref": "architecture:plugin-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#tension-runtime-discovery-static-analysis",
          "json": "https://banes-lab.com/json/records/tension/runtime-discovery-static-analysis",
          "label": "Runtime Discovery / Static Analysis",
          "markdown": "https://banes-lab.com/records/tension/runtime-discovery-static-analysis.md",
          "ref": "tension:runtime-discovery-static-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#tension-metaprogramming-static-analysis",
          "json": "https://banes-lab.com/json/records/tension/metaprogramming-static-analysis",
          "label": "Metaprogramming / Static Analysis",
          "markdown": "https://banes-lab.com/records/tension/metaprogramming-static-analysis.md",
          "ref": "tension:metaprogramming-static-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#tension-reflection-static-analysis",
          "json": "https://banes-lab.com/json/records/tension/reflection-static-analysis",
          "label": "Reflection / Static Analysis",
          "markdown": "https://banes-lab.com/records/tension/reflection-static-analysis.md",
          "ref": "tension:reflection-static-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#tension-plugin-architecture-static-analysis",
          "json": "https://banes-lab.com/json/records/tension/plugin-architecture-static-analysis",
          "label": "Plugin Architecture / Static Analysis",
          "markdown": "https://banes-lab.com/records/tension/plugin-architecture-static-analysis.md",
          "ref": "tension:plugin-architecture-static-analysis"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-false-positives-static-analysis",
          "json": "https://banes-lab.com/json/records/tension/false-positives-static-analysis",
          "label": "Static Analysis / False Positives",
          "markdown": "https://banes-lab.com/records/tension/false-positives-static-analysis.md",
          "ref": "tension:false-positives-static-analysis"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ignored-analyzer-findings",
          "json": "https://banes-lab.com/json/records/lexicon/ignored-analyzer-findings",
          "label": "Ignored Analyzer Findings",
          "markdown": "https://banes-lab.com/records/lexicon/ignored-analyzer-findings.md",
          "ref": "lexicon:ignored-analyzer-findings"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-automated-enforcement",
          "json": "https://banes-lab.com/json/records/lexicon/automated-enforcement",
          "label": "Automated Enforcement",
          "markdown": "https://banes-lab.com/records/lexicon/automated-enforcement.md",
          "ref": "lexicon:automated-enforcement"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-track-rule-metrics",
          "json": "https://banes-lab.com/json/records/lexicon/track-rule-metrics",
          "label": "Track Rule Metrics",
          "markdown": "https://banes-lab.com/records/lexicon/track-rule-metrics.md",
          "ref": "lexicon:track-rule-metrics"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-mandatory",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-mandatory",
          "label": "mandatory",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-mandatory.md",
          "ref": "vocabulary:severity-mandatory"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-static-analysis",
          "json": "https://banes-lab.com/json/records/reasoning/technique-static-analysis",
          "label": "Static Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/technique-static-analysis.md",
          "ref": "reasoning:technique-static-analysis"
        }
      ],
      "relation": "techniques"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/records/architecture-category/correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/records/architecture-category/correctness-determinism-verification.md",
          "ref": "architecture-category:correctness-determinism-verification"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-manual-only-governance",
          "json": "https://banes-lab.com/json/records/architecture/manual-only-governance",
          "label": "Manual-Only Governance",
          "markdown": "https://banes-lab.com/records/architecture/manual-only-governance.md",
          "ref": "architecture:manual-only-governance"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-runtime-discovery",
          "json": "https://banes-lab.com/json/records/architecture/runtime-discovery",
          "label": "Runtime Discovery",
          "markdown": "https://banes-lab.com/records/architecture/runtime-discovery.md",
          "ref": "architecture:runtime-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-verification",
          "json": "https://banes-lab.com/json/records/architecture/verification",
          "label": "Verification",
          "markdown": "https://banes-lab.com/records/architecture/verification.md",
          "ref": "architecture:verification"
        }
      ],
      "relation": "refactors"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/pag#what-is-pag",
          "json": "https://banes-lab.com/json/pag/introduction/what-is-pag",
          "label": "What PAG is",
          "markdown": "https://banes-lab.com/pag/introduction/what-is-pag.md",
          "ref": "chapter:/pag#what-is-pag"
        },
        {
          "href": "https://banes-lab.com/pag/guide#well-formedness",
          "json": "https://banes-lab.com/json/pag/guide/well-formedness",
          "label": "Well-formedness",
          "markdown": "https://banes-lab.com/pag/guide/well-formedness.md",
          "ref": "chapter:/pag/guide#well-formedness"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology#who-does-what",
          "json": "https://banes-lab.com/json/disciplined-methodology/start/who-does-what",
          "label": "Who does what",
          "markdown": "https://banes-lab.com/disciplined-methodology/start/who-does-what.md",
          "ref": "chapter:/disciplined-methodology#who-does-what"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology#three-encodings",
          "json": "https://banes-lab.com/json/disciplined-methodology/start/three-encodings",
          "label": "Three encodings",
          "markdown": "https://banes-lab.com/disciplined-methodology/start/three-encodings.md",
          "ref": "chapter:/disciplined-methodology#three-encodings"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology/build#a-check-matches-a-shape",
          "json": "https://banes-lab.com/json/disciplined-methodology/build/a-check-matches-a-shape",
          "label": "A check matches a shape",
          "markdown": "https://banes-lab.com/disciplined-methodology/build/a-check-matches-a-shape.md",
          "ref": "chapter:/disciplined-methodology/build#a-check-matches-a-shape"
        },
        {
          "href": "https://banes-lab.com/software-architecture/coverage#an-architecture-is-its-predicate-set",
          "json": "https://banes-lab.com/json/software-architecture/coverage/an-architecture-is-its-predicate-set",
          "label": "From intent to predicate",
          "markdown": "https://banes-lab.com/software-architecture/coverage/an-architecture-is-its-predicate-set.md",
          "ref": "chapter:/software-architecture/coverage#an-architecture-is-its-predicate-set"
        },
        {
          "href": "https://banes-lab.com/software-architecture/scale#scale-follows-determinism",
          "json": "https://banes-lab.com/json/software-architecture/scale/scale-follows-determinism",
          "label": "Scale follows determinism",
          "markdown": "https://banes-lab.com/software-architecture/scale/scale-follows-determinism.md",
          "ref": "chapter:/software-architecture/scale#scale-follows-determinism"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-anti-patterns",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-anti-patterns",
          "label": "Anti-patterns",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-anti-patterns.md",
          "ref": "chapter:/ontology#architecture-category-anti-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-runtime-discovery-dynamic-binding",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-runtime-discovery-dynamic-binding",
          "label": "Runtime Discovery / Dynamic Binding",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-runtime-discovery-dynamic-binding.md",
          "ref": "chapter:/ontology#architecture-category-runtime-discovery-dynamic-binding"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology#architecture-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-metaprogramming-language-oriented-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-metaprogramming-language-oriented-architecture",
          "label": "Metaprogramming / Language-Oriented Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-metaprogramming-language-oriented-architecture.md",
          "ref": "chapter:/ontology#architecture-category-metaprogramming-language-oriented-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-plugin-extensibility-ioc",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-plugin-extensibility-ioc",
          "label": "Plugin / Extensibility / IoC",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-plugin-extensibility-ioc.md",
          "ref": "chapter:/ontology#architecture-category-plugin-extensibility-ioc"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-schema-canonical-data-semantics",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-schema-canonical-data-semantics",
          "label": "Schema / Canonical Data / Semantics",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-schema-canonical-data-semantics.md",
          "ref": "chapter:/ontology#architecture-category-schema-canonical-data-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-architecture-review-evolution-governance",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-architecture-review-evolution-governance",
          "label": "Architecture Review Evolution Governance",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-architecture-review-evolution-governance.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-architecture-review-evolution-governance"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-quality-attributes",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-quality-attributes",
          "label": "Quality Attributes",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-quality-attributes.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-quality-attributes"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-techniques",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-techniques",
          "label": "The techniques",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-techniques.md",
          "ref": "chapter:/ontology/reasoning#the-techniques"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/anatomy/coordination#file-coordination-tools-core-validators-taxonomy-validator-ts",
          "json": "https://banes-lab.com/json/source/coordination/tools/core/validators/taxonomy.validator.ts",
          "label": "checkNaming",
          "markdown": "https://banes-lab.com/source/coordination/tools/core/validators/taxonomy.validator.ts.md",
          "ref": "anatomy:file-coordination-tools-core-validators-taxonomy-validator-ts"
        },
        {
          "href": "https://banes-lab.com/anatomy/coordination#file-coordination-tools-core-validators-taxonomy-validator-ts",
          "json": "https://banes-lab.com/json/source/coordination/tools/core/validators/taxonomy.validator.ts",
          "label": "checkPlacement",
          "markdown": "https://banes-lab.com/source/coordination/tools/core/validators/taxonomy.validator.ts.md",
          "ref": "anatomy:file-coordination-tools-core-validators-taxonomy-validator-ts"
        }
      ],
      "relation": "evidence"
    }
  ],
  "summary": "A mechanism that checks source code against a ruleset without running it.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-testability",
      "json": "https://banes-lab.com/json/records/architecture/testability",
      "label": "Testability",
      "markdown": "https://banes-lab.com/records/architecture/testability.md",
      "ref": "architecture:testability"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-property-based-testing",
      "json": "https://banes-lab.com/json/records/architecture/property-based-testing",
      "label": "Property-Based Testing",
      "markdown": "https://banes-lab.com/records/architecture/property-based-testing.md",
      "ref": "architecture:property-based-testing"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [],
  "exemplar": {
    "after": "const foo: Foo = loadFoo();\nfoo.name.toUpperCase();\nrunTypeCheck({ noImplicitAny: true, strictNullChecks: true });",
    "before": "const foo: any = loadFoo();\nfoo.nmae.toUpperCase();",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "codebase",
    "build"
  ],
  "severity": "mandatory"
}