First i went for "Find me an Array Variable" from Variable buffer where buffer.getType() instanceof ArrayType select buffer
-
-
That is kinda fun, there are some real ones in there, although I dunno how many users plug in malicious monitors
(I think the length of the last pair can exceed the edid[2] length check, i.e. a ton of len=1 and a len=0x1f at the end) https://lgtm.com/projects/g/torvalds/linux/snapshot/56e7115abb329f63ffaec05e990c1a7199ddcd83/files/drivers/video/fbdev/core/fbmon.c?sort=name&dir=ASC&mode=heatmap#L1033 … - Još 3 druga odgovora
Novi razgovor -
-
-
Me encantaría una explicación mas detallada para los que estamos recién aprendiendo algo de estas cosas
-
De vulnerabilidades en general o de como usar QL para encontrar bugs?
- Još 1 odgovor
Novi razgovor -
-
-
This reminds me of a project I did for Windows Vista: using an object oriented intermediate language during compilation to look for loops that write to a buffer, a value that gets increments and compared to break the loop and determine how often it can loop vs buffer length.
-
That's relational abstract interpretation! https://en.wikipedia.org/wiki/Polytope_model …
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.