s2e

s2e copied to clipboard

Use binary LLVM-13

1

Builds S2E against a binary LLVM-13 distribution. For the S2E demo to work, https://github.com/S2E/scripts/pull/5 should be merged first.

artemdinaburg

Use prebuilt packages for LLVM and Z3

6

Hi, This PR will allow the (optional) use of pre-built LLVM and Z3 packages instead of building these tools from source. It should greatly speed up build/ci times. LLVM is...

artemdinaburg

libs2ecore: remove pinned states from child instance

5

The pinned states should only be kept in the parent instance, therefore we kill them in the child instance after forking. Signed-off-by: Zhongjie Wang

gkso

vitalych

Bumps [requests](https://github.com/psf/requests) from 2.21.0 to 2.31.0. Release notes Sourced from requests's releases. v2.31.0 2.31.0 (2023-05-22) Security Versions of Requests between v2.3.0 and v2.30.0 are vulnerable to potential forwarding of Proxy-Authorization...

dependabot[bot]

libcpu/softmmu_template: fixed symbolic hardware mmio

2

The io_read_chk function failed to handle the value returned by tcg_llvm_trace_mmio_access, causing the SymbolicHardware plugin to malfunction.

ihopenot

Kernel nfs

1

added kernel_recv and kernel_send to Mimesis.cpp, Mimesis.h

al0wner