notebooks/getting-started.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "7ac43edf-5844-4fcb-b978-06acb2e9eee1",
   "metadata": {},
   "source": [
    "# Introduction\n",
    "\n",
    "Thank you for your interest in chen and the chennai console. These interactive notebooks introduce chen using the wrapper Python library called `chenpy`. The default docker-compose file from the chen repo starts the chennai console in server mode.\n",
    "\n",
    "Let's begin by testing the server with a simple `help` command."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "09bf3681-cbe1-4997-ac29-0be2ff3e8580",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">val res1: Helper = Welcome to the interactive help system. Below you find a table of all available\n",
       "top-level commands. To get more detailed help on a specific command, just type\n",
       "\n",
       "`help.<span style=\"font-weight: bold\">&lt;</span><span style=\"color: #ff00ff; text-decoration-color: #ff00ff; font-weight: bold\">command</span><span style=\"font-weight: bold\">&gt;</span>`.\n",
       "\n",
       "Try `help.importCode` to begin with.\n",
       "_______________________________________________________________________________________________________________________________________________________________\n",
       " command          | description                                                               | example                                                       |\n",
       "==============================================================================================================================================================|\n",
       " annotations      | List annotations                                                          | annotations                                                   |\n",
       " callTree         | Show call tree for the given method                                       | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">callTree</span><span style=\"font-weight: bold\">(</span>method full name<span style=\"font-weight: bold\">)</span>                                    |\n",
       " close            | Close project by name                                                     | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">close</span><span style=\"font-weight: bold\">(</span>projectName<span style=\"font-weight: bold\">)</span>                                            |\n",
       " cpg              | CPG of the active project                                                 | cpg.method.l                                                  |\n",
       " declarations     | List declarations                                                         | declarations                                                  |\n",
       " delete           | Close and remove project from disk                                        | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">delete</span><span style=\"font-weight: bold\">(</span>projectName<span style=\"font-weight: bold\">)</span>                                           |\n",
       " distance         | Show graph edit distance from the source method to the comparison methods | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">distance</span><span style=\"font-weight: bold\">(</span>source method iterator, comparison method iterators<span style=\"font-weight: bold\">)</span> |\n",
       " exit             | Exit the REPL                                                             |                                                               |\n",
       " files            | List files                                                                | files                                                         |\n",
       " importAtom       | Create new project from existing atom                                     | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">importAtom</span><span style=\"font-weight: bold\">(</span><span style=\"color: #008000; text-decoration-color: #008000\">\"app.atom\"</span><span style=\"font-weight: bold\">)</span>                                        |\n",
       " importCode       | Create new project from code                                              | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">importCode</span><span style=\"font-weight: bold\">(</span><span style=\"color: #008000; text-decoration-color: #008000\">\"git url or path\"</span><span style=\"font-weight: bold\">)</span>                                 |\n",
       " importCpg        | Create new project from existing CPG                                      | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">importCpg</span><span style=\"font-weight: bold\">(</span><span style=\"color: #008000; text-decoration-color: #008000\">\"app.atom\"</span><span style=\"font-weight: bold\">)</span>                                         |\n",
       " imports          | List imports                                                              | imports                                                       |\n",
       " methods          | List methods                                                              | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">methods</span><span style=\"font-weight: bold\">(</span><span style=\"color: #008000; text-decoration-color: #008000\">'Methods'</span>, <span style=\"color: #808000; text-decoration-color: #808000\">includeCalls</span>=<span style=\"color: #800080; text-decoration-color: #800080\">true</span>, <span style=\"color: #808000; text-decoration-color: #808000\">tree</span>=<span style=\"color: #800080; text-decoration-color: #800080\">true</span><span style=\"font-weight: bold\">)</span>              |\n",
       " open             | Open project by name                                                      | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">open</span><span style=\"font-weight: bold\">(</span><span style=\"color: #008000; text-decoration-color: #008000\">\"projectName\"</span><span style=\"font-weight: bold\">)</span>                                           |\n",
       " openForInputPath | Open project for input path                                               |                                                               |\n",
       " project          | Currently active project                                                  | project                                                       |\n",
       " run              | Run analyzer on active CPG                                                | run.securityprofile                                           |\n",
       " save             | Write all changes to disk                                                 | save                                                          |\n",
       " sensitive        | List sensitive literals                                                   | sensitive                                                     |\n",
       " showSimilar      | Show methods similar to the given method                                  | <span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\">showSimilar</span><span style=\"font-weight: bold\">(</span>method full name<span style=\"font-weight: bold\">)</span>                                 |\n",
       " summary          | Display summary information                                               | summary                                                       |\n",
       " switchWorkspace  | Close current workspace and open a different one                          |                                                               |\n",
       " workspace        | Access to the workspace directory                                         | workspace                                                     |\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "val res1: Helper = Welcome to the interactive help system. Below you find a table of all available\n",
       "top-level commands. To get more detailed help on a specific command, just type\n",
       "\n",
       "`help.\u001b[1m<\u001b[0m\u001b[1;95mcommand\u001b[0m\u001b[1m>\u001b[0m`.\n",
       "\n",
       "Try `help.importCode` to begin with.\n",
       "_______________________________________________________________________________________________________________________________________________________________\n",
       " command          | description                                                               | example                                                       |\n",
       "==============================================================================================================================================================|\n",
       " annotations      | List annotations                                                          | annotations                                                   |\n",
       " callTree         | Show call tree for the given method                                       | \u001b[1;35mcallTree\u001b[0m\u001b[1m(\u001b[0mmethod full name\u001b[1m)\u001b[0m                                    |\n",
       " close            | Close project by name                                                     | \u001b[1;35mclose\u001b[0m\u001b[1m(\u001b[0mprojectName\u001b[1m)\u001b[0m                                            |\n",
       " cpg              | CPG of the active project                                                 | cpg.method.l                                                  |\n",
       " declarations     | List declarations                                                         | declarations                                                  |\n",
       " delete           | Close and remove project from disk                                        | \u001b[1;35mdelete\u001b[0m\u001b[1m(\u001b[0mprojectName\u001b[1m)\u001b[0m                                           |\n",
       " distance         | Show graph edit distance from the source method to the comparison methods | \u001b[1;35mdistance\u001b[0m\u001b[1m(\u001b[0msource method iterator, comparison method iterators\u001b[1m)\u001b[0m |\n",
       " exit             | Exit the REPL                                                             |                                                               |\n",
       " files            | List files                                                                | files                                                         |\n",
       " importAtom       | Create new project from existing atom                                     | \u001b[1;35mimportAtom\u001b[0m\u001b[1m(\u001b[0m\u001b[32m\"app.atom\"\u001b[0m\u001b[1m)\u001b[0m                                        |\n",
       " importCode       | Create new project from code                                              | \u001b[1;35mimportCode\u001b[0m\u001b[1m(\u001b[0m\u001b[32m\"git url or path\"\u001b[0m\u001b[1m)\u001b[0m                                 |\n",
       " importCpg        | Create new project from existing CPG                                      | \u001b[1;35mimportCpg\u001b[0m\u001b[1m(\u001b[0m\u001b[32m\"app.atom\"\u001b[0m\u001b[1m)\u001b[0m                                         |\n",
       " imports          | List imports                                                              | imports                                                       |\n",
       " methods          | List methods                                                              | \u001b[1;35mmethods\u001b[0m\u001b[1m(\u001b[0m\u001b[32m'Methods'\u001b[0m, \u001b[33mincludeCalls\u001b[0m=\u001b[35mtrue\u001b[0m, \u001b[33mtree\u001b[0m=\u001b[35mtrue\u001b[0m\u001b[1m)\u001b[0m              |\n",
       " open             | Open project by name                                                      | \u001b[1;35mopen\u001b[0m\u001b[1m(\u001b[0m\u001b[32m\"projectName\"\u001b[0m\u001b[1m)\u001b[0m                                           |\n",
       " openForInputPath | Open project for input path                                               |                                                               |\n",
       " project          | Currently active project                                                  | project                                                       |\n",
       " run              | Run analyzer on active CPG                                                | run.securityprofile                                           |\n",
       " save             | Write all changes to disk                                                 | save                                                          |\n",
       " sensitive        | List sensitive literals                                                   | sensitive                                                     |\n",
       " showSimilar      | Show methods similar to the given method                                  | \u001b[1;35mshowSimilar\u001b[0m\u001b[1m(\u001b[0mmethod full name\u001b[1m)\u001b[0m                                 |\n",
       " summary          | Display summary information                                               | summary                                                       |\n",
       " switchWorkspace  | Close current workspace and open a different one                          |                                                               |\n",
       " workspace        | Access to the workspace directory                                         | workspace                                                     |\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "from chenpy import client, workspace, utils\n",
    "from chenpy.detectors import common as atom\n",
    "from chenpy.logger import console\n",
    "\n",
    "connection = await client.get(\"http://chennai:8080\", None, \"chenadmin\", \"chenpassword\")\n",
    "res = await client.q(connection, \"help\")\n",
    "utils.print_table(res)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "ff661d9a-0e4b-4408-9a8d-baa07b2d1fbd",
   "metadata": {},
   "source": [
    "chenpy can interact with chennai server via websockets and seamlessly present the data in the form of tables and trees."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "65c9b4c1-aab5-441f-8c99-ba39cf234db7",
   "metadata": {},
   "source": [
    "## Analyze a Java application\n",
    "\n",
    "The best way to learn about chennai is by analyzing a real application. Let's use a simple [vulnerable spring application](https://github.com/HooliCorp/vuln-spring) for this exercise.\n",
    "\n",
    "There is a convenient `import_code` function in the workspace module for importing code from git and other sources."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "id": "7a3bf199-04e3-4448-8b1b-4dffea04cba4",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "True"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "await workspace.import_code(connection, \"https://github.com/HooliCorp/vuln-spring\", project_name=\"vuln-spring\", language=\"java\")"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "75aeef3e-d2fb-4d76-b1b4-9599b9db79ce",
   "metadata": {},
   "source": [
    "### Interacting with the atom\n",
    "\n",
    "chennai automatically converts the source code into an intermediate representation called the [atom](https://github.com/AppThreat/atom), ready for analysis. Use the `summary` method to view the information about the atom."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "1ef9342c-fb72-41be-a5d1-ae729c666f7f",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">      Atom Summary      \n",
       "┏━━━━━━━━━━━━━━┳━━━━━━━┓\n",
       "┃ Node Type    ┃ Count ┃\n",
       "┡━━━━━━━━━━━━━━╇━━━━━━━┩\n",
       "│ Files        │ 4     │\n",
       "│ Methods      │ 113   │\n",
       "│ Annotations  │ 37    │\n",
       "│ Imports      │ 43    │\n",
       "│ Literals     │ 140   │\n",
       "│ Config Files │ 2     │\n",
       "│ Overlays     │ 4     │\n",
       "└──────────────┴───────┘\n",
       "      Atom Summary      \n",
       "┏━━━━━━━━━━━━━━┳━━━━━━━┓\n",
       "┃ Node Type    ┃ Count ┃\n",
       "┡━━━━━━━━━━━━━━╇━━━━━━━┩\n",
       "│ Files        │ 4     │\n",
       "│ Methods      │ 113   │\n",
       "│ Annotations  │ 37    │\n",
       "│ Imports      │ 43    │\n",
       "│ Literals     │ 140   │\n",
       "│ Config Files │ 2     │\n",
       "│ Overlays     │ 4     │\n",
       "└──────────────┴───────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "      Atom Summary      \n",
       "┏━━━━━━━━━━━━━━┳━━━━━━━┓\n",
       "┃ Node Type    ┃ Count ┃\n",
       "┡━━━━━━━━━━━━━━╇━━━━━━━┩\n",
       "│ Files        │ 4     │\n",
       "│ Methods      │ 113   │\n",
       "│ Annotations  │ 37    │\n",
       "│ Imports      │ 43    │\n",
       "│ Literals     │ 140   │\n",
       "│ Config Files │ 2     │\n",
       "│ Overlays     │ 4     │\n",
       "└──────────────┴───────┘\n",
       "      Atom Summary      \n",
       "┏━━━━━━━━━━━━━━┳━━━━━━━┓\n",
       "┃ Node Type    ┃ Count ┃\n",
       "┡━━━━━━━━━━━━━━╇━━━━━━━┩\n",
       "│ Files        │ 4     │\n",
       "│ Methods      │ 113   │\n",
       "│ Annotations  │ 37    │\n",
       "│ Imports      │ 43    │\n",
       "│ Literals     │ 140   │\n",
       "│ Config Files │ 2     │\n",
       "│ Overlays     │ 4     │\n",
       "└──────────────┴───────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.summary(connection))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "4247391f-9f56-48e4-8f23-c0a0b068e9f6",
   "metadata": {},
   "source": [
    "Use the `files` method on the atom to view the files available in the representation."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "id": "c737e00c-786f-4d6c-8377-b098a6aee536",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                      Files                                       \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Method Count ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ 2            │\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>│ 2            │\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ 25           │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                      Files                                       \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Method Count ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ 2            │\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java\u001b[0m\u001b[38;5;209m \u001b[0m│ 2            │\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ 25           │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.files(connection))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "305a7207-1866-4481-9efe-7c39b039dd50",
   "metadata": {},
   "source": [
    "`methods` to list the methods along with the filename."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "id": "cb9c17ed-99fc-4e94-8d43-bcbbe8380016",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                                                                                             Methods                                                                                                              \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Methods                                                                                                                                                      ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ com.example.vulnspring.SessionFilter.doFilter:void(javax.servlet.ServletRequest,javax.servlet.ServletResponse,javax.servlet.FilterChain</span>)                     │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.SessionFilter.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()                                                                                                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java │ com.example.vulnspring.VulnSpringApplication.main:void(java.lang.String</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\">[</span>])                                                                                   │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.VulnSpringApplication.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()                                                                                                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ com.example.vulnspring.WebController.home:java.lang.String(org.springframework.ui.Model,javax.servlet.http.HttpSession</span>)                                      │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.login</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                                                    │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.login</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)   │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.loginSuccess</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)                                                                 │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.logout</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>)                                                                 │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.update</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                    │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.update</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                   │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.checkDB</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                                 │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.checkDB</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()                                                                                              │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.transfer</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                  │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.transfer</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Float</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>) │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.issue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                                                    │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.issue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)                                                   │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.getNodeString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>)                                           │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.support</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)                                                                              │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.support</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                                                  │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.jwt</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                       │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.jwt</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>)                      │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.addressValidation</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)                                                        │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.addressValidation</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)                                       │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()                                                                                                           │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.getStreetNumber</span>:int()                                                                                                  │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.getStreetName</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()                                                                                       │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(int,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)                                                                                      │\n",
       "│                                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.toString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()                                                                                            │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                                                                                             Methods                                                                                                              \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Methods                                                                                                                                                      ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.SessionFilter.doFilter\u001b[0m\u001b[38;5;243m:void(\u001b[0m\u001b[38;5;243mjavax.servlet.ServletRequest\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.ServletResponse\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.FilterChain\u001b[0m)                     │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.SessionFilter.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()                                                                                                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.VulnSpringApplication.main\u001b[0m\u001b[38;5;243m:void(\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;209m[\u001b[0m])                                                                                   │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.VulnSpringApplication.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()                                                                                                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.home\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m)                                      │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.login\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                                                    │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.login\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)   │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.loginSuccess\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)                                                                 │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.logout\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m)                                                                 │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.update\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                    │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.update\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                   │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.checkDB\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                                 │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.checkDB\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()                                                                                              │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.transfer\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                  │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.transfer\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Float\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m) │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.issue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                                                    │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.issue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)                                                   │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.getNodeString\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209morg.w3c.dom.Node\u001b[0m,\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m)                                           │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.support\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m)                                                                              │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.support\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                                                  │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.jwt\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                       │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.jwt\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m)                      │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.addressValidation\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)                                                        │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.addressValidation\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)                                       │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()                                                                                                           │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.AddressDetails.getStreetNumber\u001b[0m:int()                                                                                                  │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.AddressDetails.getStreetName\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()                                                                                       │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.AddressDetails.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(int,\u001b[38;5;209mjava.lang.String\u001b[0m)                                                                                      │\n",
       "│                                                                 │ \u001b[38;5;209mcom.example.vulnspring.AddressDetails.toString\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()                                                                                            │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.methods(connection))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "be51353c-d140-4ece-9942-5c019a760a83",
   "metadata": {},
   "source": [
    "Library methods accept arguments to customize the behavior. By setting `include_calls` and `tree` parameters, it is possible to visualize the methods information including the calls they make as a tree."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "id": "b272da0b-7c98-4eba-8c94-ef704abf6950",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">Methods\n",
       "├── <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java</span>\n",
       "│   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.SessionFilter.doFilter</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletRequest</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletResponse</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.FilterChain</span>)\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.FilterChain.doFilter</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletRequest</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletResponse</span>) ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.FilterChain.doFilter</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletRequest</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.ServletResponse</span>) ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpServletRequest.getMethod</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpServletRequest.getServletPath</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.matches</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpServletResponse.sendRedirect</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpServletRequest.getServletPath</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "│   │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpServletRequest.getSession</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>() ⤴\n",
       "│   │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.debug</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "│   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.SessionFilter.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()\n",
       "├── <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java</span>\n",
       "│   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.VulnSpringApplication.main</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String[</span>])\n",
       "│   │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.boot.SpringApplication.run</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.context.ConfigurableApplicationContext</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Class</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String[</span>]) ⤴\n",
       "│   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.VulnSpringApplication.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()\n",
       "└── <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java</span>\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.home</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.login</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.login</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.debug</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.loginSuccess</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.debug</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.setAttribute</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.loginSuccess</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.queryForMap</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.containsKey</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.logout</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>)\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.invalidate</span>:void() ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.update</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.queryForMap</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.get</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.update</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.update</span>:int(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(int) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.checkDB</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.File.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.apache.commons.io.FilenameUtils.getBaseName</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Scanner.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.InputStream</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Scanner.useDelimiter</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Scanner</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.apache.commons.io.IOUtils.copy</span>:long(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.net.URL</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.File</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.net.URL.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.net.URL.openStream</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.InputStream</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.equalsIgnoreCase</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Scanner.next</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.equalsIgnoreCase</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.checkDB</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.transfer</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.queryForMap</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.get</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.transfer</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Float</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.get</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.update</span>:int(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(int) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.update</span>:int(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.queryForMap</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(int) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.get</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.valueOf</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.jdbc.core.JdbcTemplate.queryForMap</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object[</span>]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Map.get</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.info</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.issue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.issue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.xml.parsers.DocumentBuilder.parse</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Document</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.xml.sax.InputSource</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.getNodeString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.xml.sax.InputSource.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.Reader</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.xml.parsers.DocumentBuilderFactory.newInstance</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.xml.parsers.DocumentBuilderFactory</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.StringReader.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.debug</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.xml.parsers.DocumentBuilderFactory.newDocumentBuilder</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.xml.parsers.DocumentBuilder</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer.toString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Document.getFirstChild</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>() ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.getNodeString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getNodeValue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getChildNodes</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.NodeList</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.NodeList.getLength</span>:int() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer.append</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.equals</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.equals</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getNodeName</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.NodeList.item</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>(int) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getChildNodes</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.NodeList</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer.append</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer.append</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getNodeValue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.trim</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.getNodeString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.StringBuffer</span>)\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.w3c.dom.Node.getNodeValue</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.support</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.support</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.jwt</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$Builder.withIssuer</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$</span>Builder(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.slf4j.Logger.debug</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$Builder.sign</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.algorithms.Algorithm</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$Builder.withClaim</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$</span>Builder(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.algorithms.Algorithm.none</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.algorithms.Algorithm</span>() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWT.create</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWTCreator$</span>Builder() ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.jwt</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.interfaces.DecodedJWT.getClaim</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.interfaces.Claim</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String.equalsIgnoreCase</span>:boolean(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.JWT.decode</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.interfaces.DecodedJWT</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.auth0.jwt.interfaces.Claim.asString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>() ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">javax.servlet.http.HttpSession.getAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.addressValidation</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ByteArrayOutputStream.toByteArray</span>:byte[]() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectOutputStream.close</span>:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Base64.getEncoder</span>:&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedSignature</span>&gt;(0) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectOutputStream.writeObject</span>:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── &lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedNamespace</span>&gt;.encodeToString:&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedSignature</span>&gt;(1) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ByteArrayOutputStream.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(int,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectOutputStream.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.OutputStream</span>) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.addressValidation</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    │   ├── &lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedNamespace</span>&gt;.decode:&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedSignature</span>&gt;(1) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectInputStream.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.InputStream</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.IOException.printStackTrace</span>:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model.addAttribute</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectInputStream.close</span>:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ByteArrayInputStream.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(byte[]) ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.ClassNotFoundException.printStackTrace</span>:void() ⤴\n",
       "    │   ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.io.ObjectInputStream.readObject</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.Object</span>() ⤴\n",
       "    │   └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.util.Base64.getDecoder</span>:&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">unresolvedSignature</span>&gt;(0) ⤴\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void()\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.getStreetNumber</span>:int()\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.getStreetName</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()\n",
       "    ├── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">init</span>&gt;:void(int,<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>)\n",
       "    └── <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.AddressDetails.toString</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>()\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "Methods\n",
       "├── \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java\u001b[0m\n",
       "│   ├── \u001b[38;5;209mcom.example.vulnspring.SessionFilter.doFilter\u001b[0m:void(\u001b[38;5;209mjavax.servlet.ServletRequest\u001b[0m,\u001b[38;5;209mjavax.servlet.ServletResponse\u001b[0m,\u001b[38;5;209mjavax.servlet.FilterChain\u001b[0m)\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.FilterChain.doFilter\u001b[0m:void(\u001b[38;5;209mjavax.servlet.ServletRequest\u001b[0m,\u001b[38;5;209mjavax.servlet.ServletResponse\u001b[0m) ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.FilterChain.doFilter\u001b[0m:void(\u001b[38;5;209mjavax.servlet.ServletRequest\u001b[0m,\u001b[38;5;209mjavax.servlet.ServletResponse\u001b[0m) ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpServletRequest.getMethod\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpServletRequest.getServletPath\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "│   │   ├── \u001b[38;5;209mjava.lang.String.matches\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpServletResponse.sendRedirect\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpServletRequest.getServletPath\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "│   │   ├── \u001b[38;5;209mjavax.servlet.http.HttpServletRequest.getSession\u001b[0m:\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m() ⤴\n",
       "│   │   └── \u001b[38;5;209morg.slf4j.Logger.debug\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "│   └── \u001b[38;5;209mcom.example.vulnspring.SessionFilter.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()\n",
       "├── \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java\u001b[0m\n",
       "│   ├── \u001b[38;5;209mcom.example.vulnspring.VulnSpringApplication.main\u001b[0m:void(\u001b[38;5;209mjava.lang.String[\u001b[0m])\n",
       "│   │   └── \u001b[38;5;209morg.springframework.boot.SpringApplication.run\u001b[0m:\u001b[38;5;209morg.springframework.context.ConfigurableApplicationContext\u001b[0m(\u001b[38;5;209mjava.lang.Class\u001b[0m,\u001b[38;5;209mjava.lang.String[\u001b[0m]) ⤴\n",
       "│   └── \u001b[38;5;209mcom.example.vulnspring.VulnSpringApplication.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()\n",
       "└── \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java\u001b[0m\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.home\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.login\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.login\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.debug\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.example.vulnspring.WebController.loginSuccess\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.debug\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.setAttribute\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.loginSuccess\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.queryForMap\u001b[0m:\u001b[38;5;209mjava.util.Map\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjava.util.Map.containsKey\u001b[0m:boolean(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.logout\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m)\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.invalidate\u001b[0m:void() ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.update\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.queryForMap\u001b[0m:\u001b[38;5;209mjava.util.Map\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Map.get\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.update\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.update\u001b[0m:int(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(int) ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.checkDB\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209mjava.io.File.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.apache.commons.io.FilenameUtils.getBaseName\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Scanner.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.io.InputStream\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Scanner.useDelimiter\u001b[0m:\u001b[38;5;209mjava.util.Scanner\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.apache.commons.io.IOUtils.copy\u001b[0m:long(\u001b[38;5;209mjava.net.URL\u001b[0m,\u001b[38;5;209mjava.io.File\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.net.URL.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.net.URL.openStream\u001b[0m:\u001b[38;5;209mjava.io.InputStream\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.equalsIgnoreCase\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Scanner.next\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjava.lang.String.equalsIgnoreCase\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.checkDB\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.transfer\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.queryForMap\u001b[0m:\u001b[38;5;209mjava.util.Map\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Map.get\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.transfer\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Float\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Map.get\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.update\u001b[0m:int(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(int) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.update\u001b[0m:int(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.queryForMap\u001b[0m:\u001b[38;5;209mjava.util.Map\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(int) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Map.get\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.valueOf\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.jdbc.core.JdbcTemplate.queryForMap\u001b[0m:\u001b[38;5;209mjava.util.Map\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object[\u001b[0m]) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Map.get\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   └── \u001b[38;5;209morg.slf4j.Logger.info\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.issue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.issue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209mjavax.xml.parsers.DocumentBuilder.parse\u001b[0m:\u001b[38;5;209morg.w3c.dom.Document\u001b[0m(\u001b[38;5;209morg.xml.sax.InputSource\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.example.vulnspring.WebController.getNodeString\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209morg.w3c.dom.Node\u001b[0m,\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.xml.sax.InputSource.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.io.Reader\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjavax.xml.parsers.DocumentBuilderFactory.newInstance\u001b[0m:\u001b[38;5;209mjavax.xml.parsers.DocumentBuilderFactory\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.StringBuffer.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.StringReader.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.debug\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjavax.xml.parsers.DocumentBuilderFactory.newDocumentBuilder\u001b[0m:\u001b[38;5;209mjavax.xml.parsers.DocumentBuilder\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.StringBuffer.toString\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   └── \u001b[38;5;209morg.w3c.dom.Document.getFirstChild\u001b[0m:\u001b[38;5;209morg.w3c.dom.Node\u001b[0m() ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.getNodeString\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209morg.w3c.dom.Node\u001b[0m,\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.Node.getNodeValue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.Node.getChildNodes\u001b[0m:\u001b[38;5;209morg.w3c.dom.NodeList\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.NodeList.getLength\u001b[0m:int() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.StringBuffer.append\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.equals\u001b[0m:boolean(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.equals\u001b[0m:boolean(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.Node.getNodeName\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.NodeList.item\u001b[0m:\u001b[38;5;209morg.w3c.dom.Node\u001b[0m(int) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.Node.getChildNodes\u001b[0m:\u001b[38;5;209morg.w3c.dom.NodeList\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.StringBuffer.append\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.StringBuffer.append\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.w3c.dom.Node.getNodeValue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.trim\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.example.vulnspring.WebController.getNodeString\u001b[0m:\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m(\u001b[38;5;209morg.w3c.dom.Node\u001b[0m,\u001b[38;5;209mjava.lang.StringBuffer\u001b[0m)\n",
       "    │   └── \u001b[38;5;209morg.w3c.dom.Node.getNodeValue\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.support\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.support\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   └── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.jwt\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m,\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0m\u001b[38;5;209mBuilder.withIssuer\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0mBuilder(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.slf4j.Logger.debug\u001b[0m:void(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0m\u001b[38;5;209mBuilder.sign\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209mcom.auth0.jwt.algorithms.Algorithm\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0m\u001b[38;5;209mBuilder.withClaim\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0mBuilder(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.algorithms.Algorithm.none\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.algorithms.Algorithm\u001b[0m() ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.JWT.create\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.JWTCreator$\u001b[0mBuilder() ⤴\n",
       "    │   └── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.jwt\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjavax.servlet.http.HttpSession\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.interfaces.DecodedJWT.getClaim\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.interfaces.Claim\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.String.equalsIgnoreCase\u001b[0m:boolean(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.JWT.decode\u001b[0m:\u001b[38;5;209mcom.auth0.jwt.interfaces.DecodedJWT\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.auth0.jwt.interfaces.Claim.asString\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m() ⤴\n",
       "    │   └── \u001b[38;5;209mjavax.servlet.http.HttpSession.getAttribute\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.addressValidation\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)\n",
       "    │   ├── \u001b[38;5;209mjava.io.ByteArrayOutputStream.toByteArray\u001b[0m:byte[]() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ObjectOutputStream.close\u001b[0m:void() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.util.Base64.getEncoder\u001b[0m:<\u001b[38;5;243munresolvedSignature\u001b[0m>(0) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ObjectOutputStream.writeObject\u001b[0m:void(\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── <\u001b[38;5;243munresolvedNamespace\u001b[0m>.encodeToString:<\u001b[38;5;243munresolvedSignature\u001b[0m>(1) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ByteArrayOutputStream.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mcom.example.vulnspring.AddressDetails.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(int,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    │   └── \u001b[38;5;209mjava.io.ObjectOutputStream.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.io.OutputStream\u001b[0m) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.addressValidation\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    │   ├── <\u001b[38;5;243munresolvedNamespace\u001b[0m>.decode:<\u001b[38;5;243munresolvedSignature\u001b[0m>(1) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ObjectInputStream.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(\u001b[38;5;209mjava.io.InputStream\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.IOException.printStackTrace\u001b[0m:void() ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209morg.springframework.ui.Model.addAttribute\u001b[0m:\u001b[38;5;209morg.springframework.ui.Model\u001b[0m(\u001b[38;5;209mjava.lang.String\u001b[0m,\u001b[38;5;209mjava.lang.Object\u001b[0m) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ObjectInputStream.close\u001b[0m:void() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ByteArrayInputStream.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(byte[]) ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.lang.ClassNotFoundException.printStackTrace\u001b[0m:void() ⤴\n",
       "    │   ├── \u001b[38;5;209mjava.io.ObjectInputStream.readObject\u001b[0m:\u001b[38;5;209mjava.lang.Object\u001b[0m() ⤴\n",
       "    │   └── \u001b[38;5;209mjava.util.Base64.getDecoder\u001b[0m:<\u001b[38;5;243munresolvedSignature\u001b[0m>(0) ⤴\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.WebController.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void()\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.AddressDetails.getStreetNumber\u001b[0m:int()\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.AddressDetails.getStreetName\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()\n",
       "    ├── \u001b[38;5;209mcom.example.vulnspring.AddressDetails.\u001b[0m<\u001b[38;5;243minit\u001b[0m>:void(int,\u001b[38;5;209mjava.lang.String\u001b[0m)\n",
       "    └── \u001b[38;5;209mcom.example.vulnspring.AddressDetails.toString\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m()\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.methods(connection, include_calls=True, tree=True))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "e4985372-ebc7-451b-b603-2edfc55f326e",
   "metadata": {},
   "source": [
    "Let's try the other methods such as `annotations`, `imports`, `declarations`, `sensitive`."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "id": "01cc0347-4a0f-4520-ad93-cccd4ca291b7",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                                                                                                                 Annotations                                                                                                                                  \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                               ┃ Methods                                                                                                                                               ┃ Annotations                                              ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java │ com.example.vulnspring.SessionFilter.doFilter:void(javax.servlet.ServletRequest,javax.servlet.ServletResponse,javax.servlet.FilterChain)              │ &lt;unresolvedNamespace&gt;.Override</span>                           │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.home:java.lang.String(org.springframework.ui.Model,javax.servlet.http.HttpSession)                               │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.login:java.lang.String(org.springframework.ui.Model)                                                             │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.login:java.lang.String(javax.servlet.http.HttpSession,java.lang.String,java.lang.String,org.springframework.ui.… │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.logout:java.lang.String(javax.servlet.http.HttpSession)                                                          │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.update:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                             │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.update:java.lang.String(javax.servlet.http.HttpSession,java.lang.String,org.springframework.ui.Model)            │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.checkDB:java.lang.String(java.lang.String,org.springframework.ui.Model)                                          │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "│                                                         │                                                                                                                                                       │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.web.bind.annotation.ResponseBody </span>    │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.checkDB:java.lang.String()                                                                                       │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.transfer:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                           │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.transfer:java.lang.String(javax.servlet.http.HttpSession,java.lang.String,java.lang.Float,org.springframework.u… │ org.springframework.transaction.annotation.Transactional</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>│\n",
       "│                                                         │                                                                                                                                                       │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.web.bind.annotation.PostMapping </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.issue:java.lang.String(org.springframework.ui.Model)                                                             │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.issue:java.lang.String(org.springframework.ui.Model,java.lang.String)                                            │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.support:java.lang.String(java.lang.String)                                                                       │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.support:java.lang.String(org.springframework.ui.Model)                                                           │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.jwt:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                                │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.jwt:java.lang.String(org.springframework.ui.Model,java.lang.String,javax.servlet.http.HttpSession)               │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.addressValidation:java.lang.String(org.springframework.ui.Model)                                                 │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.addressValidation:java.lang.String(org.springframework.ui.Model,java.lang.String)                                │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.AddressDetails.toString:java.lang.String()                                                                                     │ &lt;unresolvedNamespace&gt;.Override</span>                           │\n",
       "└─────────────────────────────────────────────────────────┴───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                                                                                                                 Annotations                                                                                                                                  \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                               ┃ Methods                                                                                                                                               ┃ Annotations                                              ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.SessionFilter.doFilter\u001b[0m\u001b[38;5;243m:void(\u001b[0m\u001b[38;5;243mjavax.servlet.ServletRequest\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.ServletResponse\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.FilterChain\u001b[0m\u001b[38;5;243m)              │ <\u001b[0m\u001b[38;5;243munresolvedNamespace\u001b[0m\u001b[38;5;243m>.Override\u001b[0m                           │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.home\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)                               │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.login\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                             │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.login\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.\u001b[0m\u001b[38;5;243m… │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.logout\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)                                                          │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.update\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                             │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.update\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)            │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.checkDB\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                          │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "│                                                         │                                                                                                                                                       │ \u001b[38;5;209morg.springframework.web.bind.annotation.ResponseBody \u001b[0m    │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.checkDB\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m()                                                                                       │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.transfer\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                           │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.transfer\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.Float\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.u…\u001b[0m\u001b[38;5;243m │ \u001b[0m\u001b[38;5;243morg.springframework.transaction.annotation.Transactional\u001b[0m\u001b[38;5;209m \u001b[0m│\n",
       "│                                                         │                                                                                                                                                       │ \u001b[38;5;209morg.springframework.web.bind.annotation.PostMapping \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.issue\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                             │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.issue\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                            │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.support\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                                                       │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.support\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                           │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.jwt\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.jwt\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)               │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.addressValidation\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                 │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.addressValidation\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m     │\n",
       "├─────────────────────────────────────────────────────────┼───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.AddressDetails.toString\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m()                                                                                     │ <\u001b[0m\u001b[38;5;243munresolvedNamespace\u001b[0m\u001b[38;5;243m>.Override\u001b[0m                           │\n",
       "└─────────────────────────────────────────────────────────┴───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.annotations(connection))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "id": "f8bdccde-bfc3-48f2-8e83-b488d66610f8",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                                             Imports                                                              \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Import                                                       ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ java.io.IOException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.Filter</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.FilterChain</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.ServletException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.ServletRequest</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.ServletResponse</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                               │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.annotation.WebFilter</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.http.HttpServletRequest</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                       │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ javax.servlet.http.HttpServletResponse</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ org.slf4j.Logger</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ org.slf4j.LoggerFactory</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java         │ org.springframework.stereotype.Component</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java │ org.springframework.boot.SpringApplication</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                  │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java │ org.springframework.boot.autoconfigure.SpringBootApplication</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>│\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ java.net.MalformedURLException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ java.net.URL</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ javax.servlet.http.HttpSession</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ javax.xml.parsers.DocumentBuilder</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ javax.xml.parsers.DocumentBuilderFactory</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ javax.xml.parsers.ParserConfigurationException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.apache.commons.io.FilenameUtils</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.apache.commons.io.IOUtils</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                               │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.slf4j.Logger</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.slf4j.LoggerFactory</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.beans.factory.annotation.Autowired</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.dao.EmptyResultDataAccessException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.http.MediaType</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.jdbc.core.JdbcTemplate</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                  │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.stereotype.Controller</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.transaction.annotation.Transactional</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.ui.Model</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.web.bind.annotation.GetMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.web.bind.annotation.PostMapping</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.web.bind.annotation.RequestBody</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.web.bind.annotation.RequestParam</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.springframework.web.bind.annotation.ResponseBody</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.w3c.dom.Document</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.w3c.dom.Node</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.xml.sax.InputSource</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ org.xml.sax.SAXException</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ com.auth0.jwt.JWT</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ com.auth0.jwt.algorithms.Algorithm</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java         │ com.auth0.jwt.interfaces.DecodedJWT</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>                         │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                                             Imports                                                              \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Import                                                       ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjava.io.IOException\u001b[0m\u001b[38;5;209m \u001b[0m                                         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.Filter\u001b[0m\u001b[38;5;209m \u001b[0m                                        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.FilterChain\u001b[0m\u001b[38;5;209m \u001b[0m                                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.ServletException\u001b[0m\u001b[38;5;209m \u001b[0m                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.ServletRequest\u001b[0m\u001b[38;5;209m \u001b[0m                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.ServletResponse\u001b[0m\u001b[38;5;209m \u001b[0m                               │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.annotation.WebFilter\u001b[0m\u001b[38;5;209m \u001b[0m                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpServletRequest\u001b[0m\u001b[38;5;209m \u001b[0m                       │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpServletResponse\u001b[0m\u001b[38;5;209m \u001b[0m                      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.slf4j.Logger\u001b[0m\u001b[38;5;209m \u001b[0m                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.slf4j.LoggerFactory\u001b[0m\u001b[38;5;209m \u001b[0m                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.stereotype.Component\u001b[0m\u001b[38;5;209m \u001b[0m                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243morg.springframework.boot.SpringApplication\u001b[0m\u001b[38;5;209m \u001b[0m                  │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243morg.springframework.boot.autoconfigure.SpringBootApplication\u001b[0m\u001b[38;5;209m \u001b[0m│\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjava.net.MalformedURLException\u001b[0m\u001b[38;5;209m \u001b[0m                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjava.net.URL\u001b[0m\u001b[38;5;209m \u001b[0m                                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;209m \u001b[0m                              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.xml.parsers.DocumentBuilder\u001b[0m\u001b[38;5;209m \u001b[0m                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.xml.parsers.DocumentBuilderFactory\u001b[0m\u001b[38;5;209m \u001b[0m                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mjavax.xml.parsers.ParserConfigurationException\u001b[0m\u001b[38;5;209m \u001b[0m              │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.apache.commons.io.FilenameUtils\u001b[0m\u001b[38;5;209m \u001b[0m                         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.apache.commons.io.IOUtils\u001b[0m\u001b[38;5;209m \u001b[0m                               │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.slf4j.Logger\u001b[0m\u001b[38;5;209m \u001b[0m                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.slf4j.LoggerFactory\u001b[0m\u001b[38;5;209m \u001b[0m                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.beans.factory.annotation.Autowired\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.dao.EmptyResultDataAccessException\u001b[0m\u001b[38;5;209m \u001b[0m      │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.http.MediaType\u001b[0m\u001b[38;5;209m \u001b[0m                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.jdbc.core.JdbcTemplate\u001b[0m\u001b[38;5;209m \u001b[0m                  │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.stereotype.Controller\u001b[0m\u001b[38;5;209m \u001b[0m                   │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.transaction.annotation.Transactional\u001b[0m\u001b[38;5;209m \u001b[0m    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;209m \u001b[0m                                │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.GetMapping\u001b[0m\u001b[38;5;209m \u001b[0m          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.PostMapping\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.RequestBody\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.RequestParam\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.springframework.web.bind.annotation.ResponseBody\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.w3c.dom.Document\u001b[0m\u001b[38;5;209m \u001b[0m                                        │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.w3c.dom.Node\u001b[0m\u001b[38;5;209m \u001b[0m                                            │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.xml.sax.InputSource\u001b[0m\u001b[38;5;209m \u001b[0m                                     │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243morg.xml.sax.SAXException\u001b[0m\u001b[38;5;209m \u001b[0m                                    │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mcom.auth0.jwt.JWT\u001b[0m\u001b[38;5;209m \u001b[0m                                           │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mcom.auth0.jwt.algorithms.Algorithm\u001b[0m\u001b[38;5;209m \u001b[0m                          │\n",
       "├─────────────────────────────────────────────────────────────────┼──────────────────────────────────────────────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m        │ \u001b[0m\u001b[38;5;243mcom.auth0.jwt.interfaces.DecodedJWT\u001b[0m\u001b[38;5;209m \u001b[0m                         │\n",
       "└─────────────────────────────────────────────────────────────────┴──────────────────────────────────────────────────────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.imports(connection))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "id": "0d7e652c-1bad-41cd-b66b-ce6676297fe5",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                   Declarations                                    \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Declarations  ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ request       │\n",
       "│                                                                 │ response      │\n",
       "│                                                                 │ chain         │\n",
       "├─────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>│ args          │\n",
       "├─────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ body          │\n",
       "│                                                                 │ newName       │\n",
       "│                                                                 │ amount        │\n",
       "│                                                                 │ dbpath        │\n",
       "│                                                                 │ streetNumber  │\n",
       "│                                                                 │ session       │\n",
       "│                                                                 │ node          │\n",
       "│                                                                 │ model         │\n",
       "│                                                                 │ toAccount     │\n",
       "│                                                                 │ currentString │\n",
       "│                                                                 │ username      │\n",
       "│                                                                 │ streetName    │\n",
       "│                                                                 │ jwtString     │\n",
       "│                                                                 │ desk          │\n",
       "│                                                                 │ encodedString │\n",
       "│                                                                 │ password      │\n",
       "└─────────────────────────────────────────────────────────────────┴───────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                   Declarations                                    \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Declarations  ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ request       │\n",
       "│                                                                 │ response      │\n",
       "│                                                                 │ chain         │\n",
       "├─────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java\u001b[0m\u001b[38;5;209m \u001b[0m│ args          │\n",
       "├─────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ body          │\n",
       "│                                                                 │ newName       │\n",
       "│                                                                 │ amount        │\n",
       "│                                                                 │ dbpath        │\n",
       "│                                                                 │ streetNumber  │\n",
       "│                                                                 │ session       │\n",
       "│                                                                 │ node          │\n",
       "│                                                                 │ model         │\n",
       "│                                                                 │ toAccount     │\n",
       "│                                                                 │ currentString │\n",
       "│                                                                 │ username      │\n",
       "│                                                                 │ streetName    │\n",
       "│                                                                 │ jwtString     │\n",
       "│                                                                 │ desk          │\n",
       "│                                                                 │ encodedString │\n",
       "│                                                                 │ password      │\n",
       "└─────────────────────────────────────────────────────────────────┴───────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.declarations(connection))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "id": "91d80767-d1e4-4d0e-bbd3-69154679818e",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                       Sensitive                                        \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Sensitive Literals ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/SessionFilter.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ N/A                │\n",
       "├─────────────────────────────────────────────────────────────────┼────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/VulnSpringApplication.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>│ N/A                │\n",
       "├─────────────────────────────────────────────────────────────────┼────────────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │ N/A                │\n",
       "└─────────────────────────────────────────────────────────────────┴────────────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                       Sensitive                                        \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                                       ┃ Sensitive Literals ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mSessionFilter.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ N/A                │\n",
       "├─────────────────────────────────────────────────────────────────┼────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mVulnSpringApplication.java\u001b[0m\u001b[38;5;209m \u001b[0m│ N/A                │\n",
       "├─────────────────────────────────────────────────────────────────┼────────────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java\u001b[0m\u001b[38;5;209m \u001b[0m        │ N/A                │\n",
       "└─────────────────────────────────────────────────────────────────┴────────────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.sensitive(connection))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5e943d7b-7d04-41de-89b7-0c08fe32b77c",
   "metadata": {},
   "source": [
    "### Similarity analysis\n",
    "\n",
    "Out of the box, chennai comes with support for frameworks such as NetworkX and PyTorch. Let's try a simple analysis to start with - looking for methods that are structurally similar to the input method."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "id": "bc760ee1-95a0-4f41-8414-90d36af90af7",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">                                                          Similarity analysis for `<span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.login</span>:<span style=\"color: #ff753d; text-decoration-color: #ff753d\">java.lang.String</span>(<span style=\"color: #ff753d; text-decoration-color: #ff753d\">org.springframework.ui.Model</span>)`                                                           \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                               ┃ Method Name                                                                                                                                                ┃ Edit Distance ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━┩\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.&lt;init&gt;:void()                                                                                                         │ 29.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.issue:java.lang.String(org.springframework.ui.Model)                                                                  │ 51.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.checkDB:java.lang.String()                                                                                            │ 60.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.logout:java.lang.String(javax.servlet.http.HttpSession)                                                               │ 68.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ &lt;empty&gt;                                                 │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">com.example.vulnspring.WebController.</span>&lt;<span style=\"color: #7c8082; text-decoration-color: #7c8082\">clinit</span>&gt;:void()                                                                                                       │ <span style=\"color: #ff753d; text-decoration-color: #ff753d\">75.0 </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.support:java.lang.String(org.springframework.ui.Model)                                                                │ 82.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.home:java.lang.String(org.springframework.ui.Model,javax.servlet.http.HttpSession)                                    │ 105.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.support:java.lang.String(java.lang.String)                                                                            │ 147.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.update:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                                  │ 215.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.transfer:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                                │ 252.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.jwt:java.lang.String(org.springframework.ui.Model,java.lang.String,javax.servlet.http.HttpSession)                    │ 269.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.jwt:java.lang.String(javax.servlet.http.HttpSession,org.springframework.ui.Model)                                     │ 308.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.addressValidation:java.lang.String(org.springframework.ui.Model)                                                      │ 313.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.login:java.lang.String(javax.servlet.http.HttpSession,java.lang.String,java.lang.String,org.springframework.ui.Model) │ 320.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.loginSuccess:boolean(java.lang.String,java.lang.String)                                                               │ 365.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.addressValidation:java.lang.String(org.springframework.ui.Model,java.lang.String)                                     │ 414.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.issue:java.lang.String(org.springframework.ui.Model,java.lang.String)                                                 │ 449.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <span style=\"color: #7c8082; text-decoration-color: #7c8082\">src/main/java/com/example/vulnspring/WebController.java │ com.example.vulnspring.WebController.update:java.lang.String(javax.servlet.http.HttpSession,java.lang.String,org.springframework.ui.Model)                 │ 463.0</span><span style=\"color: #ff753d; text-decoration-color: #ff753d\"> </span>        │\n",
       "└─────────────────────────────────────────────────────────┴────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┴───────────────┘\n",
       "\n",
       "\n",
       "</pre>\n"
      ],
      "text/plain": [
       "                                                          Similarity analysis for `\u001b[38;5;209mcom.example.vulnspring.WebController.login\u001b[0m:\u001b[38;5;209mjava.lang.String\u001b[0m(\u001b[38;5;209morg.springframework.ui.Model\u001b[0m)`                                                           \n",
       "┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━┓\n",
       "┃ File Name                                               ┃ Method Name                                                                                                                                                ┃ Edit Distance ┃\n",
       "┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━┩\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.\u001b[0m\u001b[38;5;243m<\u001b[0m\u001b[38;5;243minit\u001b[0m\u001b[38;5;243m>:void()                                                                                                         │ \u001b[0m\u001b[38;5;243m29.0\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.issue\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                                  │ \u001b[0m\u001b[38;5;243m51.0\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.checkDB\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m()                                                                                            │ \u001b[0m\u001b[38;5;243m60.0\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.logout\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)                                                               │ \u001b[0m\u001b[38;5;243m68.0\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ <empty>                                                 │ \u001b[38;5;209mcom.example.vulnspring.WebController.\u001b[0m<\u001b[38;5;243mclinit\u001b[0m>:void()                                                                                                       │ \u001b[38;5;209m75.0 \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.support\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                                │ \u001b[0m\u001b[38;5;243m82.0\u001b[0m\u001b[38;5;209m \u001b[0m         │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.home\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)                                    │ \u001b[0m\u001b[38;5;243m105.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.support\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                                                            │ \u001b[0m\u001b[38;5;243m147.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.update\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                  │ \u001b[0m\u001b[38;5;243m215.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.transfer\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                │ \u001b[0m\u001b[38;5;243m252.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.jwt\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m)                    │ \u001b[0m\u001b[38;5;243m269.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.jwt\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                     │ \u001b[0m\u001b[38;5;243m308.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.addressValidation\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                                                      │ \u001b[0m\u001b[38;5;243m313.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.login\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m) │ \u001b[0m\u001b[38;5;243m320.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.loginSuccess\u001b[0m\u001b[38;5;243m:boolean(\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                                               │ \u001b[0m\u001b[38;5;243m365.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.addressValidation\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                     │ \u001b[0m\u001b[38;5;243m414.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.issue\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m)                                                 │ \u001b[0m\u001b[38;5;243m449.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "├─────────────────────────────────────────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼───────────────┤\n",
       "│ \u001b[38;5;243msrc/main/java/com/example/vulnspring/\u001b[0m\u001b[38;5;243mWebController.java \u001b[0m\u001b[38;5;243m│ \u001b[0m\u001b[38;5;243mcom.example.vulnspring.WebController.update\u001b[0m\u001b[38;5;243m:\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m(\u001b[0m\u001b[38;5;243mjavax.servlet.http.HttpSession\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243mjava.lang.String\u001b[0m\u001b[38;5;243m,\u001b[0m\u001b[38;5;243morg.springframework.ui.Model\u001b[0m\u001b[38;5;243m)                 │ \u001b[0m\u001b[38;5;243m463.0\u001b[0m\u001b[38;5;209m \u001b[0m        │\n",
       "└─────────────────────────────────────────────────────────┴────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┴───────────────┘\n",
       "\n",
       "\n"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "console.print(await atom.show_similar(connection, method_fullname=\"com.example.vulnspring.WebController.login:java.lang.String(org.springframework.ui.Model)\", compare_pattern=\"com.example.vulnspring.WebController\"))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "e05b4e1c-cf56-4648-a0f1-6aa9beaf06e0",
   "metadata": {},
   "source": [
    "## Conclusion\n",
    "\n",
    "This notebook introduced the chennai server and some core methods available for interacting with code bases."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.11.4"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}