How to setup redis for the fuzzer?

[docfate111]

I ran every command in the README.md on Ubuntu 20.04
What url do I use for fuzz/scripts/redis.py? I tried 127.0.0.1:9000 and 127.0.0.1:6379 and neither worked. What is the ID of the server? How do I run the server?

sudo apt-get -y install npm
sudo npm install -g n
sudo n stable
sudo apt install redis-server
sudo apt-get -y install clang-6.0
cd fuzz/scripts
sudo ./prepare.sh
./compile.sh
git clone https://github.com/sslab-gatech/DIE-corpus.git
python3 ./fuzz/scripts/make_initial_corpus.py ./DIE-corpus ./corpus
./fuzz/scripts/populate.sh ~/mujs-fuzzilli/build/release/mujs ./DIE-corpus ch
./fuzz/scripts/run.sh ~/mujs-fuzzilli/build/release/mujs ./DIE-corpus ch

No redis server or tmux connection? Is there a step I missed? If so please add to README.md

redis-cli -p 9000
Could not connect to Redis at 127.0.0.1:9000: Connection refused
not connected> quit
➜  DIE git:(master) ✗ /etc/init.d/redis-server status
● redis-server.service - Advanced key-value store
     Loaded: loaded (/lib/systemd/system/redis-server.service; enabled; vendor preset: enabled)
     Active: active (running) since Sat 2021-02-13 23:22:53 UTC; 7min ago
       Docs: http://redis.io/documentation,
             man:redis-server(1)
    Process: 73976 ExecStart=/usr/bin/redis-server /etc/redis/redis.conf (code=exited, status=0/SUCCESS)
   Main PID: 73986 (redis-server)
      Tasks: 4 (limit: 9512)
     Memory: 2.0M
     CGroup: /system.slice/redis-server.service
             └─73986 /usr/bin/redis-server 127.0.0.1:6379
➜  DIE git:(master) ✗ netstat -plant
(Not all processes could be identified, non-owned process info
 will not be shown, you would have to be root to see it all.)
Active Internet connections (servers and established)
Proto Recv-Q Send-Q Local Address           Foreign Address         State       PID/Program name    
tcp        0      0 127.0.0.1:6379          0.0.0.0:*               LISTEN      -                   
tcp        0      0 127.0.0.53:53           0.0.0.0:*               LISTEN      -                   
tcp        0      0 0.0.0.0:22              0.0.0.0:*               LISTEN      -                   
tcp        0    632 157.230.212.231:22      76.87.216.104:52161     ESTABLISHED -                   
tcp6       0      0 ::1:6379                :::*                    LISTEN      -                   
tcp6       0      0 :::22                   :::*                    LISTEN      -                   
➜  DIE git:(master) ✗ sudo netstat -plant
Active Internet connections (servers and established)
Proto Recv-Q Send-Q Local Address           Foreign Address         State       PID/Program name    
tcp        0      0 127.0.0.1:6379          0.0.0.0:*               LISTEN      73986/redis-server  
tcp        0      0 127.0.0.53:53           0.0.0.0:*               LISTEN      583/systemd-resolve 
tcp        0      0 0.0.0.0:22              0.0.0.0:*               LISTEN      758/sshd: /usr/sbin 
tcp        0    576 157.230.212.231:22      76.87.216.104:52161     ESTABLISHED 28487/sshd: root@pt 
tcp6       0      0 ::1:6379                :::*                    LISTEN      73986/redis-server  
tcp6       0      0 :::22                   :::*                    LISTEN      758/sshd: /usr/sbin 
➜  DIE git:(master) ✗ ps aux | grep redis
redis      73986  0.1  0.0  51700  4592 ?        Ssl  23:22   0:01 /usr/bin/redis-server 127.0.0.1:6379
thelshe+   79222  0.0  0.0   8160   736 pts/0    S+   23:35   0:00 grep --color=auto --exclude-dir=.bzr --exclude-dir=CVS --exclude-dir=.git --exclude-dir=.hg --exclude-dir=.svn --exclude-dir=.idea --exclude-dir=.tox redis
➜  DIE git:(master) ✗ redis-cli -p 6379
127.0.0.1:6379> keys *
(empty list or set)
127.0.0.1:6379> quit

[1337kiwi]

Have you been able to resolve this issue or find a workaround?

[bjrjk]

You need a ssh tunnel to proxy the redis port to localhost:9000.
The guidance in README:

./fuzz/scripts/redis.py

[arvindk459895]

what should be redis server ID ?