ASSERT-KTH / ASSERT-KTH/slumps

Souper-CROW improvements

Open
#68 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
WebAssembly
Stars
71
Forks
11
PR merge metrics
No merged PRs in 30d

Description

The communication between Souper and CROW can be improved.

DONE in #67:
- Souper
- [x] Parallel processing of code blocks
- [x] Peer2Peer socket communication with CROW if a replacement is found.
- [x] Remove the Redis middle bridge to collect the replacements

- CROW
- [x] Peer2Peer socket communication with Souper to collect the replacements on the fly (as soon as it is found)

TODO:
- [ ] Merge the Exploration and Generation stages. Start the generation as soon as replacements are found.
- [ ] Prevent overlapping
- [ ] Modify Souper to avoid non-valid WASM instruction during the synthesis
- [ ] Sanitize replacements
- [ ] Extra validation stage

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reviewing the communication work marked done in #67, then locate Souper's Exploration and Generation stages and the replacement handling in CROW. The issue names no files or tests; done would require agreeing on and implementing the listed stage merging, overlap prevention, WASM validation, sanitization, and extra validation work.

Written by the indexing model from the issue text.

Assessment

Tech stack
wasm
Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.