From 856784fee00badccf3968d795becf41c940565f5 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Fri, 30 Jan 2026 15:37:21 +0000
Subject: [PATCH 01/10] ui(graph): plot adt Node for Constructor caller

---
 ui/app/utils/graph.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ui/app/utils/graph.ts b/ui/app/utils/graph.ts
index eb9db7d..81471ed 100644
--- a/ui/app/utils/graph.ts
+++ b/ui/app/utils/graph.ts
@@ -551,7 +551,8 @@ export class Plot {
       switch (kind) {
         case AdtFnKind.MethodImmutableRefReceiver:
         case AdtFnKind.MethodMutableRefReceiver:
-        case AdtFnKind.MethodOwnedReceiver: {
+        case AdtFnKind.MethodOwnedReceiver:
+        case AdtFnKind.Constructor: {
           const field = Object.entries(info.field)
             .map(([name, access]) => ({ name, access }))
             .filter(f => f.access !== FieldAccessKind.Other)

From bffda4b1b677a8b5a400d7402a66e7327dc5fe79 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Fri, 30 Jan 2026 15:38:29 +0000
Subject: [PATCH 02/10] ui: better default example of std and core

---
 ui/app/lib/topbar.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ui/app/lib/topbar.ts b/ui/app/lib/topbar.ts
index 795f9a3..dba68b1 100644
--- a/ui/app/lib/topbar.ts
+++ b/ui/app/lib/topbar.ts
@@ -148,8 +148,8 @@ export const CRATES: Crate[] = [Crate.std, Crate.core, Crate.alloc, Crate.ostd];
 
 export function defaultCrateItemQuery(crate: Crate): string {
   switch (crate) {
-    case Crate.std: return "std::time::Instant::now";
-    case Crate.core: return "core::str::<impl str>::len";
+    case Crate.std: return "std::<os::unix::net::listener::UnixListener as os::fd::raw::FromRawFd>::from_raw_fd";
+    case Crate.core: return "core::ptr::write_volatile";
     case Crate.alloc: return "alloc::vec::Vec::<T, A>::set_len";
     case Crate.ostd: return "ostd::init";
     default: return "";

From 12c0efdd0e5ace115ff4cf2b9283c51e980bc20a Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 07:40:51 +0000
Subject: [PATCH 03/10] fix(SearchFn): only mark unsafe caller as unsafe

---
 ui/app/components/widget/SearchFn.vue | 7 +++++--
 ui/app/lib/topbar.ts                  | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/ui/app/components/widget/SearchFn.vue b/ui/app/components/widget/SearchFn.vue
index df7a918..80dad8b 100644
--- a/ui/app/components/widget/SearchFn.vue
+++ b/ui/app/components/widget/SearchFn.vue
@@ -23,12 +23,15 @@
 </template>
 
 <script setup lang="ts">
-import type { Search, SearchFnItem, UnsafeFns } from '~/lib/topbar';
+import { Unsafe, type Search, type SearchFnItem, type UnsafeFns } from '~/lib/topbar';
 
 const props = defineProps<{ v_fn: SearchFnItem[], title: string, unsafeFns: UnsafeFns }>()
 
 function isUnsafe(name: string): boolean {
-  return props.unsafeFns[name] ? true : false
+  switch (props.unsafeFns[name]) {
+    case Unsafe.Caller: case Unsafe.Both: return true;
+    default: return false;
+  }
 }
 
 const search = defineModel<Search>({ required: true })
diff --git a/ui/app/lib/topbar.ts b/ui/app/lib/topbar.ts
index dba68b1..584f0bc 100644
--- a/ui/app/lib/topbar.ts
+++ b/ui/app/lib/topbar.ts
@@ -208,5 +208,5 @@ export type UnsafeFns = {
 }
 
 export enum Unsafe {
-  Caller, Callee, Both,
+  Caller = "Caller", Callee = " Callee", Both = "Both",
 }

From 4e30a41370e651da7e8c12fec685b76548721b9c Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 07:41:43 +0000
Subject: [PATCH 04/10] io(AdtPopup): defualt not unsafeOnly

---
 ui/app/components/code/AdtPopup.vue | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ui/app/components/code/AdtPopup.vue b/ui/app/components/code/AdtPopup.vue
index 0159113..e151538 100644
--- a/ui/app/components/code/AdtPopup.vue
+++ b/ui/app/components/code/AdtPopup.vue
@@ -1,7 +1,7 @@
 <template>
   <div class="min-h-[75vh] flex">
     <UTree :items="items" :get-key="item => item.id" v-model="active" class="w-50 h-full"
-      expanded-icon="tabler:square-letter-f" />
+      expandedIcon="tabler:square-letter-f" collapsedIcon="tabler:square-letter-f" />
 
     <div class="w-full">
       <WidgetSearchFn :v_fn="adtItem.v_fn" :unsafeFns="unsafeFns" v-model="search" :title="adtItem.desc" />
@@ -142,7 +142,7 @@ const initAdtItem = () => {
   if (item) return { item, selected, selectedIdx }
 }
 
-const search = ref<Search>({ withTags: false, unsafeOnly: true, text: "", page: 1, itemsPerPage: 20 })
+const search = ref<Search>({ withTags: false, unsafeOnly: false, text: "", page: 1, itemsPerPage: 20 })
 
 const items = computed<TreeItem[]>(() => {
   const tree: TreeItem[] = []

From e710ff4a26619588724b367ecbd719bd1a264988 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 08:23:35 +0000
Subject: [PATCH 05/10] ui(AdtPopup): remove the limit of displaying it when
 adt panel is active

---
 ui/app/components/UPG.vue | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/ui/app/components/UPG.vue b/ui/app/components/UPG.vue
index 2f29ff7..b0c4fd1 100644
--- a/ui/app/components/UPG.vue
+++ b/ui/app/components/UPG.vue
@@ -92,14 +92,11 @@ const adtOpts = ref<AdtOpts>({});
 
 const adtClicked = ref<AdtClicked>({ open: false })
 watch(() => ({
-  isAdtPanel: upPanel.value === Panel.Adt || downPanel.value === Panel.Adt,
   isClicked: adtClicked.value.clickedAdt || adtClicked.value.clickedField,
   adt: adtClicked.value
-}), ({ isAdtPanel, isClicked, adt }) => {
-  // Auto open adt panel when side panels doesn't show adt panel, and user clicked adt or field.
-  if (!isAdtPanel && isClicked) {
+}), ({ isClicked, adt }) => {
+  if (isClicked)
     adtClicked.value = { open: true, lastClickedAdt: adt.clickedAdt, lastClickedField: adt.clickedField }
-  }
 })
 
 const share = ref<boolean>(false)

From 486c7327a354fbcdb0505ad108910612a97f7bf7 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 09:52:56 +0000
Subject: [PATCH 06/10] README: explain features and build commands

---
 README.md    | 94 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 ui/README.md | 17 ----------
 2 files changed, 94 insertions(+), 17 deletions(-)
 create mode 100644 README.md
 delete mode 100644 ui/README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..789587a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,94 @@
+# Web UI for Rust Unsafety Propogation Graph
+
+This is an implementation of [UPG](https://artisan-lab.github.io/RAPx-Book/6.4-unsafe.html).
+
+## Features
+
+### Render safety tags in a direct call graph
+
+Achieving a complete soundness guarantee requires the analysis of both endogenous and
+exogenous functions.
+
+For endogenous soundness, safety tags should be correctly discharged at the call site,
+delegated upward, or transformed into new tags associated with the caller.
+
+While tag checking and enforcement are managed by the [safety-tool] linter, the UI
+simply attaches tags as child nodes to the function-level nodes.
+
+[safety-tool]: https://github.com/Artisan-Lab/tag-std/tree/main/safety-tool
+
+![](https://github.com/user-attachments/assets/e8e41752-e147-4bd0-8de9-f3bceb5c4e19)
+
+### Explore tag specifications and usage frequencies
+
+A dedicated toolbar button opens a global registry of all tag specifications. Users can
+explore tag arguments, types, and their associated functions. The interface also includes
+a bar chart illustrating usage statistics for each tag.
+
+![](https://github.com/user-attachments/assets/6794a20f-e0a9-42b3-952e-4c29cf263470)
+
+![](https://github.com/user-attachments/assets/f247945f-0806-42dd-987a-6148f2412a27)
+
+<details>
+
+<summary>The search interface renders tags as badges adjacent to the function name.</summary>
+
+![](https://github.com/user-attachments/assets/4cf9956f-bdbf-4a62-a3aa-c7d7bdb4737b)
+
+![](https://github.com/user-attachments/assets/4cf9956f-bdbf-4a62-a3aa-c7d7bdb4737b)
+
+</details>
+
+### Inspect exogenous functions for ADTs in a popup view
+
+Exogenous functions are defined as functions that, while not directly invoked, may
+compromise the caller's invariants within the local or downstream crates upon composition.
+
+Our analysis focuses on functions associated with ADTs, specifically those where the ADT
+serves as the receiver type of the current method (the caller). This scope encompasses not
+only constructors but also functions that manipulate the ADT’s state through direct field
+access, arguments, or local variables.
+
+![](https://github.com/user-attachments/assets/d14ba2cd-fec0-4663-8c3c-0ae10992c1c3)
+
+![](https://github.com/user-attachments/assets/98b11559-f8ae-4d08-8ea1-9d7b6c0af7d3)
+
+### Streamline auditing in side panels
+
+**Side panels** streamline the audit process by providing centralized access to critical
+analysis materials, allowing users to switch contexts effortlessly. The panel view
+consists of:
+*   **ADT Exogenous Functions**: Provides an entry point to inspect exogenous functions.
+Users can trigger specialized popups through the following buttons:
+    *   **Constructors**: Lists functions that return the ADT.
+    *   **Fields**: Displays functions that access ADT fields, categorized by
+    **read** and **write** operations.
+    *   **Arguments**: Identifies functions where the ADT is passed as an argument,
+    separating **read** and **write** access.
+    *   **Locals**: Shows functions where the ADT is used as a local variable, categorized
+    by **read/write** access.
+*   **Safety Properties**: Renders detailed safety documentation for tagged functions,
+derived from both tag usage and specifications.
+*   **Documentation**: Displays a richly rendered HTML view derived from Markdown
+docstrings.
+*   **Source Code**: Provides a full-view display of the function's source code.
+*   **MIR**: Displays the MIR for a function instance.
+
+![](https://github.com/user-attachments/assets/e8e41752-e147-4bd0-8de9-f3bceb5c4e19)
+
+## Build the project
+
+Commands to build the UI project:
+
+```bash
+cd ui
+# Install dependencies
+npm install
+# Generate static webpage artifacts
+npm run generate
+# Start the development server on `http://localhost:3000`:
+npm run dev
+# Locally preview production build:
+npm run preview
+```
+
diff --git a/ui/README.md b/ui/README.md
deleted file mode 100644
index 8a5b1a7..0000000
--- a/ui/README.md
+++ /dev/null
@@ -1,17 +0,0 @@
-# Web UI for Rust Unsafety Propogation Graph
-
-Commands to build the UI project:
-
-```bash
-# Install dependencies
-npm install
-
-# Generate static webpage artifacts
-npm run generate
-
-# Start the development server on `http://localhost:3000`:
-npm run dev
-
-# Locally preview production build:
-npm run preview
-```

From cb1425303a677523a5455ef10e1c5632d2fbb0d3 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 09:58:25 +0000
Subject: [PATCH 07/10] README: fix image links

---
 README.md | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 789587a..7298d5f 100644
--- a/README.md
+++ b/README.md
@@ -27,13 +27,11 @@ a bar chart illustrating usage statistics for each tag.
 
 ![](https://github.com/user-attachments/assets/6794a20f-e0a9-42b3-952e-4c29cf263470)
 
-![](https://github.com/user-attachments/assets/f247945f-0806-42dd-987a-6148f2412a27)
-
 <details>
 
 <summary>The search interface renders tags as badges adjacent to the function name.</summary>
 
-![](https://github.com/user-attachments/assets/4cf9956f-bdbf-4a62-a3aa-c7d7bdb4737b)
+![](https://github.com/user-attachments/assets/f247945f-0806-42dd-987a-6148f2412a27)
 
 ![](https://github.com/user-attachments/assets/4cf9956f-bdbf-4a62-a3aa-c7d7bdb4737b)
 
@@ -49,9 +47,7 @@ serves as the receiver type of the current method (the caller). This scope encom
 only constructors but also functions that manipulate the ADT’s state through direct field
 access, arguments, or local variables.
 
-![](https://github.com/user-attachments/assets/d14ba2cd-fec0-4663-8c3c-0ae10992c1c3)
-
-![](https://github.com/user-attachments/assets/98b11559-f8ae-4d08-8ea1-9d7b6c0af7d3)
+![](https://github.com/user-attachments/assets/b7253f2a-7fd3-43bf-96d3-0900d3c7283c)
 
 ### Streamline auditing in side panels
 
@@ -74,6 +70,8 @@ docstrings.
 *   **Source Code**: Provides a full-view display of the function's source code.
 *   **MIR**: Displays the MIR for a function instance.
 
+![](https://github.com/user-attachments/assets/98b11559-f8ae-4d08-8ea1-9d7b6c0af7d3)
+
 ![](https://github.com/user-attachments/assets/e8e41752-e147-4bd0-8de9-f3bceb5c4e19)
 
 ## Build the project

From a35ec0d88ff4821c6ee970bd7ce4fe7d9d65511f Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 10:00:04 +0000
Subject: [PATCH 08/10] ui(tagview): remove spec url to not leak lab info

---
 ui/app/components/widget/Tag.vue | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ui/app/components/widget/Tag.vue b/ui/app/components/widget/Tag.vue
index fd34ef5..fed8bb4 100644
--- a/ui/app/components/widget/Tag.vue
+++ b/ui/app/components/widget/Tag.vue
@@ -21,10 +21,10 @@
           <div v-if="item.spec.types.length !== 0">
             <UBadge color="neutral" variant="outline">Types</UBadge> {{ item.spec.types }}
           </div>
-          <div v-if="item.spec.url">
-            <UBadge color="neutral" variant="outline">Ref</UBadge> <span class="w-2" />
-            <ULink external :to="item.spec.url" target="_blank">{{ item.spec.url }}</ULink>
-          </div>
+          <!-- <div v-if="item.spec.url"> -->
+          <!--   <UBadge color="neutral" variant="outline">Ref</UBadge> <span class="w-2" /> -->
+          <!--   <ULink external :to="item.spec.url" target="_blank">{{ item.spec.url }}</ULink> -->
+          <!-- </div> -->
           <div v-if="item.occurence">
             <UBadge color="neutral" variant="outline">Occurence</UBadge> {{ item.occurence }}
             <div class="mt-2" v-if="showFunction">

From 3b3caeb7af56165fa0e73e7a1e2d987dda1b520b Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 10:25:53 +0000
Subject: [PATCH 09/10] README: fix wording and links

---
 README.md | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 7298d5f..e62fce0 100644
--- a/README.md
+++ b/README.md
@@ -19,6 +19,9 @@ simply attaches tags as child nodes to the function-level nodes.
 
 ![](https://github.com/user-attachments/assets/e8e41752-e147-4bd0-8de9-f3bceb5c4e19)
 
+The side panels juxtapose tag-derived safety documentation with the original safety
+section, allowing for easier reconciliation.
+
 ### Explore tag specifications and usage frequencies
 
 A dedicated toolbar button opens a global registry of all tag specifications. Users can
@@ -47,6 +50,8 @@ serves as the receiver type of the current method (the caller). This scope encom
 only constructors but also functions that manipulate the ADT’s state through direct field
 access, arguments, or local variables.
 
+![](https://github.com/user-attachments/assets/d14ba2cd-fec0-4663-8c3c-0ae10992c1c3)
+
 ![](https://github.com/user-attachments/assets/b7253f2a-7fd3-43bf-96d3-0900d3c7283c)
 
 ### Streamline auditing in side panels
@@ -54,8 +59,8 @@ access, arguments, or local variables.
 **Side panels** streamline the audit process by providing centralized access to critical
 analysis materials, allowing users to switch contexts effortlessly. The panel view
 consists of:
-*   **ADT Exogenous Functions**: Provides an entry point to inspect exogenous functions.
-Users can trigger specialized popups through the following buttons:
+*   **ADT Exogenous Functions**: Provides a condensed equivalent of the ADT popup's
+interface. Users can trigger specialized popups through the following buttons:
     *   **Constructors**: Lists functions that return the ADT.
     *   **Fields**: Displays functions that access ADT fields, categorized by
     **read** and **write** operations.
@@ -70,9 +75,7 @@ docstrings.
 *   **Source Code**: Provides a full-view display of the function's source code.
 *   **MIR**: Displays the MIR for a function instance.
 
-![](https://github.com/user-attachments/assets/98b11559-f8ae-4d08-8ea1-9d7b6c0af7d3)
-
-![](https://github.com/user-attachments/assets/e8e41752-e147-4bd0-8de9-f3bceb5c4e19)
+![](https://github.com/user-attachments/assets/bc038c70-f1a6-4e1d-b8aa-d8ae158380b5)
 
 ## Build the project
 

From d8f538dc030a764ac04e008f2799abd57c4e4b2a Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 31 Jan 2026 10:33:17 +0000
Subject: [PATCH 10/10] README: rephraze intro

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e62fce0..cdbdca8 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Web UI for Rust Unsafety Propogation Graph
 
-This is an implementation of [UPG](https://artisan-lab.github.io/RAPx-Book/6.4-unsafe.html).
+This is a visual tool for safety tag analysis.
 
 ## Features