implement selective symbolic execution #808

New issue

Copy link

New issue

Copy link

Open

Feature

Open

implement selective symbolic execution#808

Feature

Copy link

Labels

internship

Description

redianthus

opened on Oct 31, 2025

Issue body actions

see https://www.llvm.org/pubs/2009-06-HotDep-SymbolicExec.pdf ; also described in https://arxiv.org/pdf/1610.00502

Metadata

Metadata

Assignees

No one assigned

Labels

internship

Type

Feature

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions