Skip to content

LLVM SanitizerCoverage support? #50044

Open
@LebedevRI

Description

@LebedevRI

SanitizerCoverage is a middle-end LLVM instrumentation pass
that "inserts calls to user-defined functions on function-, basic-block-, and edge- levels.
Default implementations of those callbacks are provided <...>"

Would it be considered acceptable to add (at least a) a front-end switch (julia --sanitizer-coverage?)
to control insertion of said pass into the LLVM pass pipeline (close to where sanitizer passes are handled)?

The long story is, i have a C++ codebase, and in my expirience, having more than one implementation
is paramount to weeding-out various issues, so i'm somewhat interested in having a second implementation
of said codebase. But just having a second implementation isn't sufficient, the key is to be able to compare
their externally-observable side-effects, and fuzzing is rather invaluable there, and that strongly suggests
AOT compilation and guided fuzzing, and thus coverage is needed (thus, subj).

Metadata

Metadata

Assignees

No one assigned

    Labels

    code coveragecompiler:llvmFor issues that relate to LLVMfeatureIndicates new feature / enhancement requests

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions