3 ms·So... abstract interpretation?by thechao 9y agoSo... abstract interpretation?arnarbi 9y agoYes. Symbolic execution is an example of abstract interpretation. Not sure why the snark, that's fairly accepted terminology.