Skip to content

Adding rllvm to the whole-program analysis wiki page #862

Description

@h1994st

Hi! I maintain rllvm, a whole-program bitcode toolchain in the same family as wllvm and gllvm. I tested it against PhASAR (v2604, LLVM 22.1.8), building PhASAR through its wrappers. Then running phasar-cli on the extracted module. Here is the documented example in my repo: examples/external/phasar.

If you are open to it, I wonder if we can add rllvm to the Whole-Program-Analysis wiki page alongside wllvm and gllvm. The wiki does not take pull requests, so let me know how you would prefer to handle it. Happy to push the edit myself if wiki editing is open, or to send you the text.

Thanks!

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions