Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Index your code
hub
/
github.com/cognitive-engineering-lab/aquascope
/ types & classes
Types & classes
163 in github.com/cognitive-engineering-lab/aquascope
⨍
Functions
571
◇
Types & classes
163
↓ 2 callers
Class
CleanedBody
A /cleaned/ graph representation for working with the MIR. A `CleanedBody` represents MIR locations that are reachable via regular control-flow. This
crates/aquascope/src/analysis/ir_mapper/body_graph.rs:14
↓ 2 callers
Class
Json
crates/aquascope_serve/src/server.rs:108
↓ 2 callers
Class
LoanKey
crates/aquascope/src/analysis/mod.rs:52
↓ 2 callers
Class
MoveKey
crates/aquascope/src/analysis/mod.rs:101
↓ 1 callers
Class
AllPostDominators
Computes the intersection of the post-dominators across all exits to a graph.
crates/aquascope/src/analysis/ir_mapper/post_dominators.rs:10
↓ 1 callers
Class
AquascopePreprocessorWrapper
crates/mdbook-aquascope/src/main.rs:21
↓ 1 callers
Class
BuilderIdx
crates/aquascope/src/analysis/stepper/segmented_mir.rs:203
↓ 1 callers
Enum
Error
crates/aquascope_serve/src/main.rs:76
↓ 1 callers
Class
LoanPoints
crates/aquascope/src/analysis/mod.rs:105
↓ 1 callers
Class
LoanRegions
crates/aquascope/src/analysis/mod.rs:113
↓ 1 callers
Class
MdCharPos
crates/mdbook-aquascope/src/annotations.rs:13
↓ 1 callers
Class
MdLinePos
crates/mdbook-aquascope/src/annotations.rs:17
↓ 1 callers
Class
MovePoints
crates/aquascope/src/analysis/mod.rs:109
↓ 1 callers
Class
MoveRegions
crates/aquascope/src/analysis/mod.rs:117
↓ 1 callers
Class
MovedPlaces
crates/aquascope/src/interpreter/step.rs:103
↓ 1 callers
Class
PermissionsDomain
crates/aquascope/src/analysis/permissions/mod.rs:201
Class
frontend/packages/leader-line/src/bindings/leader-line.d.ts:150
Class
frontend/packages/leader-line/src/bindings/leader-line.d.ts:152
Class
frontend/packages/leader-line/src/bindings/leader-line.d.ts:154
Class
frontend/packages/aquascope-editor/src/lib.tsx:120
Class
frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx:803
Class
frontend/packages/aquascope-editor/src/editor-utils/stepper.tsx:381
Class
frontend/packages/aquascope-editor/src/editor-utils/boundaries.tsx:150
Enum
Abbreviated
crates/aquascope/src/interpreter/mvalue.rs:49
Class
AddressLocator
crates/aquascope/src/interpreter/miri_utils.rs:48
Class
AnalysisOutput
crates/aquascope/src/analysis/mod.rs:301
Class
AnchorAttachment
frontend/packages/leader-line/src/bindings/leader-line.d.ts:152
Interface
AnimationOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:94
Class
AquascopeAnalysis
crates/aquascope/src/analysis/mod.rs:288
Class
AquascopeAnnotations
crates/mdbook-aquascope/src/annotations.rs:48
Class
AquascopeArgs
crates/mdbook-aquascope/src/main.rs:19
Class
AquascopeBlock
crates/mdbook-aquascope/src/block.rs:19
Class
AquascopeCallbacks
crates/aquascope_front/src/plugin.rs:172
Enum
AquascopeCommand
crates/aquascope_front/src/plugin.rs:39
Enum
AquascopeError
crates/aquascope/src/analysis/mod.rs:280
Class
AquascopeFacts
crates/aquascope/src/analysis/permissions/mod.rs:34
Class
AquascopePlugin
crates/aquascope_front/src/plugin.rs:54
Class
AquascopePluginArgs
crates/aquascope_front/src/plugin.rs:30
Class
AquascopePreprocessor
crates/mdbook-aquascope/src/preprocessor.rs:21
Interface
AreaAnchorOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:111
Interface
BackendOutput
frontend/packages/aquascope-editor/src/types.ts:65
Enum
BadSegmentKind
crates/aquascope/src/analysis/stepper/segmented_mir.rs:890
Interface
BasicBlockDataExt
crates/aquascope/src/analysis/ir_mapper/body_graph.rs:136
Class
BindingFinder
crates/aquascope/src/analysis/find_bindings.rs:9
Enum
BodySpanType
crates/aquascope/src/interpreter/step.rs:142
Class
BoundariesAnnotations
crates/mdbook-aquascope/src/annotations.rs:36
Class
BoundaryPointWidget
frontend/packages/aquascope-editor/src/editor-utils/boundaries.tsx:150
Interface
Bounded
crates/aquascope/src/analysis/mod.rs:185
Class
BranchData
crates/aquascope/src/analysis/stepper/segmented_mir.rs:163
Enum
CFKind
crates/aquascope/src/analysis/stepper/segmented_mir.rs:185
Class
Cache
crates/mdbook-aquascope/src/cache.rs:15
Interface
CaptionLabelOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:135
Class
CollectMoves
crates/aquascope/src/interpreter/step.rs:542
Class
Collection
crates/aquascope/src/analysis/stepper/segmented_mir.rs:191
Class
CollectionBuilder
crates/aquascope/src/analysis/stepper/segmented_mir.rs:197
Interface
CommonConfig
frontend/packages/aquascope-editor/src/lib.tsx:114
Class
Config
crates/aquascope_serve/src/main.rs:29
Class
Container
crates/aquascope_serve/src/container.rs:44
Interface
DashOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:74
Interface
DecorationField
frontend/packages/aquascope-editor/src/editor-utils/misc.tsx:306
Class
DiagnosticInfo
crates/aquascope/src/errors/mod.rs:15
Interface
Difference
crates/aquascope/src/analysis/stepper/mod.rs:46
Interface
DropShadowOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:86
Class
Editor
frontend/packages/aquascope-editor/src/lib.tsx:120
Interface
EditorComponentProps
frontend/packages/aquascope-editor/src/lib.tsx:369
Enum
Error
crates/aquascope_serve/src/container.rs:13
Class
ErrorJson
crates/aquascope_serve/src/main.rs:36
Class
ExpectedPermissions
crates/aquascope/src/analysis/boundaries/mod.rs:253
Interface
FileNotFound
frontend/packages/aquascope-editor/src/types.ts:54
Enum
FindResult
crates/aquascope/src/analysis/stepper/segmented_mir.rs:206
Class
FindSteppableNodes
crates/aquascope/src/interpreter/mapper.rs:20
Class
FlowBoundary
crates/aquascope/src/analysis/boundaries/mod.rs:213
Enum
FlowEdgeKind
crates/aquascope/src/analysis/permissions/flow.rs:138
Enum
GatherDepth
crates/aquascope/src/analysis/ir_mapper/mod.rs:65
Enum
GatherMode
crates/aquascope/src/analysis/ir_mapper/mod.rs:59
Enum
GetSpanner
crates/aquascope/src/analysis/stepper/segmented_mir.rs:353
Interface
GradientOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:81
Enum
HeapAllocKind
crates/aquascope/src/interpreter/mvalue.rs:85
Class
HirExprScraper
crates/aquascope/src/analysis/scrape_hir.rs:7
Class
HirExprScraper
crates/aquascope/src/analysis/boundaries/path_visitor.rs:26
Class
HirNodeLocations
TODO: I want to decompose this into more specific regions. E.g. we really want to only ever group locations together which have a total order. Example
crates/aquascope/src/analysis/ir_mapper/mod.rs:54
Class
HirStepPoints
Visitor for creating permission steps in the HIR. Visits the HIR in a Nested order, splitting the MIR and accumulating permission steps.
crates/aquascope/src/analysis/stepper/hir_steps.rs:79
Class
IRMapper
crates/aquascope/src/analysis/ir_mapper/mod.rs:24
Interface
IconField
frontend/packages/aquascope-editor/src/editor-utils/misc.tsx:38
Class
InterpAnnotations
crates/mdbook-aquascope/src/annotations.rs:42
Class
InterpretCallbacks
crates/aquascope/src/interpreter/mod.rs:67
Interface
InterpreterConfig
frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx:43
Enum
InvalidReason
crates/aquascope/src/analysis/stepper/segmented_mir.rs:875
Class
LabelAttachment
frontend/packages/leader-line/src/bindings/leader-line.d.ts:150
Interface
LabelFontOptions
frontend/packages/leader-line/src/bindings/leader-line.d.ts:16
Class
LeaderLine
frontend/packages/leader-line/src/bindings/leader-line.d.ts:154
Enum
LengthKind
crates/aquascope/src/analysis/stepper/segmented_mir.rs:140
Enum
LoanRefined
crates/aquascope/src/analysis/mod.rs:59
Class
LocalFrame
crates/aquascope/src/interpreter/step.rs:162
Class
MFrame
crates/aquascope/src/interpreter/step.rs:43
Class
MHeap
crates/aquascope/src/interpreter/step.rs:58
Enum
MHeapAllocKind
crates/aquascope/src/interpreter/mvalue.rs:94
Class
MLocal
crates/aquascope/src/interpreter/step.rs:35
Enum
MMemorySegment
crates/aquascope/src/interpreter/mvalue.rs:23
Class
MPath
crates/aquascope/src/interpreter/mvalue.rs:39
next →
1–100 of 163, ranked by callers