Add support MemorySanitizer for casr-san

[PavlNekrasov]

Follow up to #248

Reporter: Pavel Nekrasov ([email protected])

[SweetVishnya]

@PavlNekrasov, test_casr_san is failing. You may debug it locally via cargo test test_casr_san

[PavlNekrasov]

@PavlNekrasov, test_casr_san is failing. You may debug it locally via cargo test test_casr_san

The test is passing on my end. Could you please provide more details about what's failing?

[SweetVishnya]

@PavlNekrasov, test_casr_san is failing. You may debug it locally via cargo test test_casr_san

The test is passing on my end. Could you please provide more details about what's failing?

https://github.com/ispras/casr/actions/runs/13518558010/job/37773097005#step:5:1406

you may try adding debug printing and debug inside this pr

[SweetVishnya]

btw, the test, also, fails on my personal machine with Ubuntu 22.04. You may try to reproduce it inside a clean docker with ubuntu 22.04

[PavlNekrasov]

btw, the test, also, fails on my personal machine with Ubuntu 22.04. You may try to reproduce it inside a clean docker with ubuntu 22.04

I run on ALT Linux, and the stacktrace is as follows:

==521550==WARNING: MemorySanitizer: use-of-uninitialized-value
    #0 0x499fd8 in main (/root/pavel_dev/casr_msan/msan+0x499fd8)
    #1 0x7fba3ccefefc in __libc_start_main (/lib64/libc.so.6+0x27efc)
    #2 0x41c359 in _start /usr/src/RPM/BUILD/glibc-2.32-alt5.p10.3/csu/../sysdeps/x86_64/start.S:120

SUMMARY: MemorySanitizer: use-of-uninitialized-value (/root/pavel_dev/casr_msan/msan+0x499fd8) in main
Exiting

In Ubuntu 22, it is:

==624838==WARNING: MemorySanitizer: use-of-uninitialized-value
   #0 0x56019e20a588 in main (/home/msan+0xa6588) (BuildId: 8ea89468690f1a76a3f9ae71d7f6622d3c201fda)
   #1 0x7f8f01807d8f  (/lib/x86_64-linux-gnu/libc.so.6+0x29d8f) (BuildId: 490fef8403240c91833978d494d39e537409b92e)
   #2 0x7f8f01807e3f in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e3f) (BuildId: 490fef8403240c91833978d494d39e537409b92e)
   #3 0x56019e1822a4 in _start (/home/msan+0x1e2a4) (BuildId: 8ea89468690f1a76a3f9ae71d7f6622d3c201fda)

SUMMARY: MemorySanitizer: use-of-uninitialized-value (/home/msan+0xa6588) (BuildId: 8ea89468690f1a76a3f9ae71d7f6622d3c201fda) in main
Exiting

I've corrected the tests to account for this

[SweetVishnya]

@PavlNekrasov, thanks a lot! Please, give us some time to review the patch

[codecov]

Codecov Report

Attention: Patch coverage is 57.89474% with 16 lines in your changes missing coverage. Please review.

Project coverage is 66.35%. Comparing base (b260c9f) to head (1d20151).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
casr/src/bin/casr-cli.rs	0.00%	12 Missing ⚠️
casr/src/bin/casr-san.rs	73.33%	4 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #249      +/-   ##
==========================================
- Coverage   66.40%   66.35%   -0.06%     
==========================================
  Files          34       34              
  Lines        8213     8241      +28     
==========================================
+ Hits         5454     5468      +14     
- Misses       2759     2773      +14     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[SweetVishnya]

@PavlNekrasov, can you, also, please, update the README and add an example of collecting report for MemorySanitizer?

[Avgor46]

Update README.md and docs/classes.md

[PavlNekrasov]

Update README.md and docs/classes.md

done

[hkctkuy]

@PavlNekrasov, we also need to support correct work with casr-python, when MemorySanitizer is triggered in C/C++ python extensions. It must be enough to modify this code.

[SweetVishnya]

LGTM

[anfedotoff]

Thanks!