Support for Ubuntu 22.04, Debian 11, LLVM 14

[Vitaly Chipounov]

Dear all,

We upgraded S2E to LLVM 14 and added support for Ubuntu 22.04 LTS as
well as Debian 11. You will need to update s2e-env and rebuild s2e. Here
is the update procedure:

# Upgrade s2e-env
$ cd /path/to/s2e-env
$ git pull --rebase origin master
$ . venv/bin/activate
$ pip install -e .

# Upgrade S2E
$ cd $S2EENV/source
$ repo sync
$ cd $S2EENV
$ rm -r $S2EENV/build/* $S2EENV/install/*
$ s2e build

Enjoy!

Vitaly

[Alucard]

Hello Vitaly,

Thanks so much for upgrading to LLVM 14! After upgrading, I encountered a symbol lookup error:

/home/aesophor/s2e/install/bin/qemu-system-x86_64: symbol lookup error: /home/aesophor/s2e/install/share/libs2e/libs2e-x86_64-s2e.so: undefined symbol: _Z11tcg_gen_op39TCGOpcodemmm

Demangling this symbol gives: tcg_gen_op3(TCGOpcode, unsigned long, unsigned long, unsigned long).

$ nm ~/s2e/install/share/libs2e/libs2e-x86_64-s2e.so | less

00000000006174c0 t tcg_gen_op3

                 U _Z11tcg_gen_op39TCGOpcodemmm

Here's a function that causes the problem:

0000000000545be0 <_ZL23s2e_tcg_instrument_codePN4sigc6signalIvJPN3s2e17S2EExecutionStateEmEEEmm>:
...
  545c33:       e8 b8 f4 dc ff          call   3150f0 <_Z11tcg_gen_op39TCGOpcodemmm@plt>

I would be most grateful if anyone could kindly share a solution to this. 😣

[Vitaly Chipounov]

Hi,

Thanks for reporting it, I merged the fix.

Vitaly

--
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/42e423a2-0f31-4d2c-859e-1b8f7ecb69d8n%40googlegroups.com.