Spracherkennung für: .cocci vermutete Sprache: Lisp {Lisp[56] Masm[56] Sparc[17]} [Methode: maximale Elemente, drei Dimensionen]
@ alreadylocked exists @
expression lock;
identifier fn;
position lockedfn;
@@
fn(...) {
...when != vlc_mutex_lock(&lock)
vlc_mutex_unlock(&lock);
...
vlc_mutex_lock@lockedfn(&lock);
...
}
@ nobrace exists @
expression lock;
expression condition;
position p;
position unlockedfn != alreadylocked.lockedfn;
@@
vlc_mutex_lock@unlockedfn(&lock);
...when != vlc_mutex_unlock(&lock);
if@p (condition)
+{
+ vlc_mutex_unlock(&lock);
return ...;
+}
@ braced exists @
expression lock;
expression condition;
position p != nobrace.p;
position unlockedfn != alreadylocked.lockedfn;
@@
vlc_mutex_lock@unlockedfn(&lock);
...when != vlc_mutex_unlock(&lock);
if@p (condition) {
...when != vlc_mutex_unlock(&lock);
+ vlc_mutex_unlock(&lock);
return ...;
}
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-10-24]
