[ldv-project] Suspicious code in tun_flow_update()

Alexey Khoroshilov khoroshilov at ispras.ru
Sat Mar 5 02:04:44 MSK 2016


Hello,

If tun_flow_find() successfully finds tun_flow_entry,
tun_flow_update() updates the entry in place.

Is such usage of RCU safe here?

Found by Linux Driver Verification project (linuxtesting.org).

--
Alexey Khoroshilov
Linux Verification Center, ISPRAS




More information about the ldv-project mailing list