TY  - RPRT
TI  - CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzers
AU  - Théophile Bastian
AU  - Hugo Pompougnac
AU  - Alban Dutilleul
AU  - Fabrice Rastello
PY  - 2024
UR  - https://arxiv.org/abs/2402.14567
ID  - 2402.14567
ER  -