runtimeverification / runtimeverification/llvm-backend
binary serializer (v1) does not correctly handle parametric symbols
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 43
- Forks
- 22
- PR merge metrics
- No merged PRs in 30d
Description
The problem is associated with emit_symbol in runtime/util/ConfigurationSerializer.cpp. It does not correctly handle the case where the symbol it is passed has sort parameters. It needs to detect this case and serialize the correct sequence of bytes corresponding to those parameters, ideally without having to reparse the symbol name every time it's called.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start in runtime/util/ConfigurationSerializer.cpp at emit_symbol and trace how symbols with sort parameters are currently serialized. Confirm the expected byte sequence for parametric symbols, then verify that the serializer handles those parameters without reparsing the symbol name on every call.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100