Skip to content

Record program locations in AllocMerge and WriteMerge #263

Open
@langston-barrett

Description

This is a follow-up to #262. It provides insight into Crucible's complex memory dump to know where the branching of a group of symbolic writes or allocations came from, in terms of the source program.

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions