rapx 0.7.40

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{
  "core::marker::Send": [
    { "tag": "ContainNoType", "args": ["ty:Self", "Rc", "Ref", "RefMut", "MutexGuard", "RwLockWriteGuard", "MappedMutexGuard"] },
    {
      "any": [
        { "tag": "NoRawPtr", "args": ["ty:Self"] },
        { "tag": "TamedRawPtr", "args": ["ty:Self"] }
      ]
    }
  ],
  "core::marker::Sync": [
    { "tag": "RefSend", "args": ["ty:Self"] },
    { "tag": "ContainNoType", "args": ["ty:Self", "Rc", "Cell", "UnsafeCell", "RefCell", "Ref", "RefMut"] }
  ]
}