Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Predator error in binaries provided through zenodo #256

Open
metamaterialsuit opened this issue Dec 13, 2024 · 1 comment
Open

Predator error in binaries provided through zenodo #256

metamaterialsuit opened this issue Dec 13, 2024 · 1 comment

Comments

@metamaterialsuit
Copy link

I downloaded and largely can run symbiotic from the zenodo link referenced in your paper on symbiotic 10.
Unfortunately, enabling prp=memsafety results in symbiotic erroring out with an "unable to instrument code" error.

In the symbiotic 10 paper the authors noted predator did not / was not integrated with that version of symbiotic, and so I am perplexed as to why symbiotic is invoking it.

Is there a way to disable predator?
Or does the most recent (sv25 branch) properly deal with predator integration?

@metamaterialsuit
Copy link
Author

In case anyone is wondering -- When invoked without "--memsafety-config-file", symbiotic defaults to the config file "config_marker.json."
This config file specifies a number of shared objects which are invoked as analysis passes in LLVM. One of the shared objects listed has "predator" in its name.
In order to get a working run, I used config_markerk.json, but removed all of the analyses (shared objects) except "libdgPointsToPlugin.so".

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant