---
title: ReSym Test Space
emoji: 🐢
colorFrom: green
colorTo: indigo
sdk: gradio
sdk_version: 5.22.0
app_file: app.py
pinned: false
---

# ReSym Test Space

This is a test space of the models from the [ReSym
artifacts](https://github.com/lt-asset/resym).  Sadly, at the time I am writing
this, not all of ReSym is publicly available; specifically, the Prolog component
is [not available](https://github.com/lt-asset/resym/issues/2).

This space simply performs inference on the two pretrained models available as
part of the ReSym artifacts. It takes a variable name and some decompiled code
as input, and outputs the variable type and other information.

The examples are randomly selected from `vardecoder_test.jsonl`.

## Disclaimer

I'm not a ReSym developer and I may have messed something up.  In particular,
you must prompt the variable names in the decompiled code as part of the prompt,
and I reused some of their own code to do this.

## Oddities

### sub_40FD86

We do not get the same results for sub_40FD86.  In fact, we don't create the same prompt.  The prompt in `vardecoder_test.jsonl` is:

    What are the original name and data type of variables `v3`, `v4`, `v5`?

It's unclear why a1, a2, and result are not listed.

## Todo

* Add field decoding (probably needs Docker)
* ReSym's parser fails for functions with a name