dereference

释义

间接引用；

1. If there is no dereference, then the pointer itself is being changed.
   如果没有使用解引用操作，则修改的是指针本身的值。
2. The dereference operator is not required to be a member, but it is usually right to make it a member as well.
   解引用操作不要求定义为成员，但将它作为成员一般也是正确的。

Verifying dereference safety via expanding-scope analysis
Predicting null-pointer dereferences in concurrent programs
Verifying the Safety of User Pointer Dereferences
Verifying the Safety of User Pointer Dereferences
Accurate Interprocedural Null-Dereference Analysis for Java
Protecting C programs from attacks via invalid pointer dereferences
Protecting C programs from attacks via invalid pointer dereferences
Linkator: enriching web pages by automatically adding dereferenceable semantic annotations
Linkator: Enriching Web Pages by Automatically Adding Dereferenceable Semantic Annotations
Linkator: Enriching Web Pages by Automatically Adding Dereferenceable Semantic Annotations