@misc{indiciae6bd7c4d0a2bb,
  title = {CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection},
  author = {Xiao Chen},
  year = {2024},
  url = {https://arxiv.org/abs/2408.15292},
  note = {Source identifier: 2408.15292}
}