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

disable sanitizer by default #517

Merged
merged 1 commit into from
Aug 26, 2020

Conversation

dirk-thomas
Copy link
Member

Related to #57 (comment)

Atm the test passes but the sanitizer fails to run within the CI builds inside Docker: see

I didn't find a way to conditionally enable the sanitizer and therefore this patch changes the default turning the sanitizer off. Since the CI builds can't run the leak sanitizer atm (see ros-infrastructure/ros_buildfarm#832) this only affect local builds.

Signed-off-by: Dirk Thomas <dirk-thomas@users.noreply.github.com>
Copy link
Collaborator

@Karsten1987 Karsten1987 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The security risks are not worth enabling this test by default.

I wonder however if it would be more intuitive with this change to turn around the logic and have it called ENABLE_SANITIZERS and set it default to OFF. That would make it more explicit if you wanted to enable them locally by calling it with -DENABLE_SANITIZERS=ON.
I guess this could be tabled for another PR though.

@dirk-thomas
Copy link
Member Author

If you are fine with renaming the option I am happy to update the pull request. I just didn't want to change API.

@dirk-thomas
Copy link
Member Author

dirk-thomas commented Aug 26, 2020

The 7 test failures in the Rolling PR build seem to be expected. The latest dev build has the same 7 test failures + the test_ros2_message test failure resolved by this PR.

@dirk-thomas dirk-thomas merged commit f8f5f66 into master Aug 26, 2020
@dirk-thomas dirk-thomas deleted the dirk-thomas/disable-sanitizer-by-default branch August 26, 2020 05:19
emersonknapp pushed a commit that referenced this pull request Feb 2, 2021
Signed-off-by: Dirk Thomas <dirk-thomas@users.noreply.github.com>
emersonknapp pushed a commit that referenced this pull request Feb 17, 2021
Signed-off-by: Dirk Thomas <dirk-thomas@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants