All issues

Search results

guest-images: modernize image building system

Status: Open.

#522 In S2E/s2e-env;

· vitalych opened on May 10, 2026

Windows: upgrade toolchain to VS2026

Status: Open.

#521 In S2E/s2e-env;

· vitalych opened on May 10, 2026

Arch Linux package creation - clang-llvm usage

Status: Open.

#509 In S2E/s2e-env;

· D3vil0p3r opened on Nov 16, 2024

Add support for FreeBSD

Status: Open.

#496 In S2E/s2e-env;

· pythononedog opened on Jul 4, 2023

WindowsMonitor: allow api calls using other states

Status: Open.

#492 In S2E/s2e-env;

· vitalych opened on Mar 4, 2023

Add test cases for function models

Status: Open.

#490 In S2E/s2e-env;

· vitalych opened on Jan 14, 2023

stackMonitor::getCallStacks() always return empty results

Status: Open.

#484 In S2E/s2e-env;

· Yukinarii opened on Nov 8, 2022

Error in interpreting the packed binary data in ExecutionTracer.dat

Status: Open.

#475 In S2E/s2e-env;

· Jizhou-Chen opened on Aug 13, 2022

vmi: support mixed-cases binaries on Windows

bug

Status: Open.

#452 In S2E/s2e-env;

· vitalych opened on Dec 23, 2021

FunctionModels: models.lua contains broken path

bug

Status: Open.

#451 In S2E/s2e-env;

· vitalych opened on Dec 23, 2021

Speed up symbolic pointer handling

enhancement

Status: Open.

#438 In S2E/s2e-env;

· vitalych opened on Aug 21, 2021

Instrumenting function calls with symbol names

Status: Open.

#433 In S2E/s2e-env;

· qinkunbao opened on Mar 2, 2021