Since when does program analysis expect developer perfection? ;)
Things I did not anticipate while writing code to reconstruct inheritance hierarchies: noise in the data stemming from type confusion bugs in the programs under analysis
-
-
-
Approximations in models always assume perfectly behaved programs if not programmers :)
- Još 1 odgovor
Novi razgovor -
-
-
This makes me recall a special common and "harmless" case of type confusion involving phantom classes discussed in the USENIX paper Type Casting Verification https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-lee.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Č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.