Very nice work! Do you plan to have a reduced product between this Bit abstract domain and a Tainting domain to be able to track several bits in parallel?
-
-
-
I may implement some more bitwise abstract interpreters e.g. https://kar.kent.ac.uk/30704/1/vmcai.pdf …, but I've never heard of the domain combination you just mentioned
- Još 7 drugih odgovora
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.