StaticAnalysis Domain — react Architecture
Deep semantic analysis of the code structure using High-Level Intermediate Representation (HIR) and SSA form.
Entity Profile
Dependency Diagram
graph TD domain_StaticAnalysis["StaticAnalysis"] subdomain_StaticAnalysis_TypeInference["TypeInference"] domain_StaticAnalysis --> subdomain_StaticAnalysis_TypeInference subdomain_StaticAnalysis_AliasAnalysis["AliasAnalysis"] domain_StaticAnalysis --> subdomain_StaticAnalysis_AliasAnalysis subdomain_StaticAnalysis_ControlFlowGraph["ControlFlowGraph"] domain_StaticAnalysis --> subdomain_StaticAnalysis_ControlFlowGraph style domain_StaticAnalysis fill:#6366f1,stroke:#818cf8,color:#fff
Relationship Graph
Subdomains
Source Files
- compiler/packages/babel-plugin-react-compiler/src/Inference/AliasingEffects.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/AnalyseFunctions.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertConsistentIdentifiers.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertTerminalBlocksExist.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertValidBlockNesting.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertValidMutableRanges.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/BuildHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/BuildReactiveScopeTerminalsHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/CollectHoistablePropertyLoads.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/CollectOptionalChainDependencies.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ComputeUnconditionalBlocks.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/ControlDominators.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/DefaultModuleTypeProvider.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/DeriveMinimalDependenciesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Dominator.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/DropManualMemoization.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/EliminateRedundantPhi.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/EnterSSA.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Environment.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/FindContextIdentifiers.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Globals.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/HIRBuilder.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferEffectDependencies.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutationAliasingEffects.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutationAliasingRanges.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferReactivePlaces.ts
- compiler/packages/babel-plugin-react-compiler/src/TypeInference/InferTypes.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InlineImmediatelyInvokedFunctionExpressions.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/MergeConsecutiveBlocks.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/MergeOverlappingReactiveScopesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ObjectShape.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PropagateScopeDependenciesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PruneUnusedLabelsHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/RewriteInstructionKindsBasedOnReassignment.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ScopeDependencyUtils.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/TypeSchema.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Types.ts
- compiler/packages/babel-plugin-react-compiler/src/TypeInference/index.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/index.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/index.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/index.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/visitors.ts
Source
- compiler/packages/babel-plugin-react-compiler/src/Inference/AliasingEffects.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/AnalyseFunctions.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertConsistentIdentifiers.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertTerminalBlocksExist.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertValidBlockNesting.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/AssertValidMutableRanges.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/BuildHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/BuildReactiveScopeTerminalsHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/CollectHoistablePropertyLoads.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/CollectOptionalChainDependencies.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ComputeUnconditionalBlocks.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/ControlDominators.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/DefaultModuleTypeProvider.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/DeriveMinimalDependenciesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Dominator.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/DropManualMemoization.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/EliminateRedundantPhi.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/EnterSSA.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Environment.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/FindContextIdentifiers.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Globals.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/HIRBuilder.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferEffectDependencies.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutationAliasingEffects.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutationAliasingRanges.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InferReactivePlaces.ts
- compiler/packages/babel-plugin-react-compiler/src/TypeInference/InferTypes.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/InlineImmediatelyInvokedFunctionExpressions.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/MergeConsecutiveBlocks.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/MergeOverlappingReactiveScopesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ObjectShape.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PropagateScopeDependenciesHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/PruneUnusedLabelsHIR.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/RewriteInstructionKindsBasedOnReassignment.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/ScopeDependencyUtils.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/TypeSchema.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/Types.ts
- compiler/packages/babel-plugin-react-compiler/src/TypeInference/index.ts
- compiler/packages/babel-plugin-react-compiler/src/Inference/index.ts
- compiler/packages/babel-plugin-react-compiler/src/SSA/index.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/index.ts
- compiler/packages/babel-plugin-react-compiler/src/HIR/visitors.ts
Frequently Asked Questions
What is the StaticAnalysis domain?
The StaticAnalysis domain is an architectural grouping in the react codebase. Deep semantic analysis of the code structure using High-Level Intermediate Representation (HIR) and SSA form. It contains 44 source files.
What subdomains are in StaticAnalysis?
The StaticAnalysis domain contains 3 subdomain(s): AliasAnalysis, ControlFlowGraph, TypeInference.
How many files are in StaticAnalysis?
The StaticAnalysis domain contains 44 source files.
Analyze Your Own Codebase
Get architecture documentation, dependency graphs, and domain analysis for your codebase in minutes.
Try Supermodel Free